有限语言下占先模型的赋值结构

• 作者: 朱朝晖 李斌
• 来源期刊: 南京航空航天大学学报
• 学科: 工学
• 关键词: 占先语义 非单调逻辑 赋值结构 有限语言
• 年，卷（期）: 2001,（3）
• 页码范围: 292-295
• 页数: 4页
• 分类号: TP18
• 字数: 3944字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-2615.2001.03.019

摘要

占先语义是知识表示与推理中应用最广的语义结构，它有多种定义方式，其中以S.Kraus, D.Lehmann及M.Magidor提出的KLM占先结构最为著名。但是对KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下，对一般KLM占先模型的赋值结构性质进行了研究，给出了占先模型与其赋值结构逻辑等价的充分必要条件，证明了有限语言框架下，逻辑等价的单射模型在同构意义下的唯一性。这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李斌	南京航空航天大学信息科学与技术学院	22	464	9.0	21.0
2	朱朝晖	南京航空航天大学信息科学与技术学院	11	19	3.0	4.0