A model for belief revision
From MaRDI portal
Publication:1104127
DOI10.1016/0004-3702(88)90031-8zbMath0646.68109MaRDI QIDQ1104127
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
knowledge bases; contradictions; truth maintenance systems; reason maintenance systems; belief revision systems
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
European Summer Meeting of the Association for Symbolic Logic, Most general first order theorems are not recursively enumerable, A general framework for reason maintenance, 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, Reaching agreements through argumentation: a logical model and implementation, Logic of agreement: Foundations, semantic system and proof theory, Unnamed Item