|
|||||
|
|
| 扩充析取逻辑程序的争论语义 | |
| 引用本文： | 王克文,周立柱,陈火旺. 扩充析取逻辑程序的争论语义[J]. 软件学报, 2000, 11(3): 293-299 |
| 作者姓名： | 王克文 周立柱 陈火旺 |
| 作者单位： | 1. 清华大学计算机科学与技术系,北京,100084;南京大学计算机软件新技术国家重点实验室,南京,210093 2. 清华大学计算机科学与技术系,北京,100084 3. 国防科学技术大学计算机学院,长沙,410073 |
| 基金项目： | This research is supported by the National Natural Science Foundation of China(国家自然科学基金,No.69883008,69773027),the National Foundation Research Programme of China(国家基础研究发展规划项目,No.G1999032704),and the IT School of Tsinghua University(清华大学信息学院基础创新研究). |
| 摘 要： | 该文探讨争论推理在扩充逻辑程序中的实现及其关系问题.基于“相干原理”，建立了扩充逻辑程序的争论推理框架，多种争论推理形式都可以嵌入其中.特别是提出了一种谨慎语义Acc.同时又定义了良基语义的一种合理扩充Mod,以处理较为大胆的推理形式.另外也研究了相关的理论性质. |
| 关 键 词： | 析取逻辑程序，明显否定，争论推理，语义. |
| 收稿时间： | 1998-05-21 |
An Argumentation-Based Framework for Extended Disjunctive Logic Programs |
|
| WANG Ke-wen,ZHOU Li-zhu and CHEN Huo-wang. An Argumentation-Based Framework for Extended Disjunctive Logic Programs[J]. Journal of Software, 2000, 11(3): 293-299 | |
| Authors: | WANG Ke-wen ZHOU Li-zhu CHEN Huo-wang |
| Abstract: | An investigation into the relationship between argumentation and disjunctive logic programs with explicit negation (EDLP) is conducted.By employing the coherence principle,an argumentation-theoretic framework for EDLP is presented,in which various forms of argumentation can be performed.In particular,a skeptical semantics Acc is introduced in a natural way.To provide a more suitable form of argumentation,a less skeptical semantics Mod is also defined which naturally extends the well-founded model. |
| Keywords: | Disjunctive logic program explicit negation argumentation semantics. |
| 本文献已被 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |