| 一个MC逻辑及其逻辑程序的语义 |
| |
| 引用本文： | 刘海燕.一个MC逻辑及其逻辑程序的语义[J].计算机应用与软件,1998(3):1-8,19. |
| |
| 作者姓名： | 刘海燕 |
| |
| 作者单位： | 国防科技大学计算机系，国防科技大学计算机系，国防科技大学计算机系 长沙 410073，长沙 410073，长沙 410073 |
| |
| 摘 要： | 本文定义了一个多ｃｏｎｔｅｘｔ逻辑结构。ＭＣＯ在几个方面推广了传统的一阶逻辑：每个ｃｏｎｔｅｘｔ相关一个理论；Ｃｏｎｔｅｘｔ间存在ｏｕｔｅｒ关系；
|
| 关 键 词： | 逻辑程序 MC逻辑 语义 人工智能 |
A MULTICONTEXT LOGIC AND ITS SEMANTICS OF LOGIC PROGRAM |
| |
| Liu Haiyan Chen Huowang Liu Fengqi.A MULTICONTEXT LOGIC AND ITS SEMANTICS OF LOGIC PROGRAM[J].Computer Applications and Software,1998(3):1-8,19. |
| |
| Authors: | Liu Haiyan Chen Huowang Liu Fengqi |
| |
| Abstract: | A multicontext logic MCO is defined in this paper. MCO extends first - order traditional logic in several ways:each context is associated with a certain theory, there is outer relations in the set of contexts;a modality ist is introduced into MCO, the intuitive meaning of formula ist(c, A)is that proposition A is true in context c;Each context can have meta- theories about its inner contexts,...etc.Further, MCO predicate calculus interpretation and MCO default interpretation of MCO logic program are discussed. |
| |
| Keywords: | Context lifting logic program default |
| 本文献已被 CNKI 维普 等数据库收录！ |
