东北师大学报（自然科学版）
東北師大學報（自然科學版）
동북사대학보（자연과학판）
JOURNAL OF NORTHEAST NORMAL UNIVERSITY(NATURAL SCIENCE EDITION)
2011年
4期
44-48
,共5页
谷文祥%郭鸿鹤%殷明浩%王金艳%刘日仙
穀文祥%郭鴻鶴%慇明浩%王金豔%劉日仙
곡문상%곽홍학%은명호%왕금염%류일선
多值逻辑%知识编译%标记逻辑%EPCCL
多值邏輯%知識編譯%標記邏輯%EPCCL
다치라집%지식편역%표기라집%EPCCL
定义了一类新的易处理理论:s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译方法不同的是,它可以对多值知识库进行编译.经过多值编译后,任意查询都可以在多项式时间内得到应答.
定義瞭一類新的易處理理論:s-EPCCL理論.在此基礎上,提齣瞭一種以s-EPCCL理論為目標語言的多值知識編譯方法.該方法與現有知識編譯方法不同的是,它可以對多值知識庫進行編譯.經過多值編譯後,任意查詢都可以在多項式時間內得到應答.
정의료일류신적역처리이론:s-EPCCL이론.재차기출상,제출료일충이s-EPCCL이론위목표어언적다치지식편역방법.해방법여현유지식편역방법불동적시,타가이대다치지식고진행편역.경과다치편역후,임의사순도가이재다항식시간내득도응답.
