| 一个多理论的逻辑系统 |
| |
| 引用本文： | 刘海燕,陈火旺.一个多理论的逻辑系统[J].计算机研究与发展,1998,35(1):53-57. |
| |
| 作者姓名： | 刘海燕 陈火旺 |
| |
| 作者单位： | 国防科学技术大学计算机系 |
| |
| 基金项目： | 国家自然科学基金，“863－306”主题 |
| |
| 摘 要： | 文中为多理论系统建立了一个层次的理论框架－ＭＴ．ＭＴ在几个方面推广了传统的二型一阶谓词演算；允许表示多个理论，每个理论都在一个ｃｏｎｔｅｘｔ内声明；每个ｃｏｎｔｅｘｔ可以有关于其下层ｃｏｎｔｅｘｔ的元理论，而ｃｏｎｔｅｘｔ自身又作为其上层ｃｏｎｔｅｘｔ的一个个体常元。
|
| 关 键 词： | 逻辑系统 推理系统 多理论系统 知识库 |
A MULTIPLE-THEORY LOGIC SYSTEM |
| |
| Liu Haiyan,Chen Huowang,and Liu Fengqi.A MULTIPLE-THEORY LOGIC SYSTEM[J].Journal of Computer Research and Development,1998,35(1):53-57. |
| |
| Authors: | Liu Haiyan Chen Huowang and Liu Fengqi |
| |
| Abstract: | 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.. |
| |
| Keywords: | context two-sorted predicate calculus lifting modality |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
