关于非单调推理中的择优蕴涵

为解决非单调推理问题,Shoham提出了择优模(preferred model)和择优蕴涵(preferential implication)的概念,本文在Shoham概念的基础上,进一步探讨了择优蕴涵与传统蕴涵的异同,给出了择优蕴涵单调性的两个充要条件,证明了择优蕴涵的单调性与传递性是等价的。

关于择优逻辑单调性的几个结果

本文在Ｓｈｏｈａｍ给出的择优模和择优蕴涵概念的基础上．进一步研究了择优逻辑的单调性．首先，讨论了择优逻辑的若干基本性质，并给出了单调性的一个充要条件；其次，证明了单调性与反证律等价，并给出了单调性的一个更为简洁的充要条件；最后，讨论了解释集合是归纳集时的单调性，证明了单调性与择优蕴涵的退化等价．这些结果，揭示了择优蕴涵、传统蕴涵、单调性、反证律之间的关系．

产品配置器的设计

针对大批量定制中的产品配置问题,提出一种参数化产品结构模型,采用UML分析设计产品配置,实现了产品配置系统.该系统能建立多种类型产品的通用建模与配置求解,并可以在冲突无解时给出合理解释与提示.该系统还具有给用户提供产品模型元素的发布与收回功能,从而可以动态生成新的配置界面,以满足用户个性化需求.