%0 Journal Article
%T Logical Framework for Evaluation of Multiple-premise<br>评价目标前提的逻辑框架
%A XIA Lan-ting
%A HAN Dao-jun
%A BIAN Rui
%A LI Lei
%A <br>夏兰亭
%A 韩道军
%A 边苗
%A 李磊
%J 计算机科学
%D 2012
%I 
%X 多前提决策问题是决策领域中重要的研究内容,其决策质量可反映决策理论研究的成果。在多前提决策中,目标会有多种实现方式,每种实现方式都有相应的实现难度。在多前提决策研究中,定义了目标的条件集,提出了将条件集分解到最简单形式的算法,并证明了算法的输出为目标的极小最简不完备条件集。然后,提出了条件集可信度的概念及其计算方式,利用可信度评估目标的所有极小最简不完备条件集的实现难度,并以此确定实现该目标的最优条件集。最后,给出了评价目标前提的逻辑框架O的形式定义,证明了框架O的可计算性和推理能力,并用逻辑程序Prolog实现了框架O的原型,通过对框架O的原理性实验和具体的工程应用验证了框架O的有效性。
%K Multi-premise
%K Optimal premise set
%K Credibility
%K Difficulty of premise set
%K Evaluation<br>多前提
%K 最优条件集
%K 可信度
%K 实现难度
%K 评价
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=D5B7C4A24E11D7BA6B682488FBCFA9D2&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=38B194292C032A66&sid=FBCA02DBD05BD4EA&eid=B78CD622C1934236&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0