Abstract#R##N##R##N#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.
['Wiebe van der Hoek', 'John-Jules Ch. Meyer', 'Jan Treur']
Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection