定义了一类新的易处理理论: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.