Reasoning about actions and change: From single agent actions to multi-agent actions (extended abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationPrinciples of Knowledge Representation and Reasoning
Subtitle of host publicationProceedings of the 12th International Conference, KR 2010
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages3-5
Number of pages3
ISBN (Print)9781577354512
StatePublished - 2010
Event12th International Conference on Principles of Knowledge Representation and Reasoning, KR 2010 - Toronto, ON, Canada
Duration: May 9 2010May 13 2010

Publication series

NameProceedings of the International Conference on Knowledge Representation and Reasoning
ISSN (Print)2334-1025
ISSN (Electronic)2334-1033

Other

Other12th International Conference on Principles of Knowledge Representation and Reasoning, KR 2010
CountryCanada
CityToronto, ON
Period5/9/105/13/10

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'Reasoning about actions and change: From single agent actions to multi-agent actions (extended abstract)'. Together they form a unique fingerprint.

Cite this