| 有限语言下占先模型的赋值结构 |
| |
| 引用本文： | 朱朝晖,李斌.有限语言下占先模型的赋值结构[J].南京航空航天大学学报,2001,33(3):292-295. |
| |
| 作者姓名： | 朱朝晖 李斌 |
| |
| 作者单位： | 南京航空航天大学信息科学与技术学院 |
| |
| 基金项目： | 国家自然科学基金 (编号 :69875 0 0 7)，江苏省自然科学基金 (编号 :BK991 1 9)资助项目 |
| |
| 摘 要： | 占先语义是知识表示与推理中应用最广的语义结构，它有多种定义方式，其中以S.Kraus,D.Lehmann及M.Magidor提出的KLM占先结构最为著名。但是对KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下，对一般KLM占先模型的赋值结构性质进行了研究，给出了占先模型与其赋值结构逻辑等价的充分必要条件，证明了有限语言框加下，逻辑等价的单射模型在同构意义下的唯一性。这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。
|
| 关 键 词： | 占先语义 非单调逻辑 赋值结构 有限语言 模型 人工智能 |
| 文章编号： | 1005-2615(2001)03-0292-04 |
| 修稿时间： | 2000年8月29日 |
Valuation Structure in Finite Language |
| |
| Zhu Zhaohui Li Bin College of Information Science and Technology,Nanjing University of Aeronautics & Astronautics Nanjng ,P.R.China.Valuation Structure in Finite Language[J].Journal of Nanjing University of Aeronautics & Astronautics,2001,33(3):292-295. |
| |
| Authors: | Zhu Zhaohui Li Bin College of Information Science and Technology Nanjing University of Aeronautics & Astronautics Nanjng PRChina |
| |
| Institution: | Zhu Zhaohui Li Bin College of Information Science and Technology,Nanjing University of Aeronautics & Astronautics Nanjng 210016,P.R.China |
| |
| Abstract: | |
| |
| Keywords: | preferential semantic nonmonotonic logic valuation structure finite language |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
