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, 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