Abstract
The first step in reasoning about actions and change involves reasoning about how the world would evolve if a certain action is executed in a certain state. Most research on this assumes the evolution to be only a single step and focus on formulating the transition function that defines changes between states due to actions. In this paper we consider cases where the evolution is more than just a single change between one state and another. This is manifested when the execution of an action may trigger execution of other actions, or when multiple agents act on the environment following certain strategies.
Original language | English (US) |
---|---|
Pages (from-to) | 33-46 |
Number of pages | 14 |
Journal | Studia Logica |
Volume | 79 |
Issue number | 1 |
DOIs | |
State | Published - Feb 1 2005 |
Keywords
- Linear temporal logic
- Probabilistic triggers
- Randomized strategies
- Reasoning about actions
- Triggered evolutions
- Triggers
ASJC Scopus subject areas
- Logic
- History and Philosophy of Science