One of the main challenges in the formal modeling of common-sense reasoning is the ability to cope with the dynamic nature of the world. Among the approaches put forward to address this problem are belief revision and update. Given a knowledge base T, representing our knowledge of the "state of affairs" of the world of interest, it is possible that we are led to trust another piece of information P, possibly inconsistent with the old one T. The aim or revision and update operators is to characterize the revised knowledge base T' that incorporates the new formula P into the old one T while preserving consistency and, at the same time, avoiding the loss of too much information. in this paper we study the computational complexity, in the propositional case, of one of the main reasoning problems of belief revision and update: deciding if an interpretation M is a model of the revised knowledge base. (C) 2001 Academic Press.

Belief revision and update: Complexity of model checking / Liberatore, Paolo; Schaerf, Marco. - In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES. - ISSN 0022-0000. - 62:1(2001), pp. 43-72. [10.1006/jcss.2000.1698]

Belief revision and update: Complexity of model checking

LIBERATORE, Paolo;SCHAERF, Marco
2001

Abstract

One of the main challenges in the formal modeling of common-sense reasoning is the ability to cope with the dynamic nature of the world. Among the approaches put forward to address this problem are belief revision and update. Given a knowledge base T, representing our knowledge of the "state of affairs" of the world of interest, it is possible that we are led to trust another piece of information P, possibly inconsistent with the old one T. The aim or revision and update operators is to characterize the revised knowledge base T' that incorporates the new formula P into the old one T while preserving consistency and, at the same time, avoiding the loss of too much information. in this paper we study the computational complexity, in the propositional case, of one of the main reasoning problems of belief revision and update: deciding if an interpretation M is a model of the revised knowledge base. (C) 2001 Academic Press.
01 Pubblicazione su rivista::01a Articolo in rivista
Belief revision and update: Complexity of model checking / Liberatore, Paolo; Schaerf, Marco. - In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES. - ISSN 0022-0000. - 62:1(2001), pp. 43-72. [10.1006/jcss.2000.1698]
File allegati a questo prodotto
File Dimensione Formato  
VE_2001_11573-252117.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 213.43 kB
Formato Adobe PDF
213.43 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/252117
 Attenzione

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

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 20
  • ???jsp.display-item.citation.isi??? 16
social impact