How to Tell a Logical Story

Michael Schroeder

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.