A model for belief revision

DOI10.1016/0004-3702(88)90031-8zbMath0646.68109OpenAlexW1967756796MaRDI QIDQ1104127

B. George

Publication date: 1988

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(88)90031-8

zbMATH Keywords

knowledge basescontradictionstruth maintenance systemsreason maintenance systemsbelief revision systems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (19)

European Summer Meeting of the Association for Symbolic Logic ⋮ Knowledge-level analysis of belief base operations ⋮ On the logic of theory change iteration of KM-update ⋮ Abstract argumentation systems ⋮ Truth and meaning ⋮ Unnamed Item ⋮ A general framework for reason maintenance ⋮ Most general first order theorems are not recursively enumerable ⋮ The validity of Dempster-Shafer belief functions ⋮ Resolving ambiguity in nonmonotonic inheritance hierarchies ⋮ Truth maintenance systems and their application for verifying expert system knowledge bases ⋮ The SNePS family ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ BELIEF REVISION IN NON-CLASSICAL LOGICS ⋮ How minds can be computational systems ⋮ \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions ⋮ Logic of agreement: Foundations, semantic system and proof theory ⋮ Reaching agreements through argumentation: a logical model and implementation ⋮ Pathology of collective doxa. Automata models

Cites Work

• Extended inference modes in reasoning by computer systems
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A model for belief revision