TY  - CONF
A1  - Rens, Gavin
A1  - Varzinczak, Ivan
A1  - Meyer, Thomas
A1  - Ferrein, Alexander
T1  - A Logic for Reasoning about Actions and Explicit Observations
T2  - AI 2010: Advances in Artificial Intelligence
N2  - 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
Y1  - 2011
UR  - https://opus.bibliothek.fh-aachen.de/opus4/frontdoor/index/index/docId/4552
N1  - 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010
SP  - 395
EP  - 404
PB  - Springer
CY  - Berlin
ER  -