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