On the Formal Structure of Continuous Action

abstract. Analytical investigations of agency are mostly concerned with a description ex post acto. However, continuous action (being doing something) needs to be considered as well. The paper shows that while the modal-logical treatment of agency in branching time-based stit theory is currently unable to handle continuous action, the stit framework can be extended such as to handle these cases as well. Our new operator, istit, provides for an adequate expression of the notion of being doing something, and we present a simple axiomatisation. In our extended framework, agency, ability, and refraining are linked to an agent's current strategy.

• Type: Conference
• Year: 2004
• Where: AIML
• Authors: Thomas Müller
• Keywords: AIML 2004, AIML 2008, Continuous Action, Ex Post Acto, Time-based Stit Theory