Representation and reasoning about evolutions of the world in the context of reasoning about actions

Chitta Baral, Nam Tran

Research output: Contribution to journalArticle

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 languageEnglish (US)
Pages (from-to)33-46
Number of pages14
JournalStudia Logica
Volume79
Issue number1
DOIs
StatePublished - 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

Fingerprint Dive into the research topics of 'Representation and reasoning about evolutions of the world in the context of reasoning about actions'. Together they form a unique fingerprint.

  • Cite this