{"id":"https://openalex.org/W3155960466","doi":"https://doi.org/10.24963/kr.2021/8","title":"On the Computational Intelligibility of Boolean Classifiers","display_name":"On the Computational Intelligibility of Boolean Classifiers","publication_year":2021,"publication_date":"2021-09-01","ids":{"openalex":"https://openalex.org/W3155960466","doi":"https://doi.org/10.24963/kr.2021/8","mag":"3155960466"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2021/8","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/8","pdf_url":"https://proceedings.kr.org/2021/8/kr2021-0008-audemard-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2021/8/kr2021-0008-audemard-et-al.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063062178","display_name":"Gilles Audemard","orcid":"https://orcid.org/0000-0003-2604-9657"},"institutions":[{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Gilles Audemard","raw_affiliation_strings":["CRIL, Universit\u00e9 d'Artois & CNRS"],"affiliations":[{"raw_affiliation_string":"CRIL, Universit\u00e9 d'Artois & CNRS","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067906266","display_name":"Steve Bellart","orcid":null},"institutions":[{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Steve Bellart","raw_affiliation_strings":["CRIL, Universit\u00e9 d'Artois & CNRS"],"affiliations":[{"raw_affiliation_string":"CRIL, Universit\u00e9 d'Artois & CNRS","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019124257","display_name":"Lou\u00e8nas Bounia","orcid":null},"institutions":[{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Louenas Bounia","raw_affiliation_strings":["CRIL, Universit\u00e9 d'Artois & CNRS"],"affiliations":[{"raw_affiliation_string":"CRIL, Universit\u00e9 d'Artois & CNRS","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075449658","display_name":"Fr\u00e9d\u00e9ric Koriche","orcid":"https://orcid.org/0000-0002-6952-5775"},"institutions":[{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Koriche","raw_affiliation_strings":["CRIL, Universit\u00e9 d'Artois & CNRS"],"affiliations":[{"raw_affiliation_string":"CRIL, Universit\u00e9 d'Artois & CNRS","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017651167","display_name":"Jean-Marie Lagniez","orcid":"https://orcid.org/0000-0002-6557-4115"},"institutions":[{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Marie Lagniez","raw_affiliation_strings":["CRIL, Universit\u00e9 d'Artois & CNRS"],"affiliations":[{"raw_affiliation_string":"CRIL, Universit\u00e9 d'Artois & CNRS","institution_ids":["https://openalex.org/I44563897"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040136820","display_name":"Pierre Marquis","orcid":"https://orcid.org/0000-0002-7979-6608"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]},{"id":"https://openalex.org/I185839726","display_name":"Institut Universitaire de France","ror":"https://ror.org/055khg266","country_code":"FR","type":"education","lineage":["https://openalex.org/I185839726"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Marquis","raw_affiliation_strings":["CRIL, Universit\u00e9 d'Artois & CNRS","Institut Universitaire de France","CRIL, Universit\u00e9 d'Artois & CNRS;Institut Universitaire de France"],"affiliations":[{"raw_affiliation_string":"CRIL, Universit\u00e9 d'Artois & CNRS","institution_ids":["https://openalex.org/I44563897"]},{"raw_affiliation_string":"Institut Universitaire de France","institution_ids":["https://openalex.org/I185839726"]},{"raw_affiliation_string":"CRIL, Universit\u00e9 d'Artois & CNRS;Institut Universitaire de France","institution_ids":["https://openalex.org/I44563897","https://openalex.org/I185839726","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5063062178"],"corresponding_institution_ids":["https://openalex.org/I44563897"],"apc_list":null,"apc_paid":null,"fwci":2.2368,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.89783578,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"74","last_page":"86"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9980000257492065,"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"}},"topics":[{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9980000257492065,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9975000023841858,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.996399998664856,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.7213107347488403},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6272422075271606},{"id":"https://openalex.org/keywords/intelligibility","display_name":"Intelligibility (philosophy)","score":0.618948221206665},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.561956524848938},{"id":"https://openalex.org/keywords/perceptron","display_name":"Perceptron","score":0.5343071222305298},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.500777006149292},{"id":"https://openalex.org/keywords/classifier","display_name":"Classifier (UML)","score":0.4788936674594879},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4662443995475769},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.4384397864341736},{"id":"https://openalex.org/keywords/decision-problem","display_name":"Decision problem","score":0.4244112968444824},{"id":"https://openalex.org/keywords/random-subspace-method","display_name":"Random subspace method","score":0.41748785972595215},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.41142746806144714},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40780752897262573},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.33396655321121216},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19581922888755798}],"concepts":[{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.7213107347488403},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6272422075271606},{"id":"https://openalex.org/C60048801","wikidata":"https://www.wikidata.org/wiki/Q1433889","display_name":"Intelligibility (philosophy)","level":2,"score":0.618948221206665},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.561956524848938},{"id":"https://openalex.org/C60908668","wikidata":"https://www.wikidata.org/wiki/Q690207","display_name":"Perceptron","level":3,"score":0.5343071222305298},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.500777006149292},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.4788936674594879},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4662443995475769},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.4384397864341736},{"id":"https://openalex.org/C115988155","wikidata":"https://www.wikidata.org/wiki/Q3262192","display_name":"Decision problem","level":2,"score":0.4244112968444824},{"id":"https://openalex.org/C106135958","wikidata":"https://www.wikidata.org/wiki/Q7291993","display_name":"Random subspace method","level":3,"score":0.41748785972595215},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.41142746806144714},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40780752897262573},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33396655321121216},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19581922888755798},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.24963/kr.2021/8","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/8","pdf_url":"https://proceedings.kr.org/2021/8/kr2021-0008-audemard-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2104.06172","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2104.06172","pdf_url":"https://arxiv.org/pdf/2104.06172","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:3155960466","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2104.06172.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:HAL:hal-03500007v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03500007","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}, Nov 2021, Hanoii, France. pp.74-86, ⟨10.24963/kr.2021/8⟩","raw_type":"Conference papers"},{"id":"doi:10.48550/arxiv.2104.06172","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2104.06172","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.24963/kr.2021/8","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/8","pdf_url":"https://proceedings.kr.org/2021/8/kr2021-0008-audemard-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7197601159","display_name":"EXPlainable artificial intelligence: a KnowlEdge CompilaTion FoundATION","funder_award_id":"ANR-19-CHIA-0005","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8318455765","display_name":null,"funder_award_id":"ANR-19","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3155960466.pdf","grobid_xml":"https://content.openalex.org/works/W3155960466.grobid-xml"},"referenced_works_count":78,"referenced_works":["https://openalex.org/W27434444","https://openalex.org/W607505555","https://openalex.org/W1494581921","https://openalex.org/W1520252399","https://openalex.org/W1526441817","https://openalex.org/W1594031697","https://openalex.org/W1594303125","https://openalex.org/W1766442844","https://openalex.org/W1926592634","https://openalex.org/W1965297065","https://openalex.org/W1988790447","https://openalex.org/W2017271630","https://openalex.org/W2019363670","https://openalex.org/W2057299863","https://openalex.org/W2084544490","https://openalex.org/W2093717447","https://openalex.org/W2117049614","https://openalex.org/W2148603752","https://openalex.org/W2149706766","https://openalex.org/W2267635276","https://openalex.org/W2294633264","https://openalex.org/W2428981601","https://openalex.org/W2493343568","https://openalex.org/W2575173236","https://openalex.org/W2757956526","https://openalex.org/W2766383435","https://openalex.org/W2799653600","https://openalex.org/W2801079363","https://openalex.org/W2810622939","https://openalex.org/W2852179785","https://openalex.org/W2898138693","https://openalex.org/W2902934778","https://openalex.org/W2911964244","https://openalex.org/W2912934387","https://openalex.org/W2913289379","https://openalex.org/W2955171822","https://openalex.org/W2962790223","https://openalex.org/W2962936809","https://openalex.org/W2963094221","https://openalex.org/W2963673089","https://openalex.org/W2964359568","https://openalex.org/W2970833420","https://openalex.org/W2974669922","https://openalex.org/W2996098493","https://openalex.org/W3021481267","https://openalex.org/W3048739385","https://openalex.org/W3080169062","https://openalex.org/W3090471081","https://openalex.org/W3094200299","https://openalex.org/W3098831516","https://openalex.org/W3099451540","https://openalex.org/W3100557899","https://openalex.org/W3101522001","https://openalex.org/W3105170486","https://openalex.org/W3105940445","https://openalex.org/W3175110185","https://openalex.org/W3176015857","https://openalex.org/W6631366414","https://openalex.org/W6637956726","https://openalex.org/W6640155952","https://openalex.org/W6655142800","https://openalex.org/W6661953458","https://openalex.org/W6664857275","https://openalex.org/W6677505719","https://openalex.org/W6693397755","https://openalex.org/W6718991148","https://openalex.org/W6755291294","https://openalex.org/W6759357080","https://openalex.org/W6763052660","https://openalex.org/W6773902624","https://openalex.org/W6774867429","https://openalex.org/W6784309099","https://openalex.org/W6785305666","https://openalex.org/W6808111085","https://openalex.org/W6809150796","https://openalex.org/W6817491142","https://openalex.org/W6843735874","https://openalex.org/W7071374342"],"related_works":["https://openalex.org/W3204971384","https://openalex.org/W3177300780","https://openalex.org/W3200663600","https://openalex.org/W3177445818","https://openalex.org/W2041407152","https://openalex.org/W2542383000","https://openalex.org/W96455041","https://openalex.org/W1930624869","https://openalex.org/W3005679258","https://openalex.org/W2289204371","https://openalex.org/W1530158265","https://openalex.org/W2147671145","https://openalex.org/W2954300338","https://openalex.org/W3209012620","https://openalex.org/W3106930831","https://openalex.org/W1649000300","https://openalex.org/W3169954669","https://openalex.org/W1526261699","https://openalex.org/W2515758957","https://openalex.org/W1969355321"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,52],"investigate":[4],"the":[5,54,61,66,70,80],"computational":[6],"intelligibility":[7,58],"of":[8,56,63,84],"Boolean":[9,38,98],"classifiers,":[10],"characterized":[11],"by":[12],"their":[13],"ability":[14],"to":[15],"answer":[16],"XAI":[17,43,72],"queries":[18,48,73],"in":[19],"polynomial":[20],"time.":[21],"The":[22],"classifiers":[23],"under":[24],"consideration":[25],"are":[26,74],"decision":[27,31,33,77,91,96],"trees,":[28,97],"DNF":[29,89],"formulae,":[30,90],"lists,":[32,92],"rules,":[34],"tree":[35],"ensembles,":[36],"and":[37,49,101],"neural":[39,103],"nets.":[40],"Using":[41],"9":[42,71],"queries,":[44,51],"including":[45],"both":[46],"explanation":[47],"verification":[50],"show":[53],"existence":[55],"large":[57],"gap":[59],"between":[60],"families":[62],"classifiers.":[64],"On":[65,79],"one":[67],"hand,":[68,82],"all":[69],"tractable":[75,87],"for":[76,88],"trees.":[78],"other":[81],"none":[83],"them":[85],"is":[86],"random":[93],"forests,":[94],"boosted":[95],"multilayer":[99],"perceptrons,":[100],"binarized":[102],"networks.":[104]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":3}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2025-10-10T00:00:00"}