• Article
  • | |
  • Metrics
  • |
  • Reference [15]
  • |
  • Related [20]
  • |
  • Cited by [2]
  • | |
  • Comments
    Abstract:

    This paper proposes a model of argumentation, in which the internal structures of arguments are expressed with the simplified Toulmin model, and the relations between arguments are defined with the method of Dung’s abstract argumentation framework. It also gives the algorithms of the defensibility of an argument and the acceptability of a statement. This model is used to reconstruct the examples in the published literature, and results show that this model can accurately calculate the acceptability of statements and draw a conclusion from argumentation. This research is to construct models for real-world practices of argumentation, but the conclusion will contribute to the modeling of formal nonclassical logics systems.

    Reference
    [1] Gordon TF, Prakken H, Walton D. The Carneades model of argument and burden of proof. Artificial Intelligence, 2007,171(10-15): 875?896.
    [2] Ches?evar CI, Maguitman AG, Loui RP. Logical models of argument. ACM Computing Surveys, 2000,32(4):337?383.
    [3] Reed C, Grasso F. Recent advances in computational models of natural argument. Int’l Journal of Intelligent Systems, 2007,22(1): 1?15.
    [4] Prakken H, Sartor G. Argument-Based logic programming with defeasible priorities. Journal of Applied Non-Classical Logics, 1997,7:25?75.
    [5] Kakas A, Maudet N, Moraitis P. Modular representation of agent interaction rules through argumentation. Autonomous Agents and Multi-Agent Systems, 2005,11(2):189?206.
    [6] Amgoud L, Maudet N, Parsons S. Modelling dialogues using argumentation. In: Durfee E, ed. Proc. of the 4th Int’l Conf. on MultiAgent Systems (ICMAS 2000). Los Alamitos: IEEE Computer Society Press, 2000. 31?38.
    [7] Sillince JAA, Saeedi MH. Computer-Mediated communication: Problems and potentials of argumentation support systems. Decision Support Systems, 1999,26(4):287?306.
    [8] Tweed C. Supporting argumentation practices in urban planning and design. Computers, Environment and Urban Systems, 1998, 22(4):351?363.
    [9] Janssen T, Sage AP. Group decision support using Toulmin argument structures. Systems, Man, and Cybernetics, 1996,4(4): 2704?2709.
    [10] Gelder TV. Argument mapping with Reason!Able. The American Philosophical Association Newsletter on Philosophy and Computers, 2002,2:85?90.
    [11] Kunz W, Rittel HWJ. Issues as elements of information systems. Working Paper, WP131, Berkeley: Institute of Urban and Regional Development, University of California, 1970.
    [12] Dung PM. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 1995,77(2):321?357.
    [13] Toulmin SE. The Uses of Argument. Cambridge: Cambridge University Press, 1958.
    [14] Nieves JC, Osorio M, Cortés U, Olmos I, Gonzalez JA. Defining new argumentation-based semantics by minimal models. In: Proc. of the 7th Mexican Int’l Conf. on Computer Science (ENC 2006). Washington: IEEE Computer Science Press, 2006. 210?220.
    [15] Prakken H. On formalising burden of proof in legal argument. In: Herik HJ, et al., eds. Legal Knowledge Based Systems (JURIX 1999), the 12th Conf. Nijmegen: Gerard Noodt Instituut, 1999. 85?97.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

熊才权,李德华.一种研讨模型.软件学报,2009,20(8):2181-2190

Copy
Share
Article Metrics
  • Abstract:6000
  • PDF: 6231
  • HTML: 0
  • Cited by: 0
History
  • Received:May 06,2008
  • Revised:August 11,2008
You are the first2035233Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063