| 本文已被：浏览 4464次 下载 5384次 |
码上扫一扫！ |
|
|
| 扩充析取逻辑程序的争论语义 |
|
王克文1,2, 周立柱1, 陈火旺3
|
|
1.清华大学计算机科学与技术系,北京,100084;2.南京大学计算机软件新技术国家重点实验室,南京,210093;3.国防科学技术大学计算机学院,长沙,410073
|
|
| 摘要: |
| 该文探讨争论推理在扩充逻辑程序中的实现及其关系问题.基于“相干原理”，建立了扩充逻辑程序的争论推理框架，多种争论推理形式都可以嵌入其中.特别是提出了一种谨慎语义Acc.同时又定义了良基语义的一种合理扩充Mod,以处理较为大胆的推理形式.另外也研究了相关的理论性质. |
| 关键词: 析取逻辑程序，明显否定，争论推理，语义. |
| DOI： |
| 分类号: |
| 基金项目: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(清华大学信息学院基础创新研究). |
|
| An Argumentation-Based Framework for Extended Disjunctive Logic Programs |
|
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. |
| Key words: Disjunctive logic program,explicit negation,argumentation,semantics. |
