EnCal: an automated forward deduction system for general-purpose entailment calculus
EnCal: an automated forward deduction system for general-purpose entailment calculus
复制标题
EnCal：通用蕴涵微积分的自动前推系统
DOI：
10.1007/978-0-387-34979-4_56
复制
发表时间：
1996
影响因子：
22.7
通讯作者：
Jingde Cheng
中科院分区：
文献类型：
--
作者：
Jingde Cheng
本文介绍了一个通用蕴涵演算自动正向演绎系统EnCal的基本设计思想、工作原理和实现方法，展示了它在知识获取、推理规则生成和定理发现等方面的潜在应用，报道了我们目前使用EnCal进行实验的一些结果，并提出了一些重要的研究问题。
This paper presents the fundamental design ideas, working principles, and implementation of an automated forward deduction system for general-purpose entailment calculus, named EnCal, shows its potential applications in knowledge acquisition, reasoning rule generation, and theorem finding, reports some current results of our experiments with EnCal, and suggests some important research problems.