{"id":"https://openalex.org/W2001413564","doi":"https://doi.org/10.1109/coginf.2010.5599734","title":"A solution to commutativity problems found in iterated belief revision","display_name":"A solution to commutativity problems found in iterated belief revision","publication_year":2010,"publication_date":"2010-07-01","ids":{"openalex":"https://openalex.org/W2001413564","doi":"https://doi.org/10.1109/coginf.2010.5599734","mag":"2001413564"},"language":"en","primary_location":{"id":"doi:10.1109/coginf.2010.5599734","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coginf.2010.5599734","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"9th IEEE International Conference on Cognitive Informatics (ICCI'10)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5109985121","display_name":"Yan Ma","orcid":null},"institutions":[{"id":"https://openalex.org/I125749732","display_name":"Western University","ror":"https://ror.org/02grkyz14","country_code":"CA","type":"education","lineage":["https://openalex.org/I125749732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yan Ma","raw_affiliation_strings":["Western University, London, ON, CA","The University of Western Ontario#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Western University, London, ON, CA","institution_ids":["https://openalex.org/I125749732"]},{"raw_affiliation_string":"The University of Western Ontario#TAB#","institution_ids":["https://openalex.org/I125749732"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056001196","display_name":"Robert E. Mercer","orcid":"https://orcid.org/0000-0002-0080-715X"},"institutions":[{"id":"https://openalex.org/I125749732","display_name":"Western University","ror":"https://ror.org/02grkyz14","country_code":"CA","type":"education","lineage":["https://openalex.org/I125749732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Robert Mercer","raw_affiliation_strings":["University of Western Ontario, Canada","The University of Western Ontario#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Western Ontario, Canada","institution_ids":["https://openalex.org/I125749732"]},{"raw_affiliation_string":"The University of Western Ontario#TAB#","institution_ids":["https://openalex.org/I125749732"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I125749732"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11451991,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"50","issue":null,"first_page":"245","last_page":"251"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9998000264167786,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9918000102043152,"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.9861000180244446,"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/commutative-property","display_name":"Commutative property","score":0.877842903137207},{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.8593729138374329},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.6858596801757812},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.6130030751228333},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5314589738845825},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4472704827785492},{"id":"https://openalex.org/keywords/intrusion","display_name":"Intrusion","score":0.44116440415382385},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4262702763080597},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.38345640897750854},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3521363139152527},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3200865685939789},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2903116047382355},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2827654480934143},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.27114200592041016}],"concepts":[{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.877842903137207},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.8593729138374329},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.6858596801757812},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.6130030751228333},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5314589738845825},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4472704827785492},{"id":"https://openalex.org/C158251709","wikidata":"https://www.wikidata.org/wiki/Q354025","display_name":"Intrusion","level":2,"score":0.44116440415382385},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4262702763080597},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.38345640897750854},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3521363139152527},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3200865685939789},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2903116047382355},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2827654480934143},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.27114200592041016},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C17409809","wikidata":"https://www.wikidata.org/wiki/Q161764","display_name":"Geochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coginf.2010.5599734","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coginf.2010.5599734","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"9th IEEE International Conference on Cognitive Informatics (ICCI'10)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.4000000059604645}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W620923504","https://openalex.org/W1569147915","https://openalex.org/W1604488814","https://openalex.org/W1867705861","https://openalex.org/W1981758852","https://openalex.org/W1990709055","https://openalex.org/W2003894797","https://openalex.org/W2004393085","https://openalex.org/W2007457223","https://openalex.org/W2008360100","https://openalex.org/W2021675560","https://openalex.org/W2070000914","https://openalex.org/W2083053337","https://openalex.org/W2085022454","https://openalex.org/W2103385641","https://openalex.org/W2135303575","https://openalex.org/W2149420462","https://openalex.org/W2309841714","https://openalex.org/W4239557134","https://openalex.org/W4241442473","https://openalex.org/W4254149828","https://openalex.org/W6636017708","https://openalex.org/W6639207101","https://openalex.org/W6671576512","https://openalex.org/W6675711484","https://openalex.org/W6940750507"],"related_works":["https://openalex.org/W2159662167","https://openalex.org/W1574677083","https://openalex.org/W4388092718","https://openalex.org/W2049486611","https://openalex.org/W168265148","https://openalex.org/W3081183908","https://openalex.org/W2072960772","https://openalex.org/W1562363746","https://openalex.org/W2784232585","https://openalex.org/W2001413564"],"abstract_inverted_index":{"This":[0],"paper":[1],"mainly":[2],"addresses":[3],"the":[4,13,65,73,93,112,135,142,146,165,171,185,195,201,230,233,239,249,256,262,271,282,300,315,345],"commutativity":[5,66,83,196,242],"issue":[6],"discovered":[7],"in":[8,68,122,145,170,188,200,281,318,327],"iterated":[9,20,336],"belief":[10,160],"revisions":[11],"under":[12,27,104,141],"framework":[14,144,162,180],"of":[15,115,127,134,241,248,342],"AGM.":[16],"Namely,":[17],"given":[18],"an":[19],"formula":[21],"K":[22,30,36,42,308,328],"\u2217":[23,25,31,33,37,43,45,210,214,220,222,224,289,293,309,311,329,331],"x":[24,32,46],"y,":[26],"what":[28],"condition":[29],"y":[34,44],"=":[35,41],"(x":[38,310,330],"\u2041":[39],"y)":[40,215,225,294,312,332],"can":[47,138,197,279],"hold":[48,240],"needs":[49],"to":[50,119,124,183,269,325],"be":[51,98,120,139,198,267,270,305,326],"reconsidered.":[52],"As":[53],"we":[54,110,131,150,157,193,237,252,278,339],"shall":[55],"demonstrate,":[56],"AGM":[57,87,102,143,168,347],"7th":[58],"and":[59,206,218,227],"8th":[60],"postulates":[61,103,169],"together":[62],"falsely":[63],"imply":[64],"existing":[67],"Rott's":[69,128],"selection":[70,234,250,320],"puzzle.":[71,129,235],"On":[72],"other":[74],"hand,":[75],"Nayak":[76],"et":[77],"al.'s":[78],"counteracting":[79,283],"problem":[80],"which":[81,163],"demands":[82],"is":[84,92,181,243,297,313,322],"rejected":[85],"by":[86,101,175,232,307],"postulates.":[88],"The":[89],"worse":[90],"thing":[91],"two":[94,136,186],"realistic":[95],"puzzles":[96,137,187,343],"cannot":[97],"correctly":[99],"simulated":[100,140],"classic":[105],"logics.":[106],"Towards":[107],"these":[108],"issues,":[109],"suggest":[111],"inaccurate":[113],"definition":[114],"consequence":[116],"operation":[117],"Cnneeds":[118],"modified":[121,346],"order":[123],"accommodate":[125,184],"part":[126],"Furthermore,":[130],"illustrated":[132],"neither":[133],"content":[147,172],"level.":[148,173,191],"Therefore,":[149],"present":[151],"our":[152,179,319],"approach":[153],"as":[154],"follows:":[155],"first,":[156],"built":[158],"a":[159,245],"revision":[161,273,301],"satisfies":[164],"first":[166],"six":[167],"Second,":[174],"setting":[176],"appropriate":[177],"OCF,":[178],"able":[182],"epistemic":[189,202],"state":[190,203],"Third,":[192],"prove":[194],"held":[199],"level":[204],"if":[205,208],"only":[207,244,287,323],"(K":[209,213,219,223,288,292],"x)":[211,221,290],"\u2229":[212,291],"\u2260":[216,295],"\u03c6":[217,296],"\u251c/\u2534":[226],"thus":[228],"eliminate":[229],"intrusion":[231],"Last,":[236],"demonstrate":[238],"special":[246],"case":[247],"criterion":[251,321],"suggest,":[253],"that":[254,260],"is,":[255],"most":[257,263],"explainable":[258],"interpretation(s)":[259,316],"satisfy":[261],"recent":[264],"evidence":[265],"should":[266],"chosen":[268],"final":[272],"result.":[274],"In":[275],"this":[276],"sense,":[277],"tell":[280],"problems,":[284],"namely,":[285],"when":[286],"satisfied,":[298],"why":[299],"result":[302],"had":[303],"better":[304],"represented":[306],"because":[314],"suggested":[317],"guaranteed":[324],"rather":[333],"than":[334],"its":[335],"form.":[337],"Hence,":[338],"unify":[340],"both":[341],"with":[344],"framework.":[348]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}