A Demand-Driven Algorithm for Generating Minimal Models

The task of generating minimal models of a knowledge base is a significant computational problem in artificial intelligence. This task is at the computational heart of diagnosis systems like truth maintenance systems, and of nonmonotonic systems like autoepistemic logic, default logic, and disjunctive logic programs. Unfortunately, it is NP-hard. In this paper we present a hierarchy of classes of knowledge bases,

• Type: Conference
• Year: 2000
• Where: AAAI
• Authors: Rachel Ben-Eliyahu-Zohary
• Keywords: AAAI 2000, Intelligent Agents, Knowledge Base, Minimal Models, Significant Computational Problem