一种基于逻辑的冲突分析表示形式及其应用

摘要

cqvip:本文通过考察冲突问题模型的多种表达形式,为冲突分析技术引入了一种基于谓词逻辑的表示形式。文中不仅论证了逻辑形式相对于其他已有形式的长处,而且,采用实例和一个样本程序说明了逻辑形式在冲突分析过程中的应用。更进一步,文中以所给程序为例,探讨了在其基础上,扩充决策支持系统的可能,以及当前主要采用的F—H方法中在偏好表示上所存在的不足,并由此提出两种改进方案。