T-R程序及其实现的实例

讨论了Ｔ－Ｒ程序，并提出了一种用电路实现Ｔ－Ｒ程序的方法，举例说明了Ｔ－Ｒ程序在一液面控制系统中的应用及其实现。最后，介绍了Ｔ－Ｒ程序的意义和前景。

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

本文建立了基于缺省理论的时态逻辑公式演绎系统。演绎过程除了使用一阶逻辑理论外，还采用了缺省推理来处理用户说明以及系统中知识不完全的问题。这种演绎系统演绎公式的过程也就是程序生成的过程，只要被演绎的公式序列能描述待生成的程序即可。