Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

A minimal model semantics for nonmonotonic reasoning

Contributo in Atti di convegno
Data di Pubblicazione:
2012
Abstract:
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.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Nonmonotonic Reasoning; Rational closure; Preferential semantics
Elenco autori:
L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
Autori di Ateneo:
GLIOZZI Valentina
POZZATO Gian Luca
Link alla scheda completa:
https://iris.unito.it/handle/2318/121590
Titolo del libro:
Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings
Pubblicato in:
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Journal
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Series
  • Dati Generali

Dati Generali

URL

http://link.springer.com/book/10.1007/978-3-642-33353-8/page/1
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0