基于缺省理论演绎的规则型T-R程序生成系统  

THE SYSTEM OF T-R PROGRAM GENERATING OF RULE TYPE BASED ON DEFAULT THEORY DEDUCTION

作　　者：郑朝华 彭桂芸 刘清 

机构地区：[1]广州金融电子化公司 [2]中国对外贸易中心 [3]南昌大学计算机科学工程系

出　　处：《小型微型计算机系统》1997年第11期19-26,共8页Journal of Chinese Computer Systems

基　　金：国家自然科学基金

摘　　要：本文建立了基于缺省理论的时态逻辑公式演绎系统。演绎过程除了使用一阶逻辑理论外，还采用了缺省推理来处理用户说明以及系统中知识不完全的问题。这种演绎系统演绎公式的过程也就是程序生成的过程，只要被演绎的公式序列能描述待生成的程序即可。This paper builds the Deductive System of Temporal Logical formulas in default theory. In addotion to the theory of first-order logic, the default reasoning is adopted in the deduction in order to handle the incomplete the specification of the user and the incomplete knowledge in the knowledge-base. The deductive procedure of the formulas is of T-R program generaring, as long as the series of formulas deduced can describe a program to wait for generating.

关 键 词：缺省理论 演绎系统 T-R程序 程序设计 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]