A Theorem Prover for Prioritized Circumscription

A Theorem Prover for Prioritized Circumscription
复制标题

优先限制的定理证明

DOI：
--
复制
发表时间：
1989
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
--
通讯作者：
M. Ginsberg
M. Ginsberg
中科院分区：
--
文献类型：
--
作者：
A. B. Baker;M. Ginsberg

文献摘要

被引文献

相似文献

在最近的一篇论文中，Ginsberg展示了如何使用后向链ATMS来构造限制定理证明器。在这里，这项工作被扩展到处理优先级限制。所描述的思想已经实现，并给出了系统的使用实例。
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized circumscription. The ideas to be described have been implemented, and examples are given of the system in use.