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 in- terpretations 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 condition- als. 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.

A Modal Reconstruction of Rational Closure

GLIOZZI, Valentina;POZZATO, GIAN LUCA
2012-01-01

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 in- terpretations 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 condition- als. 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.
2012
Inglese
contributo
3 - Convegno
CILC 2012: Convention on Computational Logic
Roma
June 6-7, 2012
Internazionale
Francesca A. Lisi
Francesca A. Lisi
Proceedings of the 9th Italian Convention on Computational Logic (CILC 2012)
Esperti anonimi
CEUR Workshop Proceedings
Aachen
GERMANIA
857
161
175
15
http://ceur-ws.org/Vol-857/
Nonmonotonic reasoning; minimal model
FRANCIA
1 – prodotto con file in versione Open Access (allegherò il file al passo 6 - Carica)
4
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
L. Giordano; V. Gliozzi; N. Olivetti; G.L. Pozzato
273
open
File in questo prodotto:
File Dimensione Formato  
cilc2012official.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 148.72 kB
Formato Adobe PDF
148.72 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/133397
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact