{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:10Z","timestamp":1750220830347,"version":"3.41.0"},"reference-count":55,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T00:00:00Z","timestamp":1568851200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004663","name":"Ministry of Science and Technology of Taiwan","doi-asserted-by":"crossref","award":["MOST-108-2221-E-346-003-MY2 and MOST-107-2221-E-001-010-MY3"],"award-info":[{"award-number":["MOST-108-2221-E-346-003-MY2 and MOST-107-2221-E-001-010-MY3"]}],"id":[{"id":"10.13039\/501100004663","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2020,1,31]]},"abstract":"<jats:p>In this article, we propose a logic for reasoning about belief based on fusion of uncertain information. The resultant reason-maintenance possibilistic belief logic can represent both implicit and explicit uncertain beliefs of an agent. While implicit beliefs stipulate what are believable, explicit beliefs can trace the process of belief formation by information fusion. To set up the formal framework, we start with developing a basic reason-maintenance belief logic, present its syntax and semantics, and investigate its axiomatization and properties. Then, we extend the basic logic to accommodate the possibilistic uncertainty of information and beliefs, provide a complete axiomatization of the extended logic, and show that it can address the reason-maintenance issue of partially inconsistent beliefs. We also demonstrate the applicability of our formalisms by using several examples in realistic scenarios.<\/jats:p>","DOI":"10.1145\/3355608","type":"journal-article","created":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T15:32:43Z","timestamp":1568907163000},"page":"1-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Reason-maintenance Belief Logic with Uncertain Information"],"prefix":"10.1145","volume":"21","author":[{"given":"Tuan-Fang","family":"Fan","sequence":"first","affiliation":[{"name":"National Penghu University of Science and Technology, Penghu, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6842-9637","authenticated-orcid":false,"given":"Churn-Jung","family":"Liau","sequence":"additional","affiliation":[{"name":"Institute of Information Science, Academia Sinica, Taipei, Taiwan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,9,19]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308090060"},{"key":"e_1_2_1_2_1","unstructured":"S. Artemov and M. Fitting. 2012. Justification logic. In The Stanford Encyclopedia of Philosophy (fall 2012 ed.) E.N. Zalta (Ed.). S. Artemov and M. Fitting. 2012. Justification logic. In The Stanford Encyclopedia of Philosophy (fall 2012 ed.) E.N. Zalta (Ed.)."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi053"},{"volume":"9803","volume-title":"Proceedings of the 23rd International Workshop on Logic, Language, Information, and Computation (WoLLIC\u201916)","author":"Baltag A.","key":"e_1_2_1_4_1"},{"volume":"7456","volume-title":"Proceedings of the 19th International Workshop on Logic, Language, Information and Computation (WoLLIC\u201912)","author":"Baltag A.","key":"e_1_2_1_5_1"},{"volume-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911)","author":"Benferhat S.","key":"e_1_2_1_6_1"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2003.10.012"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","unstructured":"P. Blackburn M. de Rijke and Y. Venema. 2001. Modal Logic. Cambridge University Press Cambridge UK. P. Blackburn M. de Rijke and Y. Venema. 2001. Modal Logic. Cambridge University Press Cambridge UK.","DOI":"10.1017\/CBO9781107050884"},{"volume-title":"Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI\u201993)","year":"1993","author":"Cholvy L.","key":"e_1_2_1_9_1"},{"volume":"10369","volume-title":"Proceedings of the 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU\u201917)","author":"Ciucci D.","key":"e_1_2_1_10_1"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90171-7"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(79)90008-0"},{"volume-title":"Proceedings of the 8th International Joint Conference on Artificial Intelligence (IJCAI\u201983)","year":"1983","author":"Doyle J.","key":"e_1_2_1_14_1"},{"volume-title":"Proceedings of the 10th European Conference on Artificial Intelligence (ECAI\u201992)","author":"Dubois D.","key":"e_1_2_1_15_1"},{"volume":"8078","volume-title":"LNCS","author":"Dubois D.","key":"e_1_2_1_16_1"},{"key":"e_1_2_1_17_1","unstructured":"D. Dubois and H. Prade. 1988. An introduction to possibilistic and fuzzy logics. In Non-Standard Logics for Automated Reasoning P. Smets A. Mamdani D. Dubois and H. Prade (Eds.). Academic Press 253--286. D. Dubois and H. Prade. 1988. An introduction to possibilistic and fuzzy logics. In Non-Standard Logics for Automated Reasoning P. Smets A. Mamdani D. Dubois and H. Prade (Eds.). Academic Press 253--286."},{"volume":"10351","volume-title":"Proceedings of the 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA\/AIE\u201917)","author":"Dubois D.","key":"e_1_2_1_18_1"},{"volume-title":"Proceedings of the 20th Amsterdam Colloquium. 100--108","author":"\u00c9gr\u00e9 P.","key":"e_1_2_1_19_1"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(96)00126-0"},{"key":"e_1_2_1_21_1","doi-asserted-by":"crossref","unstructured":"R. Fagin J. Y. Halpern Y. Moses and M. Y. Vardi. 1996. Reasoning About Knowledge. The MIT Press Cambridge MA. R. Fagin J. Y. Halpern Y. Moses and M. Y. Vardi. 1996. Reasoning About Knowledge. The MIT Press Cambridge MA.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"volume-title":"Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI\u201915)","author":"Fan T. F.","key":"e_1_2_1_22_1"},{"volume-title":"Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI\u201916)","author":"Fan T. F.","key":"e_1_2_1_23_1"},{"volume":"10021","volume-title":"Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA\u201916)","author":"Fan T. F.","key":"e_1_2_1_24_1"},{"volume-title":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS\u201917)","author":"Fan T. F.","key":"e_1_2_1_25_1"},{"volume-title":"Proceedings of the International Conference on Web Intelligence. 509--516","author":"Fan T. F.","key":"e_1_2_1_26_1"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.04.009"},{"volume-title":"Readings in Formal Epistemology: Sourcebook","author":"Gaifman H.","key":"e_1_2_1_28_1"},{"key":"e_1_2_1_29_1","doi-asserted-by":"crossref","unstructured":"J. Granatyr V. Botelho O. R. Lessing E. E. Scalabrin J.-P. Barth\u00e8s and F. Enembreck. 2015. Trust and reputation models for multiagent systems. Comput. Surveys 48 2 (2015) 27:1--27:42. J. Granatyr V. Botelho O. R. Lessing E. E. Scalabrin J.-P. Barth\u00e8s and F. Enembreck. 2015. Trust and reputation models for multiagent systems. Comput. Surveys 48 2 (2015) 27:1--27:42.","DOI":"10.1145\/2816826"},{"volume-title":"Reasoning About Uncertainty","author":"Halpern J. Y.","key":"e_1_2_1_30_1"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622559.1622560"},{"key":"e_1_2_1_32_1","unstructured":"J. Hintikka. 1962. Knowledge and Belief. Cornell University Press. J. Hintikka. 1962. Knowledge and Belief. Cornell University Press."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzv025"},{"volume":"9537","volume-title":"Proceedings of the International Symposium on Logical Foundations of Computer Science (LFCS\u201916)","author":"Kokkinis I.","key":"e_1_2_1_34_1"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(99)00028-6"},{"volume-title":"A: Syst. Hum. 26, 3","year":"1996","author":"Lehner P. E.","key":"e_1_2_1_36_1"},{"volume-title":"Proceedings of the 4th AAAI Conference on Artificial Intelligence. AAAI Press, 198--202","year":"1984","author":"Levesque H. J.","key":"e_1_2_1_37_1"},{"volume-title":"Proceedings of the 10th European Conference on Artificial Intelligence (ECAI\u201992)","author":"Liau C. J.","key":"e_1_2_1_38_1"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(96)00013-6"},{"volume":"10621","volume-title":"Proceedings of the 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA\u201917)","author":"Liu F.","key":"e_1_2_1_40_1"},{"volume-title":"Epistemic Logic for AI and Computer Science","author":"Meyer J.-J. Ch.","key":"e_1_2_1_41_1"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35722-0_21"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.07.015"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.3982\/ECTA9159"},{"key":"e_1_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-004-0041-5"},{"volume-title":"A Mathematical Theory of Evidence","author":"Shafer G.","key":"e_1_2_1_46_1"},{"volume-title":"Proceedings of the 9th International Conference on Web Engineering (ICWE\u201909)","author":"Skopik F.","key":"e_1_2_1_47_1"},{"volume-title":"Proceedings of the 2nd Global Conference on Artificial Intelligence (GCAI\u201916)","author":"Steen A.","key":"e_1_2_1_48_1"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3091118"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218488502001648"},{"key":"e_1_2_1_51_1","unstructured":"J. van Benthem D. Fern\u00e1ndez Duque and E. Pacuit. 2012. Evidence logic: A new look at neighborhood structures. In Advances in Modal Logic 9 T. Bolander T. Bra\u00fcner S. Ghilardi and L.S. Moss (Eds.). College Publications 97--118. J. van Benthem D. Fern\u00e1ndez Duque and E. Pacuit. 2012. Evidence logic: A new look at neighborhood structures. In Advances in Modal Logic 9 T. Bolander T. Bra\u00fcner S. Ghilardi and L.S. Moss (Eds.). College Publications 97--118."},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.07.007"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-011-9347-x"},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.geb.2006.10.002"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(78)90029-5"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3355608","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3355608","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:29Z","timestamp":1750202009000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3355608"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,19]]},"references-count":55,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,1,31]]}},"alternative-id":["10.1145\/3355608"],"URL":"https:\/\/doi.org\/10.1145\/3355608","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2019,9,19]]},"assertion":[{"value":"2018-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}