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

• 作 者: 朱朝晖 李斌
• 机 构: 南京航空航天大学信息科学与技术学院
• 出 处: 南京航空航天大学学报
• 发表日期: 2001年3期
• 关键词: 占先语义 非单调逻辑 赋值结构 有限语言 模型 人工智能 preferential semantic nonmonotonic logic valuation
• 基金项目: 国家自然科学基金，江苏省自然科学基金

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