Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Action-State Semantics for Practical Reasoning Trevor Bench-Capon and Katie Atkinson
 

Summary: Action-State Semantics for Practical Reasoning
Trevor Bench-Capon and Katie Atkinson
Department of Computer Science, University of Liverpool, UK
{tbc, katie}@liverpool.ac.uk
Abstract
There are two aspects of practical reasoning which present
particular difficulties for current approaches to modelling
practical reasoning through argumentation: temporal aspects,
and the intrinsic worth of actions. Time is important because
actions change the state of the world, we need to consider fu-
ture states as well as past and present ones. Equally, it is of-
ten not what we do but the way that we do it that matters: the
same future state may be reachable either through desirable or
undesirable actions, and often also actions are done for their
own sake rather than for the sake of their consequences. In
this paper we will present a semantics for practical reasoning,
based on a formalisation developed originally for reasoning
about commands, in which actions and states are treated as of
equal status. We will show how using these semantics facili-
tates the handling of the temporal aspects of practical reason-

  

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

 

Collections: Computer Technologies and Information Sciences