{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:03:03Z","timestamp":1777892583997,"version":"3.51.4"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:p>In a recent paper Lakemeyer and Levesque proposed a first-order logic of limited belief to characterize the beliefs of a knowledge base (\\KB). Among other things, they show that their model of belief is expressive, eventually complete, and tractable. This means, roughly, that a \\KB\\ may consist of arbitrary first-order sentences, that any sentence which is logically entailed by the \\KB\\ is eventually believed, given  enough reasoning effort, and that reasoning is tractable under reasonable assumptions. One downside of the proposal is that epistemic states are defined in terms of sets of clauses, possibly containing variables, giving the logic a  distinct syntactic flavour compared to the more traditional possible-world semantics found in the literature on epistemic logic. In this paper we show that the same properties as above can be obtained by defining  epistemic states as sets of three-valued possible worlds. This way we are able to shed new light on those properties by recasting them using the more familiar notion of truth over possible worlds.<\/jats:p>","DOI":"10.24963\/kr.2020\/62","type":"proceedings-article","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T04:39:16Z","timestamp":1597898356000},"page":"624-635","source":"Crossref","is-referenced-by-count":3,"title":["A First-Order Logic of Limited Belief Based on Possible Worlds"],"prefix":"10.24963","author":[{"given":"Gerhard","family":"Lakemeyer","sequence":"first","affiliation":[{"name":"RWTH Aachen University"}]},{"given":"Hector J.","family":"Levesque","sequence":"additional","affiliation":[{"name":"University of Toronto"}]}],"member":"10584","event":{"name":"17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}","theme":"Artificial Intelligence","location":"Rhodes, Greece","acronym":"KR-2020","number":"17","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Association for Logic Programming","Center for Perspicuous Computing","European Association for Artificial Intelligence","Ontopic - The Virtual Knowledge Graph Company"],"start":{"date-parts":[[2020,9,12]]},"end":{"date-parts":[[2020,9,18]]}},"container-title":["Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2020,11,5]],"date-time":"2020-11-05T21:18:44Z","timestamp":1604611124000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2020\/62"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2020\/62","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}