Toward a Logical Tool for Generating New Arguments in an Argumentation Based Framework

Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have to face their respective knowledge. The following notions are addressed: the behaviour of an agent facing an argument, the answer of an agent in front of a set of formulas, and relations among arguments. X-logics, a nonmonotonic extension of classical propositional logic proposed by Siegel and Forget, is used as the background formalism for representing the reasoning of the agents on arguments.

• Type: Conference
• Year: 2005
• Where: ICTAI
• Authors: Geoffroy Aubry, Vincent Risch
• Keywords: Artificial Intelligence, Classical Propositional Logic, Formal Agents, ICTAI 2005, Logical Tool