| 析取封闭世界假设的一种过程语义 |
| |
| 引用本文： | 王克文,周立柱,冯建华.析取封闭世界假设的一种过程语义[J].软件学报,2001,12(9):1265-1270. |
| |
| 作者姓名： | 王克文 周立柱 冯建华 |
| |
| 作者单位： | 清华大学计算机科学与技术系 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant Nos.69883008, 69773027 (国家自然科学基金); the National Grand Fundamental Research 973 Program of China under the Grant No.G1999032704 (国家重点973基础研究发展规划) |
| |
| 摘 要： | 析取信息的表示是一个重要的研究问题.DCWA(析取封闭假设)为一般演绎数据库提供了一种谨慎语义,并且扩充了标准的良基语义.同时DCWA支持争论推理,为广义封闭世界假设提供了一种逼近.基于此,提出了DCWA的过程语义,并证明了它的可靠性和完备性.
|
| 关 键 词： | 演绎数据库 封闭世界假设 语义 |
| 收稿时间： | 2000/1/10 0:00:00 |
| 修稿时间： | 2/7/2001 12:00:00 AM |
A Procedural Semantics for Disjunctive Closed World Assumption |
| |
| WANG Ke wen,ZHOU Li zhu and FENG Jian hua.A Procedural Semantics for Disjunctive Closed World Assumption[J].Journal of Software,2001,12(9):1265-1270. |
| |
| Authors: | WANG Ke wen ZHOU Li zhu and FENG Jian hua |
| |
| Abstract: | 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. |
| |
| Keywords: | disjunctive deductive databases closed world assumption semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
