摘要
定义了一类新的易处理理论:s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译方法不同的是,它可以对多值知识库进行编译.经过多值编译后,任意查询都可以在多项式时间内得到应答.
In this paper,a new class of tractable theories are defines：s-EPCCL theories.Using s-EPCCL theories as a target language,a method for multiple-valued knowledge compilation is Proposed.Different from the existing knowledge compilation,the proposed method is used to compile on multiple-valued knowledge base.With the compilation method,any query on the multiple-valued knowledge theories can be answered in polynomial time in the size of the compiled knowledge base.
出处
《东北师大学报（自然科学版）》
CAS
CSCD
北大核心
2011年第4期44-48,共5页
Journal of Northeast Normal University(Natural Science Edition)
基金
国家自然科学基金资助项目(60803102
61070084
60573067)
浙江省教育厅科研计划项目(Y200908315)
关键词
多值逻辑
知识编译
标记逻辑
EPCCL
multiple-valued logic
knowledge compilation
signed logic
EPCCL
