Title | ||
---|---|---|
Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions |
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 re- search 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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/s11225-005-0493-x | Studia Logica - An International Journal for Symbolic Logic |
Keywords | Field | DocType |
reasoning about actions,triggers,triggered evolutions,linear temporal logic,probabilistic triggers,randomized strategies | Temporal logic of actions,Computational linguistics,Psychology of reasoning,Algorithm,Linear temporal logic,Artificial intelligence,Deductive reasoning,Reasoning system,Transition function,Mathematics | Journal |
Volume | Issue | Citations |
79 | 1 | 2 |
PageRank | References | Authors |
0.42 | 11 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Chitta Baral | 1 | 2353 | 269.58 |
Nam Tran | 2 | 115 | 7.51 |