{"id":"https://openalex.org/W4293406962","doi":"https://doi.org/10.1002/int.4550050403","title":"Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example","display_name":"Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example","publication_year":1990,"publication_date":"1990-09-01","ids":{"openalex":"https://openalex.org/W4293406962","doi":"https://doi.org/10.1002/int.4550050403"},"language":"en","primary_location":{"id":"doi:10.1002/int.4550050403","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550050403","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045177734","display_name":"L\u00e9a Somb\u00e9","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"L\u00e9a Somb\u00e9","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5045177734"],"corresponding_institution_ids":[],"apc_list":{"value":2500,"currency":"USD","value_usd":2500},"apc_paid":null,"fwci":1.0727,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.8439986,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"5","issue":"4","first_page":"323","last_page":"372"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9692000150680542,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9692000150680542,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.007699999958276749,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.004600000102072954,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.8182880878448486},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.7910706996917725},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.7667614221572876},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.6424456238746643},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6066281795501709},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5635107159614563},{"id":"https://openalex.org/keywords/default-logic","display_name":"Default logic","score":0.5339779853820801},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5261406898498535},{"id":"https://openalex.org/keywords/commonsense-reasoning","display_name":"Commonsense reasoning","score":0.5035986304283142},{"id":"https://openalex.org/keywords/probabilistic-logic-network","display_name":"Probabilistic logic network","score":0.499772310256958},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.4951850473880768},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.4782663583755493},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.46344518661499023},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.44115757942199707},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.43930521607398987},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.4359763264656067},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.4318743348121643},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.42730990052223206},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4098164737224579},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30281150341033936},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.28562700748443604},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.19556647539138794},{"id":"https://openalex.org/keywords/fuzzy-number","display_name":"Fuzzy number","score":0.10236594080924988}],"concepts":[{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.8182880878448486},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7910706996917725},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.7667614221572876},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.6424456238746643},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6066281795501709},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5635107159614563},{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.5339779853820801},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5261406898498535},{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.5035986304283142},{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.499772310256958},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.4951850473880768},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.4782663583755493},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.46344518661499023},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.44115757942199707},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.43930521607398987},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.4359763264656067},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.4318743348121643},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.42730990052223206},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4098164737224579},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30281150341033936},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.28562700748443604},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.19556647539138794},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.10236594080924988},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/int.4550050403","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550050403","pdf_url":null,"source":{"id":"https://openalex.org/S57950554","display_name":"International Journal of Intelligent Systems","issn_l":"0884-8173","issn":["0884-8173","1098-111X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Intelligent Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1526931790","https://openalex.org/W2006784674","https://openalex.org/W1660287273","https://openalex.org/W18057289","https://openalex.org/W2534700878","https://openalex.org/W4300540234","https://openalex.org/W4293406962","https://openalex.org/W2151829588","https://openalex.org/W1988650943","https://openalex.org/W2202042191"],"abstract_inverted_index":{"Man":[0],"is":[1,9],"capable":[2],"of":[3,36,39,60,63,85,119,151,195,229,245,247,250,258,263],"reasoning":[4,65,220],"when":[5],"the":[6,11,34,44,58,67,71,89,117,126,164,169,172,227,243,255,264,273,278,281],"available":[7,47],"information":[8,40,45],"incomplete.":[10],"conclusions":[12,23],"obtained":[13],"are":[14,24,28,79,92,99,112,178],"based":[15],"on":[16,132,231],"knowledge":[17,120],"considered":[18,174],"as":[19,26,202,204,236,238,284,286],"\u201cgenerally":[20],"true.\u201d":[21],"These":[22],"temporary":[25],"they":[27],"liable":[29],"to":[30,87,94,138,147,159,161,241,275,287],"be":[31],"challenged":[32],"by":[33,253],"arrival":[35],"new":[37],"pieces":[38],"which":[41,111],"will":[42,271],"refine":[43],"previously":[46],"(without":[48],"necessarily":[49],"contradicting":[50],"it).":[51],"Numerous":[52],"studies":[53],"have":[54,74],"independently":[55],"dealt":[56],"with":[57,106],"formalization":[59],"this":[61,176],"kind":[62],"revisable":[64],"over":[66],"last":[68],"ten":[69],"years.":[70],"approaches":[72,128,283],"used":[73],"been":[75],"very":[76],"diverse:":[77],"some":[78,91,103],"purely":[80],"symbolic,":[81],"others":[82,98],"make":[83],"use":[84,257],"numbers":[86],"quantify":[88],"uncertainty;":[90],"close":[93],"formal":[95],"logic,":[96,180,186,191,209,235],"and":[97,129,155,199,210,221,262],"much":[100],"less":[101],"formalized;":[102],"only":[104],"deal":[105],"exceptions,":[107],"a":[108,133,248,259],"smaller":[109],"number":[110],"somewhat":[113],"more":[114],"ambitious":[115],"tackle":[116],"problem":[118],"base":[121],"revision.":[122],"This":[123],"work":[124,177],"presents":[125],"above":[127],"compares":[130],"them":[131],"single":[134,260],"example":[135,261],"in":[136,157,175],"order":[137,158],"better":[139,276],"evaluate":[140],"their":[141,143,145,289],"similarities,":[142],"differences,":[144],"abilities":[146],"formalize":[148,242],"certain":[149],"aspects":[150],"so-called":[152],"\u201ccommonsense\u201d":[153],"reasoning,":[154],"also":[156,214],"try":[160],"lay":[162],"bare":[163],"fundamental":[165],"principles":[166],"that":[167],"underlie":[168],"different":[170],"approaches.":[171],"logics":[173,194,201],"default":[179],"nonmonotonic":[181],"modal":[182],"logics,":[183,193],"including":[184],"autoepistemic":[185],"circumscription,":[187],"circumscription-like":[188],"approaches,":[189],"supposition-based":[190],"conditional":[192],"uncertainty,":[196],"i.e.,":[197],"probabilistic,":[198],"possibilistic":[200],"well":[203,237,285],"belief":[205],"functions,":[206],"numerical":[207],"quantifier":[208],"fuzzy":[211],"logics.":[212],"We":[213],"consider":[215],"formalisms":[216],"oriented":[217],"towards":[218],"causal":[219],"analogical":[222],"reasoning.":[223],"Lastly,":[224],"we":[225],"study":[226],"contribution":[228],"works":[230],"truth":[232],"maintenance,":[233],"action":[234],"recent":[239],"attempts":[240],"process":[244],"revision":[246],"set":[249],"formulae":[251],"closed":[252],"deduction.":[254],"systematic":[256],"same":[265],"evaluation":[266],"criteria":[267],"for":[268],"each":[269],"formalism,":[270],"enable":[272],"reader":[274],"perceive":[277],"rationale":[279],"behind":[280],"various":[282],"appreciate":[288],"interest.":[290]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2025-10-10T00:00:00"}