一个多理论的逻辑系统  

A MULTIPLE-THEORY LOGIC SYSTEM

作　　者：刘海燕[1] 陈火旺[1] 刘凤岐[1] 

机构地区：[1]国防科学技术大学计算机系

出　　处：《计算机研究与发展》1998年第1期53-57,共5页Journal of Computer Research and Development

基　　金：国家自然科学基金;"863-306"主题

摘　　要：文中为多理论系统建立了一个层次的理论框架——ＭＴ．ＭＴ在几个方面推广了传统的二型一阶谓词演算：允许表示多个理论，每个理论都在一个ｃｏｎｔｅｘｔ内声明；每个ｃｏｎｔｅｘｔ可以有关于其下层ｃｏｎｔｅｘｔ的元理论，而ｃｏｎｔｅｘｔ自身又作为其上层ｃｏｎｔｅｘｔ的一个个体常元．A hierarchical logical framework, MT, is defined, which is suited for representing and reasoning with multiple theories. MT extends classical two sort predicate calculus in several ways: Allowing to represent multiple theories, each theory is stated in a context; Each context can have meta theories for the contexts under it, and itself is a constant of the contexts above it, etc..

关 键 词：逻辑系统 推理系统 多理论系统 知识库 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]