Hierarchical Modeling and Specification Logic of Agents Knowledge in Continuous Dynamics
جاري التحميل...
التاريخ
المؤلفين
عنوان الدورية
ردمد الدورية
عنوان المجلد
الناشر
International journal of applied science & technology
خلاصة
Reasoning about knowledge is one of the main concern in artificial intelligence and multi-agent Systems (MAS). Researchers in a wide variety of disciplines have found that issues involving agents reasoning about other agents’ knowledge are of a great importance. Knowledge is considered as an important property to model intelligent systems. Formal theories and logics have been proposed to reason about knowledge of agents. Among of them, a logic of knowledge or the so called epistemic logic. 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 and 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