A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
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, anddoi:10.1007/978-3-642-17432-2_40 fatcat:tnavwnn3rvabfjtgyqm4osv6qy