Argumentation in disjunctive logic programming

被引：0
|
作者：
王克文
吴泉源
陈火旺
机构：
来源：
Science China Technological Sciences | 1998年 / 01期
关键词：
logic programming; commonsense reasoning; argumentation; abduction; semantics;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Argumentation (abduction) is widely applied in artificial intelligence (AI) and law reasoning. However, the problem of how to perform argumentation in disjunctive logic programming (DLP) is still open.In addition, a unifying semantic framework is required for incorporating various semantics for DLP. An argumentation-theoretic framework for DLP by taking the disjuncts of negative literals as abducibles is presented. This semantics not only is a simple and intuitive framework for performing argumentation and abduction in DLP, but also provides a unifying framework for many key semantics of disjunctive logic programs. In particular, it is shown that the EGCWA, well-founded model and disjunctive stable models can all be embedded into this semantics.
引用
收藏
页码：106 / 112
页数：7
相关论文
共 50 条
  • [1] Argumentation in disjunctive logic programming
    Wang, KW
    Wu, QY
    Chen, HW
    [J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1998, 41 (01): : 106 - 112
  • [2] Argumentation in disjunctive logic programming
    Kewen Wang
    Quanyuan Wu
    Huowang Chen
    [J]. Science in China Series E: Technological Sciences, 1998, 41 : 106 - 112
  • [3] Collective argumentation and disjunctive logic programming
    Bochman, A
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (03) : 405 - 428
  • [4] Argumentation-based abduction in disjunctive logic programming
    Wang, KW
    [J]. JOURNAL OF LOGIC PROGRAMMING, 2000, 45 (1-3): : 105 - 141
  • [5] Assumption-Based Argumentation for Extended Disjunctive Logic Programming
    Wakaki, Toshiko
    [J]. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), 2022, : 35 - 54
  • [6] Disjunctive logic programming and autoepistemic logic
    Yuan, LY
    You, JH
    Goebel, R
    [J]. LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 : 85 - 101
  • [7] Temporal disjunctive logic programming
    Gergatsoulis, M
    Rondogiannis, P
    Panayiotopoulos, T
    [J]. NEW GENERATION COMPUTING, 2001, 19 (01) : 87 - 100
  • [8] Temporal disjunctive logic programming
    Manolis Gergatsoulis
    Panos Rondogiannis
    Themis Panayiotopoulos
    [J]. New Generation Computing, 2001, 19 : 87 - 100
  • [9] Calculi for disjunctive logic programming
    Baumgartner, P
    Furbach, U
    [J]. LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 229 - 243
  • [10] Temporal disjunctive logic programming
    [J]. Gergatsoulis, M. (manolis@iit.demokritos.gr), 2001, Ohmsha Ltd. (19)
12345