Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
KATIE ATKINSON, TREVOR BENCH-CAPON and PETER MCBURNEY
 

Summary: KATIE ATKINSON, TREVOR BENCH-CAPON
and PETER MCBURNEY
COMPUTATIONAL REPRESENTATION OF PRACTICAL
ARGUMENT
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 perspec-
tive 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 out-
line an axiomatic semantics for the PARMA Protocol, and discuss two imple-
mentations 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.
1. INTRODUCTION
Practical reasoning is reasoning about what is best or most sensi-
ble to do. Despite the fact that such reasoning occurs on a common
basis in the conduct of activities in the everyday life of most peo-

  

Source: Atkinson, Katie - Department of Computer Science, University of Liverpool

 

Collections: Computer Technologies and Information Sciences