✦ LIBER ✦

Belief Revision and Update: Complexity of Model Checking

✍ Scribed by Paolo Liberatore; Marco Schaerf

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 228 KB
Volume: 62
Category: Article
ISSN: 0022-0000
DOI: 10.1006/jcss.2000.1698

No coin nor oath required. For personal study only.

✦ Synopsis

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 of 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.

📜 SIMILAR VOLUMES

The complexity of belief update

✍ Paolo Liberatore 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 377 KB

The complexity of model checking for cir

The complexity of model checking for circumscriptive formulae

✍ Marco Cadoli 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 556 KB

The Power of Zero, Revised and Updated

✍ David McKnight; Ed Slott 📂 Fiction 📅 2018 🏛 The Crown Publishing Group 🌐 en-US ⚖ 647 KB 👁 2 views

****An updated edition of the self-published book that sold more than 100,000 copies, with a new chapter on the 2017 tax bill.** **There's a massive freight train bearing down on the average American investor, and it's coming in the form of higher taxes.**** The United States Government has mad

And a Bottle of Rum, Revised and Updated

✍ Wayne Curtis 📂 Fiction 📅 2018 🏛 Crown/Archetype 🌐 en-US ⚖ 256 KB 👁 3 views

**Now revised, updated, and with new recipes, *And a Bottle of Rum* tells the raucously entertaining story of this most American of liquors** From the grog sailors drank on the high seas in the 1700s to the mojitos of Havana bar hoppers, spirits and cocktail columnist Wayne Curtis offers a history

Documents and the communication of scien

Documents and the communication of scientific and scholarly information: Revising and updating the UNISIST model

✍ Trine Fjordback Søndergaard; Jack Andersen; Birger Hjørland 📂 Article 📅 2005 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 95 KB

With this poster we would like to propose a revision and update of the UNISIST-model of scientific and technical communication published in 197 1 (UNISIST, 197 1). UNISIST is an Intergovernmental Programme for Co-operation in the Field of Scientific and Technological Information. The UNISIST model w

The Art of Raising a Puppy: Completely Revised and Updated

✍ Monks of New Skete 📂 Fiction 📅 2011 🏛 Little, Brown and Company 🌐 en-ca ⚖ 2 MB 👁 2 views

"For more than thirty years the Monks of New Skete have been among America's most trusted authorities on dog training, canine behavior, and the animal/human bond. In their two now-classic bestsellers, How to be Your Dog's Best Friend and THE ART OF RAISING A PUPPY, the Monks draw on their experience