Journal of Logic, Language and Information 8 (2):187-203 (1999)
|Abstract||We study the problem of embedding Halpern and Moses's modal logic of minimal knowledge states into two families of modal formalism for nonmonotonic reasoning, McDermott and Doyle's nonmonotonic modal logics and ground nonmonotonic modal logics. First, we prove that Halpern and Moses's logic can be embedded into all ground logics; moreover, the translation employed allows for establishing a lower bound (3p) for the problem of skeptical reasoning in all ground logics. Then, we show a translation of Halpern and Moses's logic into a significant subset of McDermott and Doyle's formalisms. Such a translation both indicates the ability of Halpern and Moses's logic of expressing minimal knowledge states in a more compact way than McDermott and Doyle's logics, and allows for a comparison of the epistemological properties of such nonmonotonic modal formalisms.|
|Keywords||Knowledge representation nonmonotonic reasoning epistemic modal logics computational complexity|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Charles G. Morgan (2000). The Nature of Nonmonotonic Reasoning. Minds and Machines 10 (3):321-360.
Gerhard Brewka (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press.
Melvin Fitting, Lars Thalmann & Andrei Voronkov (2001). Term-Modal Logics. Studia Logica 69 (1):133-169.
Marcus Kracht & Frank Wolter (1997). Simulation and Transfer Results in Modal Logic – a Survey. Studia Logica 59 (2):149-177.
Anna Gomolińska (1997). A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection. Studia Logica 58 (1):113-127.
Yoav Shoham (1988). Efficient Reasoning About Rich Temporal Domains. Journal of Philosophical Logic 17 (4):443 - 474.
Robert Milnikel (2003). Embedding Modal Nonmonotonic Logics Into Default Logic. Studia Logica 75 (3):377 - 382.
Added to index2009-01-28
Total downloads2 ( #245,904 of 722,774 )
Recent downloads (6 months)1 ( #60,541 of 722,774 )
How can I increase my downloads?