%0 Journal Article
%T Possibilistic Extension Rules for Reasoning and Knowledge Compilation<br>可能性扩展规则的推理和知识编译
%A YIN Ming-Hao
%A SUN Ji-Gui
%A LIN Hai
%A WU Xia
%A <br>殷明浩
%A 孙吉贵
%A 林海
%A 吴瑕
%J 软件学报
%D 2010
%I 
%X First, the possibilistic extension, a possible manifestation of the extention rule, is proposed. A reasoning mechanic in possibilistic logic, using the possibilistic extension rule, is then introduced, using the concept of the complementary factor to estimate its complexity. The definitions of entailment tractable and satisfiability tractable are extended to introduce the concepts of possibilistic entailment tractable and consistent-computing tractable. Based on possibilistic extension rules, EPPCCCL (each pair of possibilistic clauses contains complementary literals) theory is introduced, which is proved to be possibilistic entailment tractable and consistent-computing tractable; therefore, the theory can be regarded as a target language of possibilistic knowledge compilation.
%K extension rule
%K possibilistic logic
%K knowledge compilation
%K EPPCCCL (each pair of possibilistic clauses contains complementary literals) theory<br>扩展规则
%K 可能性逻辑
%K 知识编译
%K EPPCCCL(each
%K pair
%K of
%K possibilistic
%K clauses
%K contains
%K complementary
%K literals)理论
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=E70FCA5250730574C64475CA03D974C7&yid=140ECF96957D60B2&vid=659D3B06EBF534A7&iid=708DD6B15D2464E8&sid=F9510B5449D4E7A0&eid=A66F9C7240EBF5BE&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=17