Daniele Nardi, Riccardo Rosati.
In Proceedings of the Seventh Portuguese Conference on Artificial Intelligence (EPIA'95), Lecture Notes in Artificial Intelligence, volume 990, pages 225-236, Springer, 1995.
In this paper we provide a semantic characterization of ground logics, a family of nonmonotonic modal logics obtained by means of a variant of the well known Mc Dermott and Doyle fixed point equation. The term ground logics carries the idea of restricting the negative introspection capabilities of the reasoning agent to the objective (i.e. non modal) part of the theory. This intuition was nicely formalized for modal logic S5 by a semantic definition based on a preference relation on Kripke models, which was obtained as the semantic counterpart to the notion of minimal knowledge initially defined by Halpern and Moses. We have then found a preference relation on Kripke models that both generalizes this notion of minimal knowledge and provides a semantic characterization for a significant subset of ground logics.
@String{EPIA-95 = "Proceedings of the Seventh Portuguese Conference on Artificial Intelligence (EPIA'95)"}
@String{SV = "Springer"}
@String{LNAI = "Lecture Notes in Artificial Intelligence"}
@Inproceedings{NaRo95,
author = "Daniele Nardi and Riccardo Rosati",
title = "A Preference Semantics for Ground Nonmonotonic Modal Logics",
booktitle = EPIA-95,
pages = {225--236},
publisher = SV,
series = LNAI,
volume = 990,
year = 1995,
}