All I know: A study in autoepistemic logic.

*(English)*Zbl 0724.03019The author’s aim is to approach nonmonotonicity via epistemic logic. The word “autoepistemic” hereby refers to the fact that the epistemic operators are allowed to appear within their own ranges. The epistemic part of the language contains the unary belief-operator B together with an additional (unary propositional) operator \bO, with \bOH meaning “H is all that is believed”; of course the background idea is to apply \bO essentially to finite sets of sentences (via their conjunction).

In a natural way there is a possible worlds semantics such that the B- fragment corresponds to the modal logic weak S5 (i.e. K4.5). This extended epistemic logic the author introduces here is studied first in its own right, is then related to the autoepistemic logic of R. Moore [Proc. IJCAI-83, Karlsruhe, 272-279 (1983; Zbl 0536.68074)] and the stable expansions, given a sound and, for the propositional part, complete axiomatization (which, yet, for the first-order case is not recursive), and is applied to some problems of nonmonotonicity.

In a natural way there is a possible worlds semantics such that the B- fragment corresponds to the modal logic weak S5 (i.e. K4.5). This extended epistemic logic the author introduces here is studied first in its own right, is then related to the autoepistemic logic of R. Moore [Proc. IJCAI-83, Karlsruhe, 272-279 (1983; Zbl 0536.68074)] and the stable expansions, given a sound and, for the propositional part, complete axiomatization (which, yet, for the first-order case is not recursive), and is applied to some problems of nonmonotonicity.

Reviewer: S.Gottwald (Leipzig)

##### MSC:

03B60 | Other nonclassical logic |

03B45 | Modal logic (including the logic of norms) |

68T27 | Logic in artificial intelligence |

##### Keywords:

nonmonotonic logic; epistemic logic; belief-operator; possible worlds semantics; modal logic; autoepistemic logic
PDF
BibTeX
XML
Cite

\textit{H. J. Levesque}, Artif. Intell. 42, No. 2--3, 263--309 (1990; Zbl 0724.03019)

Full Text:
DOI

##### References:

[1] | Brown, F., A comparison of the commonsense and fixed point theories of nonmonotonicity, (), 394-400 |

[2] | Gelfond, M., On stratified autoepistemic theories, (), 207-211 |

[3] | Halpern, J.; Moses, Y., Towards a theory of knowledge and ignorance: preliminary report, (), 125-143 · Zbl 0581.68067 |

[4] | Halpern, J.; Moses, Y., A guide to the modal logics of knowledge and belief: A preliminary draft, (), 480-490 |

[5] | Hughes, G.; Cresswell, M., An introduction to modal logic, (1968), Methuen London · Zbl 0205.00503 |

[6] | Israel, D., What’s wrong with non-monotonic logic?, (), 99-101 |

[7] | Konolige, K., Circumscriptive ignorance, (), 202-204 |

[8] | Konolige, K., On the relation between default theories and autoepistemic logic, () · Zbl 0647.68088 |

[9] | Levesque, H.J., A formal treatment of incomplete knowledge bases, () |

[10] | Levesque, H.J., The interaction with incomplete knowledge bases: A formal treatment, (), 240-245 |

[11] | Levesque, H.J., Foundations of a functional approach to knowledge representation, Artificial intelligence, 24, 155-212, (1984) · Zbl 0548.68090 |

[12] | Levesque, H.J., A logic of implicit and explicit belief, (), 198-202 |

[13] | Levesque, H.J., All I know: an abridged report, (), 426-431 |

[14] | McArthur, G., Reasoning about knowledge and belief: A review, Comput. intell., 4, 3, 223-243, (1988) |

[15] | McCarthy, J., Circumscription: A form of non-monotonic reasoning, Artificial intelligence, 13, 27-39, (1980) · Zbl 0435.68073 |

[16] | McCarthy, J., Applications of circumscription to formalizing common-sense knowledge, Artificial intelligence, 28, 89-116, (1986) |

[17] | McDermott, D.; Doyle, J., Non-monotonic logic I, Artificial intelligence, 13, 41-72, (1980) · Zbl 0435.68074 |

[18] | Moore, R., Semantical considerations on nonmonotonic logic, (), 272-279 |

[19] | Moore, R., Possible-world semantics for autoepistemic logic, (), 344-354 |

[20] | Reiter, R., A logic for default reasoning, Artificial intelligence, 13, 81-132, (1980) · Zbl 0435.68069 |

[21] | Reiter, R., Nonmonotonic reasoning, Ann. rev. comput. sci., 2, 147-186, (1987) |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.