单可表示类的特征

• 作者: 朱朝晖 朱梧 李斌
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 择优后承 择优模型 表示定理
• 年，卷（期）: 2001,（6）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 568-573
• 页数: 6页
• 分类号: TP18
• 字数: 6431字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2001.06.002

摘要

择优模型是目前常识推理领域中最常用的语义结构之一.在择优模型中有一类重要的模型——单射择优模型，近年来，众多的学者对该模型类从各种角度进行了研究，但一个重要而基本的问题，即何种类型的择优后承具有单射择优模型，虽经多位学者的研究到现在仍然悬而未解.目前，最好的结果是Freund在有限语言限制下证明了“择优后承具有单射择优模型当且仅当它满足弱析取合理性”.文中提出择优模型的一种转换，将此转换应用于Kraus,Lehman及Magidor提出的KLM模型上，在一般语言框架下证明了“满足弱析取合理性的择优后承必具有单射择优模型”，从而将该问题的研究推进了一步.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李斌	南京航空航天大学计算机科学研究所	22	464	9.0	21.0
2	朱朝晖	南京航空航天大学计算机科学研究所	11	19	3.0	4.0
3	朱梧	南京航空航天大学计算机科学研究所	2	6	1.0	2.0