计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
3期
235-242
,共8页
夏兰亭%韩道军%边芮%李磊
夏蘭亭%韓道軍%邊芮%李磊
하란정%한도군%변예%리뢰
多前提%最优条件集%可信度%实现难度%评价
多前提%最優條件集%可信度%實現難度%評價
다전제%최우조건집%가신도%실현난도%평개
多前提决策问题是决策领域中重要的研究内容,其决策质量可反映决策理论研究的成果.在多前提决策中,目标会有多种实现方式,每种实现方式都有相应的实现难度.在多前提决策研究中,定义了目标的条件集,提出了将条件集分解到最简单形式的算法,并证明了算法的输出为目标的极小最简不完备条件集.然后,提出了条件集可信度的概念及其计算方式,利用可信度评估目标的所有极小最简不完备条件集的实现难度,并以此确定实现该目标的最优条件集.最后,给出了评价目标前提的逻辑框架O的形式定义,证明了框架O的可计算性和推理能力,并用逻辑程序Prolog实现了框架O的原型,通过对框架O的原理性实验和具体的工程应用验证了框架O的有效性.
多前提決策問題是決策領域中重要的研究內容,其決策質量可反映決策理論研究的成果.在多前提決策中,目標會有多種實現方式,每種實現方式都有相應的實現難度.在多前提決策研究中,定義瞭目標的條件集,提齣瞭將條件集分解到最簡單形式的算法,併證明瞭算法的輸齣為目標的極小最簡不完備條件集.然後,提齣瞭條件集可信度的概唸及其計算方式,利用可信度評估目標的所有極小最簡不完備條件集的實現難度,併以此確定實現該目標的最優條件集.最後,給齣瞭評價目標前提的邏輯框架O的形式定義,證明瞭框架O的可計算性和推理能力,併用邏輯程序Prolog實現瞭框架O的原型,通過對框架O的原理性實驗和具體的工程應用驗證瞭框架O的有效性.
다전제결책문제시결책영역중중요적연구내용,기결책질량가반영결책이론연구적성과.재다전제결책중,목표회유다충실현방식,매충실현방식도유상응적실현난도.재다전제결책연구중,정의료목표적조건집,제출료장조건집분해도최간단형식적산법,병증명료산법적수출위목표적겁소최간불완비조건집.연후,제출료조건집가신도적개념급기계산방식,이용가신도평고목표적소유겁소최간불완비조건집적실현난도,병이차학정실현해목표적최우조건집.최후,급출료평개목표전제적라집광가O적형식정의,증명료광가O적가계산성화추리능력,병용라집정서Prolog실현료광가O적원형,통과대광가O적원이성실험화구체적공정응용험증료광가O적유효성.
