扩充析取逻辑程序的争论语义(英文)

An Argumentation-Based Framework for Extended Disjunctive Logic Programs

该文探讨争论推理在扩充逻辑程序中的实现及其关系问题 .基于“相干原理”,建立了扩充逻辑程序的争论推理框架 ,多种争论推理形式都可以嵌入其中 .特别是提出了一种谨慎语义 Acc.同时又定义了良基语义的一种合理扩充 Mod,以处理较为大胆的推理形式 .另外也研究了相关的理论性质 .

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.