✦ LIBER ✦

Default reasoning and belief revision: A syntax-independent approach

✍ Scribed by Dongmo Zhang; Zhaohui Zhu; Shifu Chen

Publisher: Springer
Year: 2000
Tongue: English
Weight: 577 KB
Volume: 15
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02950406

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Explanations, belief revision and defeas

Explanations, belief revision and defeasible reasoning

✍ Marcelo A. Falappa; Gabriele Kern-Isberner; Guillermo R. Simari 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 215 KB

We present different constructions for nonprioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept of explanation in a deductive way. Second, we define multiple revision operators with respect to sets of sentences (repre

Reasoning tractably about explicit belie

Reasoning tractably about explicit belief: A model-theoretic approach

✍ Kwang Mong Sim 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 273 KB 👁 2 views

Existing epistemic logics such as the logic of implicit and explicit belief and the logic of awareness adopt a deducti¨e-theoretic approach for characterizing belief. In this approach, an agent represents the state of the world with a conjunction of axioms in its knowledge Ž . base KB and evaluates