-
题名单可表示类的特征
被引量：1
- 1
-
-
作者
朱朝晖
李斌
陈世福
朱梧檟
-
机构
南京航空航天大学计算机科学研究所
南京大学计算机软件国家重点实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
2001年第6期568-573,共6页
-
基金
国家自然科学基金!(6 9875 0 0 7)
江苏省自然科学基金! (BK99119)资助
-
文摘
择优模型是目前常识推理领域中最常用的语义结构之一 .在择优模型中有一类重要的模型——单射择优模型 ,近年来 ,众多的学者对该模型类从各种角度进行了研究 ,但一个重要而基本的问题 ,即何种类型的择优后承具有单射择优模型 ,虽经多位学者的研究到现在仍然悬而未解 .目前 ,最好的结果是 Freund在有限语言限制下证明了“择优后承具有单射择优模型当且仅当它满足弱析取合理性”.文中提出择优模型的一种转换 ,将此转换应用于 Kraus,L ehm an及 Magidor提出的 KL M模型上 ,在一般语言框架下证明了“满足弱析取合理性的择优后承必具有单射择优模型”。
-
关键词
择优后承
择优模型
表示定理
人工智能
常识推理
单可表示类
-
Keywords
Artificial intelligence
Mathematical models
Semantics
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
