{"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","doi":"https://doi.org/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,"listed_in":["anvur-scientific","ccf-c","cwts-core","dongbi-c","jufo-1","norway-1","poland-100","russia-white-list-1"],"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"},"volume":null,"type":"article","is_traditional":true,"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,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"L\u00e9a Somb\u00e9","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5045177734"],"corresponding_institution_ids":[],"apc_list":{"value":2700,"currency":"USD","value_usd":2700},"apc_paid":null,"fwci":2.8523,"has_fulltext":false,"cited_by_count":51,"citation_normalized_percentile":{"value":0.92139045,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":95},"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":1.0,"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":1.0,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.0,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.0,"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/incomplete-information","display_name":"incomplete information","score":0.6499999761581421},{"id":"https://openalex.org/keywords/knowledge-base-revision","display_name":"knowledge base revision","score":0.9120000004768372},{"id":"https://openalex.org/keywords/default-logic","display_name":"default logic","score":0.7799999713897705},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"autoepistemic logic","score":0.9980000257492065},{"id":"https://openalex.org/keywords/circumscription","display_name":"circumscription","score":0.9980000257492065},{"id":"https://openalex.org/keywords/conditional-logic","display_name":"conditional logic","score":0.7879999876022339},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"probabilistic logic","score":0.7519999742507935},{"id":"https://openalex.org/keywords/possibilistic-logic","display_name":"possibilistic logic","score":0.996999979019165},{"id":"https://openalex.org/keywords/belief-function-theory","display_name":"belief functions","score":0.996999979019165},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"fuzzy logic","score":0.7160000205039978},{"id":"https://openalex.org/keywords/causal-reasoning","display_name":"causal reasoning","score":0.9539999961853027},{"id":"https://openalex.org/keywords/analogical-reasoning","display_name":"analogical reasoning","score":1.0},{"id":"https://openalex.org/keywords/truth-maintenance","display_name":"truth maintenance","score":0.9919999837875366},{"id":"https://openalex.org/keywords/logic-of-action","display_name":"action logics","score":0.9649999737739563},{"id":"https://openalex.org/keywords/commonsense-reasoning","display_name":"commonsense reasoning","score":0.6079999804496765},{"id":"https://openalex.org/keywords/uncertainty-quantification","display_name":"uncertainty quantification","score":0.40400001406669617}],"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":2,"locations":[{"id":"doi:10.1002/int.4550050403","doi":"https://doi.org/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,"listed_in":["anvur-scientific","ccf-c","cwts-core","dongbi-c","jufo-1","norway-1","poland-100","russia-white-list-1"],"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"},{"id":"pmh:oai:HAL:hal-04155305v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-04155305v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://onlinelibrary.wiley.com/doi/abs/10.1002/int.4550050403","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":128,"referenced_works":["https://openalex.org/W164905838","https://openalex.org/W168384132","https://openalex.org/W213423257","https://openalex.org/W286399321","https://openalex.org/W294994052","https://openalex.org/W317793146","https://openalex.org/W321001420","https://openalex.org/W580985703","https://openalex.org/W611848211","https://openalex.org/W634113983","https://openalex.org/W1279140112","https://openalex.org/W1497201281","https://openalex.org/W1508433384","https://openalex.org/W1537809898","https://openalex.org/W1545424768","https://openalex.org/W1588751014","https://openalex.org/W1593617641","https://openalex.org/W1602576879","https://openalex.org/W1672044704","https://openalex.org/W1684304711","https://openalex.org/W1757470119","https://openalex.org/W1761876784","https://openalex.org/W1766332311","https://openalex.org/W1905260848","https://openalex.org/W1964656133","https://openalex.org/W1966321785","https://openalex.org/W1966867162","https://openalex.org/W1972781663","https://openalex.org/W1973087208","https://openalex.org/W1973711118","https://openalex.org/W1974554384","https://openalex.org/W1976303542","https://openalex.org/W1978297541","https://openalex.org/W1979029381","https://openalex.org/W1981308695","https://openalex.org/W1981541822","https://openalex.org/W1993075287","https://openalex.org/W1993328936","https://openalex.org/W1995977929","https://openalex.org/W1996347293","https://openalex.org/W1998668381","https://openalex.org/W1999622198","https://openalex.org/W2000141049","https://openalex.org/W2001338113","https://openalex.org/W2004131797","https://openalex.org/W2005984922","https://openalex.org/W2008294142","https://openalex.org/W2014665390","https://openalex.org/W2016443760","https://openalex.org/W2017111168","https://openalex.org/W2020153579","https://openalex.org/W2022971483","https://openalex.org/W2026927381","https://openalex.org/W2029246084","https://openalex.org/W2034601713","https://openalex.org/W2036900631","https://openalex.org/W2038118137","https://openalex.org/W2039303449","https://openalex.org/W2039438726","https://openalex.org/W2039555920","https://openalex.org/W2039797670","https://openalex.org/W2040326164","https://openalex.org/W2041706386","https://openalex.org/W2043017889","https://openalex.org/W2051405266","https://openalex.org/W2051677363","https://openalex.org/W2060671215","https://openalex.org/W2062539190","https://openalex.org/W2065555531","https://openalex.org/W2067326626","https://openalex.org/W2072203301","https://openalex.org/W2072291277","https://openalex.org/W2075277371","https://openalex.org/W2078296160","https://openalex.org/W2078926321","https://openalex.org/W2082485545","https://openalex.org/W2082736027","https://openalex.org/W2083786481","https://openalex.org/W2089209468","https://openalex.org/W2092180595","https://openalex.org/W2093294315","https://openalex.org/W2094848746","https://openalex.org/W2108309071","https://openalex.org/W2109015621","https://openalex.org/W2123671027","https://openalex.org/W2129802691","https://openalex.org/W2130915832","https://openalex.org/W2142616542","https://openalex.org/W2143659798","https://openalex.org/W2144347980","https://openalex.org/W2145003065","https://openalex.org/W2147096558","https://openalex.org/W2149420462","https://openalex.org/W2150357241","https://openalex.org/W2155322595","https://openalex.org/W2157342732","https://openalex.org/W2169602487","https://openalex.org/W2173438031","https://openalex.org/W2178747745","https://openalex.org/W2324075002","https://openalex.org/W2324703352","https://openalex.org/W2414612277","https://openalex.org/W2493731946","https://openalex.org/W2708689663","https://openalex.org/W2788164529","https://openalex.org/W2795580387","https://openalex.org/W2914728526","https://openalex.org/W2945259913","https://openalex.org/W2990482619","https://openalex.org/W4205821313","https://openalex.org/W4206370914","https://openalex.org/W4211007335","https://openalex.org/W4212930891","https://openalex.org/W4230588984","https://openalex.org/W4231575501","https://openalex.org/W4233253115","https://openalex.org/W4236745595","https://openalex.org/W4241442473","https://openalex.org/W4241797484","https://openalex.org/W4242309855","https://openalex.org/W4243164604","https://openalex.org/W4246871619","https://openalex.org/W4253318502","https://openalex.org/W4253414862","https://openalex.org/W4254524467","https://openalex.org/W4301347335","https://openalex.org/W4386531476","https://openalex.org/W4393025596"],"related_works":["https://openalex.org/W4383495732","https://openalex.org/W2201311975","https://openalex.org/W2133422947","https://openalex.org/W2161978081","https://openalex.org/W24250159","https://openalex.org/W2500922926","https://openalex.org/W4299701134","https://openalex.org/W128595409","https://openalex.org/W2737516942","https://openalex.org/W4244906238"],"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":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2025-10-10T00:00:00"}