科学发现中认识过程的强相关逻辑模型

程京德

这是本人十几年前的一篇论文，存放在此，以方便听课学生和有兴趣者获取。

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

为科学发现中的认识过程建立一个合理的模型对于科学发现过程自动化来说是不可或缺的一步。本文首先陈述了对科学发现过程及其自动化的一些重要的基本观察和假设。基于这些观察和假设，本文展示了为什么古典数理逻辑、其各种古典保存扩张、以及传统（弱）相关逻辑都不能令人满意地作为科学发现中认知过程的逻辑基础，然后提出了科学发现中认识过程的强相关逻辑模型。并且还提出了一种基于认知过程强相关逻辑模型的新型程序设计范式，称为“认识程序设计”。

J. Cheng, “A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery,” in E. Kawaguchi, H. Kangassalo, H. Jaakkola, and I. A. Hamid (Eds.), “Information Modelling and Knowledge Bases XI,” Frontiers in Artificial Intelligence and Applications, Vol. 61, pp. 136-159, IOS Press, February 2000.

Abstract: "Modeling epistemic processes in scientific discovery satisfactorily is an indispensable step to automating scientific discovery processes.  This paper presents some significant fundamental observations and assumptions on scientific discovery processes and their automation at first.  Based on the observations and assumptions, the paper shows why classical mathematical logic, its various classical conservative extensions, and traditional (weak) relevant logics cannot satisfactorily underlie epistemic processes in scientific discovery, and then presents a strong relevant logic model of epistemic processes in scientific discovery.  A novel program paradigm, named ‘Epistemic Programming’, based on the strong relevant logic model of epistemic processes is also presented."  

PDF: EP_EJC-IMKB99-IOS-FAIA61_2000.pdf