| 摘要: |
| 本文定义了一个新的context逻辑——QLC（quantificationallogicofcontext），它能反映context的更多的逻辑性质．文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理，并引入了McCarthy的限制理论. |
| 关键词: context 人工智能 多类逻辑 非单调推理 限制理论 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家863高科技项目基金资助. |
|
| A QUANTIFICATIONAL LOGIC OF CONTEXT AND ITS CIRCUMSCRIPTION THEORY |
|
LIU Haiyan,CHEN Huowang,WANG Bingshan
|
| Abstract: |
| A new QLC(quantificational logic of context), is defined in this paper, which embodies more logical properties of context. Then cases when QLC has equality and when domain-specific axioms are stated in different context sequences are discussed, McCarthy s circumseription theory is also introduced into QLC. |
| Key words: Context artificial intelligence many-sorted logic nonmonotonic reasoning circumscription theory |
