计算机推理的语义与语法
he Semantic and Grammar of Computer Reasoning
数理逻辑中的经典和非经典逻辑都以研究推理为主要目的，其研究方法是通过两种渠道展开的，即语义推理和语法推理。本文分别对语义推理和语法推理进行了定义和讨论，并且针对其不同的特点，论述了它们与计算机推理之间的关系。在此基础上，以语法推理为基本理论依据，给出了实现推理程序化的一种算法。
In mathematical logic, the main task for the research of the classical and non-classical logic is to study the inference. Typically there are two methods of inference, which are the semantic reasoning and syntactic reasoning. In this paper, the author first gives the definitions of the semantic reasoning and syntactic reasoning, then discusses the properties and relations between them and the inference of computer. At last, an algorithm on mechanical reasoning is shown.
吴尽昭、闫硕
计算技术、计算机技术自动化基础理论
语义推理语法推理真值
ksemantic reasoningsyntactic reasoningtruth value
吴尽昭,闫硕.计算机推理的语义与语法[EB/OL].(2011-06-29)[2025-08-11].http://www.paper.edu.cn/releasepaper/content/201106-477.点此复制
评论