提出一种基于PROLOG扩充不确定性处理能力的逻辑程序设计语言EXLOGL，并介绍了该语言解释系统的总体结构、知识库设计及演绎求解原理。
A logic programming language EXLOGL based on extended PROLOG is proposed and its interpreting system architecture, knowledge base structure and deductive solution principle are discussed.
这一概念的演绎有效性可以说严格的系统的形式逻辑而言，良好的理解概念的语义。
Thenotion of deductive validity can be rigorously stated for systems offormal logic in terms of the well-understood notions of semantics.
通常，几何定理的证明是依据公理系统，按一定的逻辑规则演绎地进行。
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
主要采用了文献研究、内容分析、逻辑推理、归纳演绎和系统建模等研究方法。
The main research methods include use of literature research, content analysis, logical reasoning and system modeling.
它的本质在于用形式逻辑的方法处理辩证逻辑问题。本文指出逻辑循环和所谓“逆演绎”在建立公理系统中的合理性。
The paper points to the justification of the logic cycle and so called "anti-deduction" in the establishment of a axiomatical system.
它的本质在于用形式逻辑的方法处理辩证逻辑问题。本文指出逻辑循环和所谓“逆演绎”在建立公理系统中的合理性。
The paper points to the justification of the logic cycle and so called "anti-deduction" in the establishment of a axiomatical system.
应用推荐