Epistemic Programming System Based on Strong Relevant Logic

1. 我们对科学发现过程及其自动化提出了一些重要的基本观察和假设。基于观察和假设，我们提出了科学发现中认知过程的强相关逻辑模型。基于科学发现中认知过程的强相关逻辑模型，我们提出了一种新的程序范式，称为“认知编程”，它将条件作为计算的主体，将初级认知操作作为计算的基本操作，并将认知过程作为编程的主体。我们指出了为什么经典数学逻辑及其各种经典和非经典保守扩展不适合自动定理发现，并表明强相关逻辑是一个更有希望的候选人。我们开发了一个通用蕴涵演算的前向推理系统，命名为EnCal，它可以作为认知规划系统中的前向推理引擎。我们通过并行处理技术提高了EnCal的效率。提出了自主进化信息系统的概念及其体系结构。我们提出了预期推理-反应系统的概念，并证明了在强相关逻辑中引入时间算子、相关公理图式和推理规则所得到的时间相关逻辑可以作为预期推理的基础。提出了一种新的知识获取方法：基于强相关逻辑的相关推理自动知识获取方法。

1. We proposed some significant fundamental observations and assumptions on scientific discovery processes and their automation. Based on the observations and assumptions, we proposed a strong relevant logic model of epistemic processes in scientific discovery.2. Based on our strong relevant logic model of epistemic processes in scientific discovery, we proposed a novel program paradigm, named 'Epistemic Programming,' which regards conditionals as the subject of computing, takes primary epistemic operations as basic operations of computing, and regards epistemic processes as the subject of programming.3. We pointed out why the classical mathematical logic and its various classical and non-classical conservative extensions are not suitable to automated theorem finding, and shows that strong relevant logic is a more hopeful candidate for the purpose.4. We developed a forward deduction system for general-purpose entailment calculus, named EnCal, which can serve as the forward reasoning engine in an epistemic programming system. We improved the efficiency of EnCal by parallel processing techniques.5. We proposed the notion of autonomous evolutionary information system and its architecture.6. We proposed the notion of anticipatory reasoning-reacting system and showed that temporal relevant logics, which are obtained by introducing temporal operators and related axiom schemata and inference rules into strong relevant logics, can be used to underlie anticipatory reasoning.7. We proposed a new approach to knowledge acquisition problem : automated knowledge acquisition by relevant reasoning based on strong relevant logic.