摘要
指出了以形式演绎为基本推理操作的表“形”的“广义的推理科学”的局限性；并提出在我国“太极思维”的基础上建立表“义”的“广义的推理科学”，力图在此基础上建立表“义”的自然论解的计算理论；并将表“形”的和表“义的“广义的推理科学”进行了比较．该文作为自然论解近似推理系统的研究的引言．
This paper first shows the limitation of form-based “Universal reasoning science” in which the basic inference operations are formal deduction. Then the paper establishes semantic-based “Universal reasoning science” that follows “Tie Jie Ideology” system. This paper is the introduction of the research on approximate reasoning of “Tie Jie” semantic-based problem solving.
出处
《中山大学学报论丛》
1996年第6期100-107,共8页
Supplement to the Journal of Sun Yatsen University
关键词
广义的推理科学
表“形”推理
表“义”推理
自然论解
Tie Jie” semantic-based problem solving
universal reasoning science
form-based reasoning
semantic-based reasoning
