{"id":"https://openalex.org/W1504163796","doi":"https://doi.org/10.3233/978-1-58603-891-5-749","title":"Definability in Logic and Rough Set Theory","display_name":"Definability in Logic and Rough Set Theory","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W1504163796","doi":"https://doi.org/10.3233/978-1-58603-891-5-749","mag":"1504163796"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-58603-891-5-749","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-58603-891-5-749","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.3233/978-1-58603-891-5-749","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088558008","display_name":"Tuan-Fang Fan","orcid":null},"institutions":[{"id":"https://openalex.org/I32078218","display_name":"National Penghu University of Science and Technology","ror":"https://ror.org/03fxxpd92","country_code":"TW","type":"education","lineage":["https://openalex.org/I32078218"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Fan Tuan-Fang","raw_affiliation_strings":["Dept. of Comp. Sci. and Info. Eng., National Penghu Univ., Penghu 880, Taiwan, email: dffan@npu.edu.tw and Institute of Information Management, National Chiao-Tung University, Hsinchu 300, Taiwan, ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Comp. Sci. and Info. Eng., National Penghu Univ., Penghu 880, Taiwan, email: dffan@npu.edu.tw and Institute of Information Management, National Chiao-Tung University, Hsinchu 300, Taiwan, ...#TAB#","institution_ids":["https://openalex.org/I32078218"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030700018","display_name":"Churn\u2010Jung Liau","orcid":"https://orcid.org/0000-0001-6842-9637"},"institutions":[{"id":"https://openalex.org/I4210098366","display_name":"Institute of Information Science, Academia Sinica","ror":"https://ror.org/00z83z196","country_code":"TW","type":"facility","lineage":["https://openalex.org/I4210098366","https://openalex.org/I84653119"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Liau Churn-Jung","raw_affiliation_strings":["Institute of Information Science, Academia Sinica, Taipei 115, Taiwan, email: liaucj@iis.sinica.edu.tw#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Science, Academia Sinica, Taipei 115, Taiwan, email: liaucj@iis.sinica.edu.tw#TAB#","institution_ids":["https://openalex.org/I4210098366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077868317","display_name":"Duen\u2010Ren Liu","orcid":"https://orcid.org/0000-0003-1180-0866"},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Liu Duen-Ren","raw_affiliation_strings":["Institute of Information Management, National Chiao-Tung University, Hsinchu 300, Taiwan, email: dliu@iim.nctu.edu.tw#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Management, National Chiao-Tung University, Hsinchu 300, Taiwan, email: dliu@iim.nctu.edu.tw#TAB#","institution_ids":["https://openalex.org/I148366613"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3841,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.59005548,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"178","issue":null,"first_page":"749","last_page":"750"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9617999792098999,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9301999807357788,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rough-set","display_name":"Rough set","score":0.6501783728599548},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.46229004859924316},{"id":"https://openalex.org/keywords/abstract-model-theory","display_name":"Abstract model theory","score":0.4332968592643738},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3375495672225952},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2526252865791321},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08973246812820435},{"id":"https://openalex.org/keywords/relationship-between-string-theory-and-quantum-field-theory","display_name":"Relationship between string theory and quantum field theory","score":0.032764166593551636},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.030185997486114502}],"concepts":[{"id":"https://openalex.org/C111012933","wikidata":"https://www.wikidata.org/wiki/Q3137210","display_name":"Rough set","level":2,"score":0.6501783728599548},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46229004859924316},{"id":"https://openalex.org/C161445131","wikidata":"https://www.wikidata.org/wiki/Q4669950","display_name":"Abstract model theory","level":5,"score":0.4332968592643738},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3375495672225952},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2526252865791321},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08973246812820435},{"id":"https://openalex.org/C23409769","wikidata":"https://www.wikidata.org/wiki/Q7310750","display_name":"Relationship between string theory and quantum field theory","level":4,"score":0.032764166593551636},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.030185997486114502},{"id":"https://openalex.org/C108568745","wikidata":"https://www.wikidata.org/wiki/Q234181","display_name":"Quantum gravity","level":3,"score":0.0},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-58603-891-5-749","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-58603-891-5-749","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},{"id":"mag:1504163796","is_oa":false,"landing_page_url":"http://www.iis.sinica.edu.tw/papers/liaucj/6922-F.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306418308","display_name":"European Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"European Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":{"id":"doi:10.3233/978-1-58603-891-5-749","is_oa":true,"landing_page_url":"https://doi.org/10.3233/978-1-58603-891-5-749","pdf_url":null,"source":{"id":"https://openalex.org/S4210201731","display_name":"Frontiers in artificial intelligence and applications","issn_l":"0922-6389","issn":["0922-6389","1879-8314"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Frontiers in Artificial Intelligence and Applications","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1549050756","https://openalex.org/W1557923305","https://openalex.org/W1591618909","https://openalex.org/W1984820433","https://openalex.org/W2063770561"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W2392963705","https://openalex.org/W2107349454","https://openalex.org/W2382278777","https://openalex.org/W1964260090","https://openalex.org/W2353240132","https://openalex.org/W1979597421","https://openalex.org/W2375932290"],"abstract_inverted_index":{"Rough":[0],"set":[1,80],"theory":[2],"is":[3,16],"an":[4],"effective":[5],"tool":[6],"for":[7],"data":[8,53,58],"mining.":[9],"According":[10],"to":[11],"the":[12,35,73],"theory,":[13],"a":[14,24],"concept":[15],"definable":[17],"if":[18],"it":[19],"can":[20],"be":[21],"written":[22],"as":[23],"Boolean":[25],"combination":[26],"of":[27],"equivalence":[28],"classes":[29],"induced":[30],"from":[31],"classification":[32],"attributes.":[33],"On":[34],"other":[36],"hand,":[37],"definability":[38,77],"in":[39],"logic":[40,59,64],"has":[41],"been":[42],"explicated":[43],"by":[44],"Beth's":[45],"theorem.":[46],"In":[47],"this":[48],"paper,":[49],"we":[50,71],"propose":[51],"two":[52],"representation":[54],"formalisms,":[55],"called":[56],"first-order":[57],"(FODL)":[60],"and":[61,78],"attribute":[62],"value-sorted":[63],"(AVSL),":[65],"respectively.":[66],"Based":[67],"on":[68],"these":[69],"logics,":[70],"explore":[72],"relationship":[74],"between":[75],"logical":[76],"rough":[79],"definability.":[81]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}