The Comparison of Extensional Approach and Intensional Approach When Tackling Uncertainty
处理不确定性的外延方法和内涵方法的比较

1.引言从语义的角度分类,研究不确定性的方法分为两种:外延方法和内涵方法。前者也称为产生式系统、基于规则的系统、基于过程的系统。MYCIN,PROSPEC-TOR是典型的外延方法。外延方法把不确定性作为一般化(generalized)的真值附着在公式上,依照传统的经典逻辑,任何公式的不确定性都是其子公式不确定性的函数,因此公式间的联系就是选择合适的组合函数。例如,合取式A∧B的不确定性值是A的不确定性值和B的不确定性值的函数,如min函数。内涵方法也称为陈述系统(declarative system)或基于模型的系统。不确定性附着于事件的状态集或可能世界的子集,子集间的联系通过集合上的操作完成。例如,p(A∧B)是包含A为真和B为真的可能世界子集的概率值,不能从个体概率p(A)和p(B)中得出。外延方法和内涵方法的优缺点针锋相对,外延方法计算简便,但语义不系统(sloppy);内涵方法语义清晰,但计算复杂。