Experimenting with Nonmonotonic Reasoning

In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theories and logic programs. It has an identi cation system for generated theories, which allows us to reconstruct a logic program or a default theory from its identi er. Hence, exchanging test cases requires only exchanging identi ers. TheoryBase can generate a large variety of examples of default theories and logic programs. We believe that its universal adoption may signi cantly advance experimental studies of nonmonotonic reasoning systems.

• Type: Conference
• Year: 1995
• Where: ICLP
• Authors: Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski
• Keywords: Automated Reasoning, Default Theories, ICLP 1995, Logic Programs, Nonmonotonic Reasoning Systems