%0 Journal Article
%T An Argumentation-Based Framework for Extended Disjunctive Logic Programs<br>扩充析取逻辑程序的争论语义
%A WANG Ke-wen
%A ZHOU Li-zhu
%A CHEN Huo-wang
%A <br>王克文
%A 周立柱
%A 陈火旺
%J 软件学报
%D 2000
%I 
%X 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.
%K Disjunctive logic program
%K explicit negation
%K argumentation
%K semantics<br>析取逻辑程序，明显否定，争论推理，语义.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=223FAFCE0EBC2C70&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=38B194292C032A66&sid=2AC7DCCBBC26ECF8&eid=BF112261B65CB9C9&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=7