Computational Representation of Practical Argument |
| |
Authors: | Katie Atkinson Trevor Bench-Capon Peter McBurney |
| |
Affiliation: | (1) Department of Computer Science, University of Liverpool, Liverpool, L69 3BX, UK |
| |
Abstract: | In this paper we consider persuasion in the context of practical reasoning, and discuss the problems associated with construing reasoning about actions in a manner similar to reasoning about beliefs. We propose a perspective on practical reasoning as presumptive justification of a course of action, along with critical questions of this justification, building on the account of Walton. From this perspective, we articulate an interaction protocol, which we call PARMA, for dialogues over proposed actions based on this theory. We outline an axiomatic semantics for the PARMA Protocol, and discuss two implementations which use this protocol to mediate a discussion between humans. We then show how our proposal can be made computational within the framework of agents based on the Belief-Desire-Intention model, and illustrate this proposal with an example debate within a multi agent system. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|