给出了相干命题逻辑自然推理系统NR的自动证明算法。
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
通过使用抽象和逻辑推理，数学从计数，计算，测量和系统的研究自然对象的形状和运动演进而来。
Through the use of abstraction and logical reasoning, mathematics evolved from counting, calculation, measurement, and the systematic study of the shapes and motions of physical objects.
产生式系统是人工智能系统中最典型的一种基本结构，是人工智能系统中最自然的知识表示及推理的方法。
Production system is the most typical basic structure and the most natural method for knowledge showing and ratiocinating in artificial intelligence system.
应用推荐