TY - GEN
T1 - Reasoning about actions and change
T2 - 12th International Conference on Principles of Knowledge Representation and Reasoning, KR 2010
AU - Baral, Chitta
N1 - Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.
PY - 2010
Y1 - 2010
N2 - We often deal with dynamic worlds where actions are executed by agents and events may happen. Example of such worlds range from virtual worlds such as the world of a database to robots and humans in physical worlds. To understand the dynamics of such worlds as well as to be able to assert some control over such worlds one needs to reason about the actions and events and how they may change the world. In this invited talk we will present some of the important results in this field and present some future directions. In particular, we will discuss how theories and results from reasoning about actions and change can be combined with theories and results in dynamic epistemic logics to obtain a unified theory of multi-agent actions.
AB - We often deal with dynamic worlds where actions are executed by agents and events may happen. Example of such worlds range from virtual worlds such as the world of a database to robots and humans in physical worlds. To understand the dynamics of such worlds as well as to be able to assert some control over such worlds one needs to reason about the actions and events and how they may change the world. In this invited talk we will present some of the important results in this field and present some future directions. In particular, we will discuss how theories and results from reasoning about actions and change can be combined with theories and results in dynamic epistemic logics to obtain a unified theory of multi-agent actions.
UR - http://www.scopus.com/inward/record.url?scp=84860556161&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84860556161&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84860556161
SN - 9781577354512
T3 - Proceedings of the International Conference on Knowledge Representation and Reasoning
SP - 3
EP - 5
BT - Principles of Knowledge Representation and Reasoning
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 9 May 2010 through 13 May 2010
ER -