A Logic for Reasoning about Actions and Explicit Observations
- We propose a formalism for reasoning about actions based on multi-modal logic which allows for expressing observations as first-class objects. We introduce a new modal operator, namely [o |α], which allows us to capture the notion of perceiving an observation given that an action has taken place. Formulae of the type [o |α]ϕ mean ’after perceiving observation o, given α was performed, necessarily ϕ’. In this paper, we focus on the challenges concerning sensing with explicit observations, and acting with nondeterministic effects. We present the syntax and semantics, and a correct and decidable tableau calculus for the logic
| Verfasserangaben: | Gavin Rens, Ivan Varzinczak, Thomas Meyer, Alexander FerreinORCiD |
|---|---|
| DOI: | https://doi.org/10.1007/978-3-642-17432-2_40 |
| Titel des übergeordneten Werkes (Englisch): | AI 2010: Advances in Artificial Intelligence |
| Verlag: | Springer |
| Verlagsort: | Berlin |
| Dokumentart: | Konferenzveröffentlichung |
| Sprache: | Englisch |
| Erscheinungsjahr: | 2010 |
| Datum der Publikation (Server): | 18.12.2012 |
| Erste Seite: | 395 |
| Letzte Seite: | 404 |
| Bemerkung: | 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010 |
| Link: | https://doi.org/10.1007/978-3-642-17432-2_40 |
| Zugriffsart: | campus |
| Fachbereiche und Einrichtungen: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
| collections: | Verlag / Springer |
