Experimenting with Nonmonotonic Reasoning
Experimenting with Nonmonotonic Reasoning
复制标题
实验非单调推理
DOI：
10.7551/mitpress/4298.003.0033
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
M. Truszczynski
中科院分区：
文献类型：
--
作者：
Pawel Cholewinski;V. Marek;A. Mikitiuk;M. Truszczynski
在本文中，我们描述了一个系统，称为TheoryBase，其目标是促进非单调推理系统的实验研究。TheoryBase生成测试缺省理论和逻辑程序。它有一个生成理论的识别系统，允许我们根据其识别符重建逻辑程序或默认理论。因此，交换测试用例只需要交换标识符。TheoryBase可以生成大量默认理论和逻辑程序的例子。我们相信，它的普遍采用可能显着推进非单调推理系统的实验研究。
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 identiication system for generated theories, which allows us to reconstruct a logic program or a default theory from its identiier. Hence, exchanging test cases requires only exchanging identiiers. TheoryBase can generate a large variety of examples of default theories and logic programs. We believe that its universal adoption may signiicantly advance experimental studies of nonmonotonic reasoning systems.