引用本文: | 刘海燕,陈火旺,王兵山.一个多层的 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[点击复制] |
|
|
|
本文已被:浏览 5332次 下载 5523次 |
一个多层的 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 |
|
|