{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:00:46Z","timestamp":1750309246559,"version":"3.41.0"},"reference-count":34,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2017,4,30]],"date-time":"2017-04-30T00:00:00Z","timestamp":1493510400000},"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-105-2410-H-346-006-MY2 and MOST-104-2221-E-001-010-MY3"],"award-info":[{"award-number":["MOST-105-2410-H-346-006-MY2 and MOST-104-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":[[2017,4,30]]},"abstract":"<jats:p>Justification logic originated from the study of the logic of proofs. However, in a more general setting, it may be regarded as a kind of explicit epistemic logic. In such logic, the reasons a fact is believed are explicitly represented as justification terms. Traditionally, the modeling of uncertain beliefs is crucially important for epistemic reasoning. Graded modal logics interpreted with possibility theory semantics have been successfully applied to the representation and reasoning of uncertain beliefs; however, they cannot keep track of the reasons an agent believes a fact. This article is aimed at extending the graded modal logics with explicit justifications. We introduce a possibilistic justification logic, present its syntax and semantics, and investigate its metaproperties, such as soundness, completeness, and realizability.<\/jats:p>","DOI":"10.1145\/3091118","type":"journal-article","created":{"date-parts":[[2017,6,5]],"date-time":"2017-06-05T12:50:00Z","timestamp":1496667000000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Possibilistic Justification Logic"],"prefix":"10.1145","volume":"18","author":[{"given":"Che-Ping","family":"Su","sequence":"first","affiliation":[{"name":"Academia Sinica, Taipei, Taiwan"}]},{"given":"Tuan-Fang","family":"Fan","sequence":"additional","affiliation":[{"name":"National Penghu University of Science and Technology, Penghu, Taiwan"}]},{"given":"Churn-Jung","family":"Liau","sequence":"additional","affiliation":[{"name":"Academia Sinica, Taipei, Taiwan"}]}],"member":"320","published-online":{"date-parts":[[2017,6,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.2307\/2687821"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020308090060"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-012-9387-x"},{"key":"e_1_2_1_4_1","unstructured":"S. N. Art\u00ebmov and M. Fitting. 2012. Justification logic. In The Stanford Encyclopedia of Philosophy (Fall 2012 ed.) E. N. Zalta (ed.). Stanford University Stanford CA. https:\/\/plato.stanford.edu\/archives\/fall2012\/entries\/logic-justification\/. S. N. Art\u00ebmov and M. Fitting. 2012. Justification logic. In The Stanford Encyclopedia of Philosophy (Fall 2012 ed.) E. N. Zalta (ed.). Stanford University Stanford CA. https:\/\/plato.stanford.edu\/archives\/fall2012\/entries\/logic-justification\/."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi053"},{"key":"e_1_2_1_6_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"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/190908.190923"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(91)90051-Q"},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","unstructured":"D. Dubois J. Lang and H. Prade. 1994. Possibilistic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming Vol 3 : Nonmonotonic Reasoning and Uncertain Reasoning D. M. Gabbay C. J. Hogger and J. A. Robinson (Eds.). Clarendon Press Oxford UK 439--513. D. Dubois J. Lang and H. Prade. 1994. Possibilistic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming Vol 3 : Nonmonotonic Reasoning and Uncertain Reasoning D. M. Gabbay C. J. Hogger and J. A. Robinson (Eds.). Clarendon Press Oxford UK 439--513.","DOI":"10.1093\/oso\/9780198537472.003.0009"},{"volume":"8078","volume-title":"Scalable Uncertainty Management. Lecture Notes in Computer Science","author":"Dubois D.","key":"e_1_2_1_10_1"},{"key":"e_1_2_1_11_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 Cambridge MA 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 Cambridge MA 253--286."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(96)00126-0"},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","unstructured":"R. Fagin J. Y. Halpern Y. Moses and M. Y. Vardi. 1996. Reasoning About Knowledge. MIT Press Cambridge MA. R. Fagin J. Y. Halpern Y. Moses and M. Y. Vardi. 1996. Reasoning About Knowledge. 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_14_1"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1080\/0952813X.2014.921733"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2004.04.009"},{"key":"e_1_2_1_17_1","unstructured":"M. Fitting. 2013a. Realization Implemented. Technical Report TR-2013005. CUNY Ph.D Program in Computer Science. M. Fitting. 2013a. Realization Implemented. Technical Report TR-2013005. CUNY Ph.D Program in Computer Science."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/ext025"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-013-9492-x"},{"key":"e_1_2_1_20_1","unstructured":"M. Ghari. 2014b. Justification logics in a fuzzy setting. arXiv:1407.4647. M. Ghari. 2014b. Justification logics in a fuzzy setting. arXiv:1407.4647."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2012.02.002"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","unstructured":"P. H\u00e1jek. 1998. Metamathematics of Fuzzy Logic. Kluwer. P. H\u00e1jek. 1998. Metamathematics of Fuzzy Logic. Kluwer.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"e_1_2_1_23_1","unstructured":"J. Y. Halpern. 2003. Reasoning About Uncertainty. MIT Press Cambridge MA. J. Y. Halpern. 2003. Reasoning About Uncertainty. MIT Press Cambridge MA."},{"key":"e_1_2_1_24_1","unstructured":"J. Hintikka. 1962. Knowledge and Belief. Cornell University Press Ithaca NY. J. Hintikka. 1962. Knowledge and Belief. Cornell University Press Ithaca NY."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzv025"},{"volume":"9537","volume-title":"Logical Foundations of Computer Science. Lecture Notes in Computer Science","author":"Kokkinis I.","key":"e_1_2_1_26_1"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33152-7_7"},{"volume-title":"Proceedings of the 10th European Conference on Artificial Intelligence (ECAI\u201992)","author":"Liau C. J.","key":"e_1_2_1_28_1"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0888-613X(93)90019-A"},{"volume":"689","volume-title":"Methodologies for Intelligent Systems. Lecture Notes in Computer Science","author":"Liau C. J.","key":"e_1_2_1_30_1"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(96)00013-6"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.07.015"},{"volume-title":"Logical Foundations of Computer Science","series-title":"Lecture Notes in Computer Science","author":"Mkrtychev A.","key":"e_1_2_1_33_1"},{"key":"e_1_2_1_34_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\/3091118","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3091118","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:56:44Z","timestamp":1750291004000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3091118"}},"subtitle":["Reasoning About Justified Uncertain Beliefs"],"short-title":[],"issued":{"date-parts":[[2017,4,30]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4,30]]}},"alternative-id":["10.1145\/3091118"],"URL":"https:\/\/doi.org\/10.1145\/3091118","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2017,4,30]]},"assertion":[{"value":"2016-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}