一个MC逻辑及其逻辑程序的语义  

A MULTICONTEXT LOGIC AND ITS SEMANTICS OF LOGIC PROGRAM

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

机构地区：[1]国防科技大学计算机系,长沙410073

出　　处：《计算机应用与软件》1998年第3期1-8,19,共9页Computer Applications and Software

摘　　要：本文定义了一个多context逻辑结构(MCO)。MCO在几个方面推广了传统的一阶逻辑:每个context相关一个理论;context间存在outer关系;引入了模态词ist,公式ist(c,A)表示命题A在context c中为真;每个context可以有关于其内层context的元理论,…等等。我们还讨论了MCO逻辑程序的MCO谓词演算解释和MCO缺省解释。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.

关 键 词：逻辑程序 MC逻辑 语义 人工智能 

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