Nonmonotonic formalisms and belief revision operators have been introduced as useful tools to describe and reason about evolving scenarios, Both approaches have been proven effective in a number of different situations, However, little is known about their relationship, Previous work by Winslett has shown some correlations between a specific operator and circumscription. In this paper we greatly extend Winslett's work by establishing new relations between circumscription and a large number of belief revision operators. This highlights similarities and differences between these formalisms. Furthermore, these connections provide us with the possibility of importing results in one field into the other one. (C) 1997 Elsevier Science B.V.

Reducing belief revision to circumscription (and vice versa) / Liberatore, Paolo; Schaerf, Marco. - In: ARTIFICIAL INTELLIGENCE. - ISSN 0004-3702. - 93:1-2(1997), pp. 261-296. [10.1016/s0004-3702(97)00016-7]

Reducing belief revision to circumscription (and vice versa)

LIBERATORE, Paolo;SCHAERF, Marco
1997

Abstract

Nonmonotonic formalisms and belief revision operators have been introduced as useful tools to describe and reason about evolving scenarios, Both approaches have been proven effective in a number of different situations, However, little is known about their relationship, Previous work by Winslett has shown some correlations between a specific operator and circumscription. In this paper we greatly extend Winslett's work by establishing new relations between circumscription and a large number of belief revision operators. This highlights similarities and differences between these formalisms. Furthermore, these connections provide us with the possibility of importing results in one field into the other one. (C) 1997 Elsevier Science B.V.
1997
belief revision; circumscription; computational complexity; knowledge representation
01 Pubblicazione su rivista::01a Articolo in rivista
Reducing belief revision to circumscription (and vice versa) / Liberatore, Paolo; Schaerf, Marco. - In: ARTIFICIAL INTELLIGENCE. - ISSN 0004-3702. - 93:1-2(1997), pp. 261-296. [10.1016/s0004-3702(97)00016-7]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

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/11573/245228
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 21
  • ???jsp.display-item.citation.isi??? 18
social impact