Track:
Contents
Downloads:
Abstract:
At the center of most plots in literature is a main character, who is stuck in a conflict and considers different arguments and options to resolve the conflict. In this paper, we show how to formalise such an argumentation process and we develop a formal argumentation framework, which caters for a declarative semantics of an argumentation process and an operational, efficient, goal-driven, top-down proof procedure to compute the argumentation process. Next, we give an overview of how the argumentation framework is used in Uhima Ratio, whose core is an argument knowledge base taken from a variety of literature pieces. The system allows one to define an agent, which is constituted by a set of arguments and assumptions. Facing a particular world, the agent’s believes may be inconsistentriggering a rational monologue to deal with the situation.