TY - GEN
T1 - A minimal model semantics for nonmonotonic reasoning
AU - Giordano, Laura
AU - Gliozzi, Valentina
AU - Olivetti, Nicola
AU - Pozzato, Gian Luca
PY - 2012
Y1 - 2012
N2 - This paper provides a general semantic framework for nonmonotonic reasoning, based on a minimal models semantics on the top of KLM systems for nonmonotonic reasoning. This general framework can be instantiated in order to provide a semantic reconstruction within modal logic of the notion of rational closure, introduced by Lehmann and Magidor. We give two characterizations of rational closure: the first one in terms of minimal models where propositional interpretations associated to worlds are fixed along minimization, the second one where they are allowed to vary. In both cases a knowledge base must be expanded with a suitable set of consistency assumptions, represented by negated conditionals. The correspondence between rational closure and minimal model semantics suggests the possibility of defining variants of rational closure by changing either the underlying modal logic or the comparison relation on models.
AB - This paper provides a general semantic framework for nonmonotonic reasoning, based on a minimal models semantics on the top of KLM systems for nonmonotonic reasoning. This general framework can be instantiated in order to provide a semantic reconstruction within modal logic of the notion of rational closure, introduced by Lehmann and Magidor. We give two characterizations of rational closure: the first one in terms of minimal models where propositional interpretations associated to worlds are fixed along minimization, the second one where they are allowed to vary. In both cases a knowledge base must be expanded with a suitable set of consistency assumptions, represented by negated conditionals. The correspondence between rational closure and minimal model semantics suggests the possibility of defining variants of rational closure by changing either the underlying modal logic or the comparison relation on models.
UR - https://www.scopus.com/pages/publications/84866938356
U2 - 10.1007/978-3-642-33353-8_18
DO - 10.1007/978-3-642-33353-8_18
M3 - Conference contribution
AN - SCOPUS:84866938356
SN - 9783642333521
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 228
EP - 241
BT - Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings
T2 - 13th European Conference on Logics in Artificial Intelligence, JELIA 2012
Y2 - 26 September 2012 through 28 September 2012
ER -