An implementation of argument based discussion

ABSTRACT

With the current demonstrator, we present an implementation of formal argumentation that is not only able to evaluate an argument according to standard argumentation semantics, but is also able to engage in a discussion to defend its answer. This discussion is formal yet natural enough to be applicable in agent-to-agent as well as in agent-to-human settings.

REFERENCES

• 1: Martin Caminada and Yining Wu. An argument game of stable semantics. Logic Journal of IGPL, in print.
• 2: M. W. A. Caminada. For the sake of the Argument. Explorations into argument-based reasoning. Doctoral dissertation Free University Amsterdam, 2004.
• 3: M. W. A. Caminada. On the issue of reinstatement in argumentation. In M. Fischer, W. van der Hoek, B. Konev, and A. Lisitsa, editors, Logics in Artificial Intelligence; 10th European Conference, JELIA 2006, pages 111--123. Springer, 2006. LNAI 4160.
• 4: Martin Caminada, An Algorithm for Computing Semi-stable Semantics, Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, October 31-November 02, 2007, Hammamet, Tunisia [doi>10.1007/978-3-540-75256-1_22]
• 5: Phan Minh Dung, On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artificial Intelligence, v.77 n.2, p.321-357, Sept. 1995 [doi>10.1016/0004-3702(94)00041-X]
• 6: H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics, 7:25--75, 1997.
• 7: Iyad Rahwan, Simon Parsons, and Chris Reed, editors. Argumentation in Multi-Agent Systems, 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers, volume 4946 of Lecture Notes in Computer Science. Springer, 2008.
• 8: Matthew South , Gerard Vreeswijk , John Fox, Dungine: a Java Dung Reasoner, Proceeding of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008, p.360-368, June 21, 2008
• 9: Gerard Vreeswijk , Henry Prakken, Credulous and Sceptical Argument Games for Preferred Semantics, Proceedings of the European Workshop on Logics in Artificial Intelligence, p.239-253, October 02, 2000

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Coherence and coordination

Additional Classification:
  H. Information Systems
  H.4 INFORMATION SYSTEMS APPLICATIONS
      H.4.2 Types of Systems
          Subjects: Decision support (e.g., MIS)

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems
  I.6 SIMULATION AND MODELING
      I.6.5 Model Development

General Terms:
Design, Management, Theory