The complexity of model checking for belief revision and update
- Universita di Roma La Sapienza, Via Salaria, Roma (Italy)
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 {open_quotes}state of affairs{close_quotes} of the world of interest, it is possible that we are lead to trust another piece of information P, possibly inconsistent with the old one T. The aim of revision and update operators is to characterize the revised knowledge base T{prime} 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 process. In this paper we study the computational complexity of one of the main computational problems of belief revision and update: deciding if an interpretation M is a model of the revised knowledge base.
- OSTI ID:
- 430709
- Report Number(s):
- CONF-960876-; TRN: 96:006521-0084
- Resource Relation:
- Conference: 13. National conference on artifical intelligence and the 8. Innovative applications of artificial intelligence conference, Portland, OR (United States), 4-8 Aug 1996; Other Information: PBD: 1996; Related Information: Is Part Of Proceedings of the thirteenth national conference on artificial intelligence and the eighth innovative applications of artificial intelligence conference. Volume 1 and 2; PB: 1626 p.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Impact of a Low-Intensity Resource Referral Intervention on Patients’ Knowledge, Beliefs, and Use of Community Resources: Results from the CommunityRx Trial
Perceptions of risk in the management of nuclear wastes: Mapping elite and mass beliefs and attitudes