Belief revision and belief update are two different forms of belief change, and they serve different purposes. In this paper we focus on belief update, the formalization of change in beliefs due to changes in the world. The complexity of the basic update (introduced by Winslett [1990]) has been proved by Eiter and Gottlob (1991). Since then, many other formalizations have been proposed to overcome the limitations and drawbacks of Winslett's update. In this paper we analyze the complexity of the proposals presented in the literature, and relate some of them to previous work on closed world reasoning.

The complexity of belief update / Liberatore, P.. - In: IJCAI. - ISSN 1045-0823. - 1:(1997), pp. 68-73. ((Intervento presentato al convegno 15th International Joint Conference on Artificial Intelligence, IJCAI 1997 tenutosi a Nagoya, Aichi; Japan.

The complexity of belief update

Liberatore P.
1997

Abstract

Belief revision and belief update are two different forms of belief change, and they serve different purposes. In this paper we focus on belief update, the formalization of change in beliefs due to changes in the world. The complexity of the basic update (introduced by Winslett [1990]) has been proved by Eiter and Gottlob (1991). Since then, many other formalizations have been proposed to overcome the limitations and drawbacks of Winslett's update. In this paper we analyze the complexity of the proposals presented in the literature, and relate some of them to previous work on closed world reasoning.
15th International Joint Conference on Artificial Intelligence, IJCAI 1997
knowledge representation; nonmonotonic reasoning; belief revision
04 Pubblicazione in atti di convegno::04c Atto di convegno in rivista
The complexity of belief update / Liberatore, P.. - In: IJCAI. - ISSN 1045-0823. - 1:(1997), pp. 68-73. ((Intervento presentato al convegno 15th International Joint Conference on Artificial Intelligence, IJCAI 1997 tenutosi a Nagoya, Aichi; Japan.
File allegati a questo prodotto
File Dimensione Formato  
Liberatore_The-complexity_1997.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 148.1 kB
Formato Adobe PDF
148.1 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/1331644
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? 6
social impact