{"id":"https://openalex.org/W2151829588","doi":"https://doi.org/10.1002/int.4550050404","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/W2151829588","doi":"https://doi.org/10.1002/int.4550050404","mag":"2151829588"},"language":"en","primary_location":{"id":"doi:10.1002/int.4550050404","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550050404","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.5363,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.76294591,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"5","issue":"4","first_page":"373","last_page":"422"},"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.8189305067062378},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.7765132188796997},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.7676190733909607},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.6603426337242126},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6054243445396423},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5643463134765625},{"id":"https://openalex.org/keywords/default-logic","display_name":"Default logic","score":0.5447689890861511},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5264630913734436},{"id":"https://openalex.org/keywords/commonsense-reasoning","display_name":"Commonsense reasoning","score":0.5127156972885132},{"id":"https://openalex.org/keywords/probabilistic-logic-network","display_name":"Probabilistic logic network","score":0.5043390989303589},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.4951838552951813},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.47243911027908325},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4610651135444641},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.4357118308544159},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.435153603553772},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.43399155139923096},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.4334755539894104},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.4190458357334137},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40114083886146545},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29955023527145386},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.2931002974510193},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.19178667664527893},{"id":"https://openalex.org/keywords/fuzzy-number","display_name":"Fuzzy number","score":0.10129177570343018}],"concepts":[{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.8189305067062378},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7765132188796997},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.7676190733909607},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.6603426337242126},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6054243445396423},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5643463134765625},{"id":"https://openalex.org/C160236029","wikidata":"https://www.wikidata.org/wiki/Q842421","display_name":"Default logic","level":5,"score":0.5447689890861511},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5264630913734436},{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.5127156972885132},{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.5043390989303589},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.4951838552951813},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.47243911027908325},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4610651135444641},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.4357118308544159},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.435153603553772},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.43399155139923096},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.4334755539894104},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.4190458357334137},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40114083886146545},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29955023527145386},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.2931002974510193},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.19178667664527893},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.10129177570343018},{"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.4550050404","is_oa":false,"landing_page_url":"https://doi.org/10.1002/int.4550050404","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":100,"referenced_works":["https://openalex.org/W1497201281","https://openalex.org/W1508433384","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/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/W2129802691","https://openalex.org/W2130915832","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/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"],"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":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2025-10-10T00:00:00"}