评价目标前提的逻辑框架

摘要：

多前提决策问题是决策领域中重要的研究内容,其决策质量可反映决策理论研究的成果.在多前提决策中,目标会有多种实现方式,每种实现方式都有相应的实现难度.在多前提决策研究中,定义了目标的条件集,提出了将条件集分解到最简单形式的算法,并证明了算法的输出为目标的极小最简不完备条件集.然后,提出了条件集可信度的概念及其计算方式,利用可信度评估目标的所有极小最简不完备条件集的实现难度,并以此确定实现该目标的最优条件集.最后,给出了评价目标前提的逻辑框架O的形式定义,证明了框架O的可计算性和推理能力,并用逻辑程序Prolog实现了框架O的原型,通过对框架O的原理性实验和具体的工程应用验证了框架O的有效性.

关键词：多前提、最优条件集、可信度、实现难度、评价

所属期刊栏目：39

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60970042

在线出版日期：2012-05-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：235-242