Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection

w. Hoek, J.J. Ch. Meyer, J. Treur

Research output: Contribution to JournalArticleAcademicpeer-review


In this article we show how formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and effects changes may have on them. Especially, attention is focused on the upward and downward reflections in these architectures. Temporalized epistemic logic is used to specify meta-level reasoning processes and the outcomes of these. © 2003 Wiley Periodicals, Inc.
Original languageEnglish
Pages (from-to)1293-1318
JournalInternational journal of intelligent systems
Publication statusPublished - 2003

Bibliographical note



Dive into the research topics of 'Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection'. Together they form a unique fingerprint.

Cite this