软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2010年
11期
2826-2837
,共12页
殷明浩%孙吉贵%林海%吴瑕
慇明浩%孫吉貴%林海%吳瑕
은명호%손길귀%림해%오하
扩展规则%可能性逻辑%知识编译%EPPCCCL(each pair of possibilistic clauses contains complementary literals)理论
擴展規則%可能性邏輯%知識編譯%EPPCCCL(each pair of possibilistic clauses contains complementary literals)理論
확전규칙%가능성라집%지식편역%EPPCCCL(each pair of possibilistic clauses contains complementary literals)이론
在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复杂度.扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义,提出了可能性蕴含可控制类、不一致性程度计算可控制类的概念.在可能性扩展规则的基础上提出了EPPCCCL(each pair of possibilistic clauses contains complementary literals)理论,并证明了该理论是在最优化形式蕴含可控制类和不一致性程度计算可控制类中的,可以作为可能性知识编译的目标语言.
在擴展規則的基礎上提齣瞭可能性擴展規則.給齣瞭基于可能性擴展規則的可能性邏輯推理方法,利用互補因子的概唸來估價推理問題的複雜度.擴展瞭經典邏輯的蘊含可控製類和可滿足可控製類的定義,提齣瞭可能性蘊含可控製類、不一緻性程度計算可控製類的概唸.在可能性擴展規則的基礎上提齣瞭EPPCCCL(each pair of possibilistic clauses contains complementary literals)理論,併證明瞭該理論是在最優化形式蘊含可控製類和不一緻性程度計算可控製類中的,可以作為可能性知識編譯的目標語言.
재확전규칙적기출상제출료가능성확전규칙.급출료기우가능성확전규칙적가능성라집추리방법,이용호보인자적개념래고개추리문제적복잡도.확전료경전라집적온함가공제류화가만족가공제류적정의,제출료가능성온함가공제류、불일치성정도계산가공제류적개념.재가능성확전규칙적기출상제출료EPPCCCL(each pair of possibilistic clauses contains complementary literals)이론,병증명료해이론시재최우화형식온함가공제류화불일치성정도계산가공제류중적,가이작위가능성지식편역적목표어언.
