{"id":"https://openalex.org/W7115180136","doi":"https://doi.org/10.5555/3545946.3598658","title":"A Logic of Only-Believing over Arbitrary Probability Distributions","display_name":"A Logic of Only-Believing over Arbitrary Probability Distributions","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W7115180136","doi":"https://doi.org/10.5555/3545946.3598658"},"language":"en","primary_location":{"id":"pmh:oai:publications.rwth-aachen.de:999884","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/999884","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems<br/>22. International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, UK, 2023-05-29 - 2023-06-02","raw_type":"info:eu-repo/semantics/conferenceObject"},"type":"conference-paper","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/en/publications/41b61dd0-ccce-4488-839a-11b9ac09d5d2","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Feng, Qihui","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feng, Qihui","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Liu, Daxin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Daxin","raw_affiliation_strings":["Artificial Intelligence and its Applications Institute","School of Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Artificial Intelligence and its Applications Institute","institution_ids":[]},{"raw_affiliation_string":"School of Informatics","institution_ids":[]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lakemeyer, Gerhard","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lakemeyer, Gerhard","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Belle, Vaishak; id_orcid 0000-0001-5573-8465","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Belle, Vaishak; id_orcid 0000-0001-5573-8465","raw_affiliation_strings":["Artificial Intelligence and its Applications Institute","Data Science and Artificial Intelligence","School of Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Artificial Intelligence and its Applications Institute","institution_ids":[]},{"raw_affiliation_string":"Data Science and Artificial Intelligence","institution_ids":[]},{"raw_affiliation_string":"School of Informatics","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7544000148773193,"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.7544000148773193,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.027899999171495438,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11883","display_name":"Embodied and Extended Cognition","score":0.024700000882148743,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6952999830245972},{"id":"https://openalex.org/keywords/arity","display_name":"Arity","score":0.5911999940872192},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5604000091552734},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.545199990272522},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.5252000093460083},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.44999998807907104},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.4187000095844269},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.41530001163482666},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.40689998865127563},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.3961000144481659}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6952999830245972},{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.5911999940872192},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5710999965667725},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5604000091552734},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.545199990272522},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5382000207901001},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.5252000093460083},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.44999998807907104},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4187000095844269},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.41530001163482666},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.40689998865127563},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.3961000144481659},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.39340001344680786},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.35370001196861267},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.34940001368522644},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3443000018596649},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34360000491142273},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.33469998836517334},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.33009999990463257},{"id":"https://openalex.org/C22497172","wikidata":"https://www.wikidata.org/wiki/Q1559077","display_name":"Situation calculus","level":2,"score":0.3276999890804291},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.31859999895095825},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.31520000100135803},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.31459999084472656},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3095000088214874},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.29910001158714294},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.2849999964237213},{"id":"https://openalex.org/C18998212","wikidata":"https://www.wikidata.org/wiki/Q7246856","display_name":"Probabilistic logic network","level":5,"score":0.27790001034736633},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.27630001306533813},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C2778023277","wikidata":"https://www.wikidata.org/wiki/Q321703","display_name":"Premise","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C130648207","wikidata":"https://www.wikidata.org/wiki/Q6007562","display_name":"Imprecise probability","level":3,"score":0.26759999990463257},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.2667999863624573},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.26420000195503235},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.260699987411499},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.25609999895095825},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.2517000138759613}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:publications.rwth-aachen.de:999884","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/999884","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems<br/>22. International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, UK, 2023-05-29 - 2023-06-02","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/41b61dd0-ccce-4488-839a-11b9ac09d5d2","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/41b61dd0-ccce-4488-839a-11b9ac09d5d2","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Feng, Q, Liu, D, Lakemeyer, G & Belle, V 2023, A Logic of Only-Believing over Arbitrary Probability Distributions. in Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems. Richland, SC, pp. 355\u2013363, The 22nd International Conference on Autonomous Agents and Multiagent Systems, London, United Kingdom, 29/05/23. https://doi.org/10.5555/3545946.3598658","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/41b61dd0-ccce-4488-839a-11b9ac09d5d2","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/41b61dd0-ccce-4488-839a-11b9ac09d5d2","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Feng, Q, Liu, D, Lakemeyer, G & Belle, V 2023, A Logic of Only-Believing over Arbitrary Probability Distributions. in Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems. Richland, SC, pp. 355\u2013363, The 22nd International Conference on Autonomous Agents and Multiagent Systems, London, United Kingdom, 29/05/23. https://doi.org/10.5555/3545946.3598658","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.7143698334693909,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"When":[0],"it":[1,83,106,124,158],"comes":[2],"to":[3,18,28,118,127,214,250],"robotic":[4],"agents":[5],"operating":[6],"in":[7,14,45,48,55,95,159,178],"an":[8],"uncertain":[9],"world,":[10],"a":[11,78,85,160,185,215],"major":[12],"concern":[13],"knowledge":[15],"representation":[16],"is":[17,63,81,100,125,176],"better":[19],"relate":[20],"high-level":[21],"logical":[22,66,79],"accounts":[23],"of":[24,43,58,76,87,172,190,219,222],"beliefs":[25,88,134,144],"and":[26,47,61,71,132,135,145,156,169,187,224,241,256],"actions":[27,251],"the":[29,35,56,64,103,138,153,179,238,253],"low-level":[30],"probabilistic":[31],"sensorimotor":[32],"data.":[33],"Perhaps":[34],"most":[36],"general":[37,188],"formalism":[38],"for":[39,109],"dealing":[40],"with":[41,50,97,243],"degrees":[42,221],"belief":[44],"formulas,":[46],"particular,":[49],"how":[51,211],"that":[52,82,89,203],"should":[53],"evolve":[54],"presence":[57],"noisy":[59],"sensing":[60],"acting":[62],"first-order":[65],"account":[67,80,249],"by":[68],"Bacchus,":[69],"Halpern,":[70],"Levesque.":[72],"The":[73],"main":[74],"advantage":[75],"such":[77],"allows":[84],"specification":[86],"can":[90],"be":[91,230],"partial":[92],"or":[93],"incomplete,":[94],"keeping":[96],"whatever":[98],"information":[99],"available":[101],"about":[102,143,246],"domain,":[104],"making":[105,140],"particularly":[107],"attractive":[108],"general-purpose":[110],"cognitive":[111],"robotics.":[112],"Recently,":[113],"this":[114,149,212,233,248],"model":[115,155],"was":[116],"extended":[117],"handle":[119],"continuous":[120,154],"probability":[121],"distributions.":[122],"However,":[123],"limited":[126],"finitely":[128],"many":[129,201,206],"nullary":[130,167],"fluents":[131,168,171],"defines":[133],"integration":[136],"axiomatically,":[137],"latter":[139],"semantic":[141],"proofs":[142],"meta-beliefs":[146],"difficult.":[147],"In":[148,232],"paper,":[150,234],"we":[151,196,235],"revisit":[152],"cast":[157],"modal":[161],"language.":[162],"We":[163,208],"will":[164,228],"go":[165],"beyond":[166],"allow":[170],"arbitrary":[173],"arity":[174],"as":[175,252],"usual":[177],"standard":[180],"situation":[181],"calculus.":[182],"This":[183],"necessitates":[184],"new":[186],"treatment":[189],"probabilities":[191],"on":[192,199,237],"possible":[193],"worlds,":[194],"where":[195],"define":[197],"measures":[198],"uncountably":[200],"worlds":[202],"interpret":[204],"infinitely":[205],"fluents.":[207],"then":[209],"show":[210],"leads":[213],"fairly":[216],"simple":[217],"definition":[218],"knowing,":[220],"belief,":[223],"onlyknowing.":[225],"Properties":[226],"thereof":[227],"also":[229],"analyzed.":[231],"focus":[236],"static":[239],"setting":[240],"conclude":[242],"some":[244],"thoughts":[245],"extending":[247],"next":[254],"step":[255],"what":[257],"challenges":[258],"might":[259],"arise.":[260]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-12-15T00:00:00"}