Truth maintenance systems and their application for verifying expert system knowledge bases

DOI10.1007/BF00155580zbMath0754.68116OpenAlexW2000606532WikidataQ56050272 ScholiaQ56050272MaRDI QIDQ1193853

Neli P. Zlatareva

Publication date: 27 September 1992

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

Full work available at URL: https://doi.org/10.1007/bf00155580

zbMATH Keywords

belief revisionknowledge-based systemsnon-monotonic reasoningexpert systems designverification of rule-based systems

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items

Refinement of uncertain rule bases via reduction

Uses Software

• CENPARMI

Cites Work

• A model for belief revision
• A rational reconstruction of nonmonotonic truth maintenance systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item