“通用自动前推机”  EnCal 和 FreeEnCal 之原始创新论文

程京德

这是本人 1996 年和 2007 年的两篇论文，开创了“通用自动前推机”这一新研究方向，是笔者研究室在这一研究方向上所有工作的初始基础。现将两篇论文存放于此，一方面留作保存记录，另一方面提供给听课学生和有兴趣者获取。

顺便把论文概要翻译为中文如下：

EnCal 论文： “本文介绍了名为 “EnCal” 的通用归结演算自动前向演绎系统的基本设计思想、工作原理和实现，展示了其在知识获取、推理规则生成和定理发现中的潜在应用，报告了我们使用 EnCal 的一些当前实验结果，并且提出了一些重要的研究问题。”

J. Cheng, “EnCal: An Automated Forward Deduction System for General-Purpose Entailment Calculus,” in N. Terashima and E. Altman (Eds.), “Advanced IT Tools, IFIP World Conference on IT Tools, 2-6 September 1996, Canberra, Australia, IFIP '96 - 14th World Computer Congress,” pp. 507-514, Chapman & Hall, September 1996.

Abstract：“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.”

PDF: EnCal_IFIP96.pdf

FreeEnCal 论文： “前推机是许多以创造、发现或预测为目的的、先进的基于知识的系统中不可或缺的组件。本文展示一个名为 “FreeEnCal” 的通用的前推机，它可以解释和执行其用户定义和给出的推理规则，导出被形式化为不同形式系统的各种经典或非经典逻辑系统的片段，导出基于各种逻辑系统构建的各种形式理论的经验定理，并自动执行演绎、归纳和假说生成推理。 FreeEnCal 可以用作现成的前推机，作为各种先进的基于知识的系统的核心和基础组件，以及可以用作具有通用性的单独的前推机。本文介绍了我们设计和实现 FreeEnCal 的基本思想、FreeEnCal 提供的功能、以及 FreeEnCal 的一些应用。”

J. Cheng, Shinsuke Nara, and Yuichi Goto, “FreeEnCal: A Forward Reasoning Engine with General-Purpose,” in B. Apolloni, R. J. Howlett, and L. C. Jain (Eds.), “Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, Proceedings, Part II,” Lecture Notes in Artificial Intelligence, Vol. 4693, pp. 444-452, Springer, September 2007.

Abstract：“A forward reasoning engine is an indispensable component in many advanced knowledge-based systems with purposes of creation, discovery, or prediction.  This paper presents a forward reasoning engine with general-purpose, named “FreeEnCal”, which can interpret and perform inference rules defined and given by its users, draw fragments of various classical and/or non-classical logic systems formalized as different formal systems, draw empirical theorems of various formal theories constructed based on various logic systems, and perform deductive, inductive, and abductive reasoning automatically.  FreeEnCal can be used as a ready-made forward reasoning engine serving as a core and fundamental component in various advanced knowledge-based systems as well as an alone forward reasoning engine with general-purpose. The paper presents our basic ideas to design and implement FreeEnCal, facilities provided by FreeEnCal, and some applications of FreeEnCal.”

PDF: FreeEnCal_KES07LNAI4693.pdf