Hierarchical Modeling and Specification logic of Agents Knowledge in Continuous Dynamics

Abstract

This paper presents a novel framework for modeling and reasoning about the knowledge of agents in continuous dynamics environment. In particular, the paper proposes a new formal logic called a Hybrid Hierarchical Epistemic Logic (HHEL) that integrates in the same framework HRCTL, hierarchical hybrid automata logic, with the logic of knowledge (epistemic logic). To do so, the paper extends the underline interpreted systems of the epistemic logic with the formal semantics of hierarchical hybrid automata. As a result of the previous extension, a hybrid hierarchical interpreted system is defined which is used to interpret the formulas of HHEL. The proposed HHEL allows us to formally specify those properties that cannot be expressed by using either epistemic or HRCTL logic.