作者：夏兰亭 韩道军 边芮 李磊多前提最优条件集可信度实现难度评价
摘要：多前提决策问题是决策领域中重要的研究内容，其决策质量可反映决策理论研究的成果。在多前提决策中，目标会有多种实现方式，每种实现方式都有相应的实现难度。在多前提决策研究中，定义了目标的条件集，提出了将条件集分解到最简单形式的算法，并证明了算法的输出为目标的极小最简不完备条件集。然后，提出了条件集可信度的概念及其计算方式，利用可信度评估目标的所有极小最简不完备条件集的实现难度，并以此确定实现该目标的最优条件集。最后，给出了评价目标前提的逻辑框架O的形式定义，证明了框架O的可计算性和推理能力，并用逻辑程序Prolog实现了框架O的原型，通过对框架O的原理性实验和具体的工程应用验证了框架O的有效性。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
