Refine
Year of publication
Institute
- Fachbereich Elektrotechnik und Informationstechnik (294)
- Fachbereich Energietechnik (230)
- Fachbereich Luft- und Raumfahrttechnik (204)
- Fachbereich Maschinenbau und Mechatronik (191)
- Solar-Institut Jülich (164)
- Fachbereich Medizintechnik und Technomathematik (162)
- IfB - Institut für Bioengineering (117)
- Fachbereich Bauingenieurwesen (103)
- ECSM European Center for Sustainable Mobility (62)
- Fachbereich Wirtschaftswissenschaften (57)
Has Fulltext
- no (1454) (remove)
Document Type
- Conference Proceeding (1454) (remove)
Keywords
- Enterprise Architecture (5)
- Gamification (5)
- Energy storage (4)
- IO-Link (4)
- Natural language processing (4)
- Power plants (4)
- hydrogen (4)
- solar sail (4)
- Associated liquids (3)
- Concentrated solar power (3)
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