{"id":"https://openalex.org/W4300540234","doi":"https://doi.org/10.1002/int.4550050405","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/W4300540234","doi":"https://doi.org/10.1002/int.4550050405"},"language":"en","primary_location":{"id":"doi:10.1002/int.4550050405","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550050405","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":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.43078001,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":"4","first_page":"423","last_page":"470"},"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.8280831575393677},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.7920305728912354},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.7728686928749084},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.6479585766792297},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5905903577804565},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5851921439170837},{"id":"https://openalex.org/keywords/default-logic","display_name":"Default logic","score":0.5462824702262878},{"id":"https://openalex.org/keywords/commonsense-reasoning","display_name":"Commonsense reasoning","score":0.526025116443634},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5241784453392029},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.49750927090644836},{"id":"https://openalex.org/keywords/probabilistic-logic-network","display_name":"Probabilistic logic network","score":0.49480360746383667},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.48570069670677185},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4514332413673401},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.44899293780326843},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.4450770318508148},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.443350225687027},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.43154090642929077},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.41098806262016296},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3890044391155243},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.31525057554244995},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.29326215386390686},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.19136735796928406},{"id":"https://openalex.org/keywords/fuzzy-number","display_name":"Fuzzy number","score":0.10378864407539368}],"concepts":[{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.8280831575393677},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7920305728912354},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.7728686928749084},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.6479585766792297},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5905903577804565},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5851921439170837},{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.5462824702262878},{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.526025116443634},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5241784453392029},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.49750927090644836},{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.49480360746383667},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.48570069670677185},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4514332413673401},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.44899293780326843},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.4450770318508148},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.443350225687027},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.43154090642929077},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.41098806262016296},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3890044391155243},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.31525057554244995},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.29326215386390686},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.19136735796928406},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.10378864407539368},{"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.4550050405","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550050405","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":[{"display_name":"Peace, Justice and strong institutions","score":0.4699999988079071,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":195,"referenced_works":["https://openalex.org/W109717111","https://openalex.org/W1497201281","https://openalex.org/W1508433384","https://openalex.org/W1593793857","https://openalex.org/W1602576879","https://openalex.org/W1672044704","https://openalex.org/W1684304711","https://openalex.org/W1761876784","https://openalex.org/W1766332311","https://openalex.org/W1905260848","https://openalex.org/W1964656133","https://openalex.org/W1966321785","https://openalex.org/W1966552757","https://openalex.org/W1966867162","https://openalex.org/W1967756796","https://openalex.org/W1968255854","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/W1998363560","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/W2051405266","https://openalex.org/W2051677363","https://openalex.org/W2057722782","https://openalex.org/W2060671215","https://openalex.org/W2062539190","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/W2113179244","https://openalex.org/W2129802691","https://openalex.org/W2130915832","https://openalex.org/W2140533498","https://openalex.org/W2142616542","https://openalex.org/W2143659798","https://openalex.org/W2147096558","https://openalex.org/W2149420462","https://openalex.org/W2150357241","https://openalex.org/W2154630361","https://openalex.org/W2155322595","https://openalex.org/W2157342732","https://openalex.org/W2169602487","https://openalex.org/W2173438031","https://openalex.org/W2178747745","https://openalex.org/W2529273727","https://openalex.org/W2914728526","https://openalex.org/W2945259913","https://openalex.org/W2990482619","https://openalex.org/W4206370914","https://openalex.org/W4211007335","https://openalex.org/W4212930891","https://openalex.org/W4213128210","https://openalex.org/W4230560363","https://openalex.org/W4230588984","https://openalex.org/W4233253115","https://openalex.org/W4236745595","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/W4301347335","https://openalex.org/W6600259402","https://openalex.org/W6600395599","https://openalex.org/W6600543993","https://openalex.org/W6600865973","https://openalex.org/W6601465158","https://openalex.org/W6601608519","https://openalex.org/W6601807768","https://openalex.org/W6602261094","https://openalex.org/W6602655860","https://openalex.org/W6602738535","https://openalex.org/W6603013266","https://openalex.org/W6603575145","https://openalex.org/W6604130060","https://openalex.org/W6604431394","https://openalex.org/W6604438358","https://openalex.org/W6604485975","https://openalex.org/W6604596589","https://openalex.org/W6604605130","https://openalex.org/W6604962782","https://openalex.org/W6605111434","https://openalex.org/W6605387137","https://openalex.org/W6605604013","https://openalex.org/W6605654763","https://openalex.org/W6605683291","https://openalex.org/W6605886694","https://openalex.org/W6605935693","https://openalex.org/W6605977187","https://openalex.org/W6606096532","https://openalex.org/W6606707739","https://openalex.org/W6606959345","https://openalex.org/W6607485482","https://openalex.org/W6607950100","https://openalex.org/W6608106597","https://openalex.org/W6608177484","https://openalex.org/W6608558817","https://openalex.org/W6610845493","https://openalex.org/W6611264904","https://openalex.org/W6612108109","https://openalex.org/W6612386740","https://openalex.org/W6627357678","https://openalex.org/W6629387642","https://openalex.org/W6630469275","https://openalex.org/W6630807948","https://openalex.org/W6630917354","https://openalex.org/W6631344364","https://openalex.org/W6631503033","https://openalex.org/W6631930693","https://openalex.org/W6632134027","https://openalex.org/W6632310045","https://openalex.org/W6633406410","https://openalex.org/W6633429274","https://openalex.org/W6633996426","https://openalex.org/W6634072259","https://openalex.org/W6634078537","https://openalex.org/W6634331841","https://openalex.org/W6634598565","https://openalex.org/W6635305494","https://openalex.org/W6636938258","https://openalex.org/W6637298476","https://openalex.org/W6637339337","https://openalex.org/W6637778982","https://openalex.org/W6637991074","https://openalex.org/W6638008536","https://openalex.org/W6643727212","https://openalex.org/W6647259639","https://openalex.org/W6648292125","https://openalex.org/W6660796039","https://openalex.org/W6669927733","https://openalex.org/W6675001884","https://openalex.org/W6675287681","https://openalex.org/W6675925439","https://openalex.org/W6676345937","https://openalex.org/W6676668875","https://openalex.org/W6676714062","https://openalex.org/W6677871789","https://openalex.org/W6678067405","https://openalex.org/W6678132434","https://openalex.org/W6678394404","https://openalex.org/W6678996159","https://openalex.org/W6680341452","https://openalex.org/W6681757795","https://openalex.org/W6696728643","https://openalex.org/W6851913988","https://openalex.org/W6852300876","https://openalex.org/W6852754349","https://openalex.org/W6857612689","https://openalex.org/W6986611196","https://openalex.org/W7005840308"],"related_works":["https://openalex.org/W1526931790","https://openalex.org/W2006784674","https://openalex.org/W77119612","https://openalex.org/W1660287273","https://openalex.org/W18057289","https://openalex.org/W4300540234","https://openalex.org/W4293406962","https://openalex.org/W2151829588","https://openalex.org/W2534700878","https://openalex.org/W1988650943"],"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":[],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2025-10-10T00:00:00"}