论文信息 - An Implementation of a Lightweight Argumentation Engine for Agent Applications

An Implementation of a Lightweight Argumentation Engine for Agent Applications

Argumentation is becoming increasingly important in the design and implementation of autonomous software agents. In this paper we discuss our current work on a prototype lightweight Java-based argumentation engine that can be used to implement a non-monotonic reasoning component in Internet or agent-based applications. As far as possible we are aiming towards implementing a general purpose argumentation engine that can be configured to conform to one of a range of semantics.

Paul J. Krause | Daniel Bryant

[1] Gerard Vreeswijk,et al. IACAS: an implementation of Chisolm''s Principles of Knowledge , 1995 .

[2] Sarvapali D. Ramchurn,et al. Argumentation-based negotiation , 2003, The Knowledge Engineering Review.

[3] Trevor J. M. Bench-Capon,et al. A Dialogue Game Protocol for Multi-Agent Argument over Proposals for Action , 2004, Autonomous Agents and Multi-Agent Systems.

[4] Dirk Vermeir,et al. Dialectic semantics for argumentation frameworks , 1999, ICAIL '99.

[5] Andrea Omicini,et al. Multi-paradigm Java-Prolog integration in tuProlog , 2005, Sci. Comput. Program..

[6] Munindar P. Singh. Agent Communication Languages: Rethinking the Principles , 1998, Computer.

[7] John Fox,et al. A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY , 1995, Comput. Intell..

[8] Henri Prade,et al. Using Arguments for Making Decisions: A Possibilistic Logic Approach , 2004, UAI.

[9] Guillermo Ricardo Simari,et al. A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge , 2004, UAI.

[10] Guillermo Ricardo Simari,et al. Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[11] Andrea Omicini,et al. tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures , 2001, PADL.