摘要
析取信息的表示是一个重要的研究问题 .DCWA(析取封闭假设 )为一般演绎数据库提供了一种谨慎语义 ,并且扩充了标准的良基语义 .同时 DCWA支持争论推理 ,为广义封闭世界假设提供了一种逼近 .基于此 ,提出了DCWA的过程语义 ,并证明了它的可靠性和完备性 .
Recently there has been an increasing interest in representing disjunctive information. DCWA (disjunctive closed world assumption) is a skeptical semantics for disjunctive deductive databases (DDBs) (with default negation) and extends the well founded model for normal logic programs. DCWA also provides an approximation for the generalized closed world assumption (GCWA) and supports argumentation. This paper presents a top down procedure for DCWA and proves its soundness and completeness.
出处
《软件学报》
EI
CSCD
北大核心
2001年第9期1265-1270,共6页
Journal of Software
基金
国家自然科学基金
国家重点 973基础研究发展规划~~
关键词
演绎数据库
封闭世界假设
过程语义
disjunctive deductive databases
closed world assumption
semantics