| 引用本文: | 刘海燕,陈火旺,王兵山.一个多层的 context 逻辑.[J].国防科技大学学报,1996,18(3):109-114.[点击复制] |
| Liu Haiyan,Chen Huowang,Wang Bingshan.A Multilevel Context Logic[J].Journal of National University of Defense Technology,1996,18(3):109-114[点击复制] |
|
| |
|
|
| 本文已被：浏览 5717次 下载 6126次 |
| 一个多层的 context 逻辑 |
| 刘海燕, 陈火旺, 王兵山 |
|
(国防科技大学 计算机系 湖南 长沙 410073)
|
| 摘要: |
| 本文介绍了 context 研究的现状，定义了一个新的 context 逻辑 CL，定义并证明了与之相关的一些概念和定理。 |
| 关键词: 人工智能 (AI)，context，移动规则，元理论 |
| DOI： |
| 投稿日期：1996-01-12 |
| 基金项目: |
|
| A Multilevel Context Logic |
| Liu Haiyan, Chen Huowang, Wang Bingshan |
|
(Department of Computer Science，NUDT，Changsha，410073)
|
| Abstract: |
| In this paper，the current state of researches on context is briefly introduced，a new Logic of Context，CL，is defined，some of its definitions and theorems are also provided. |
| Keywords: Artificial Intelligence (AI),context,lifting rules,meta-theory |
|
|
