Formal semantics of meta-level architectures: Temporal epistemic reflection
Wiebe van der Hoek, John-Jules Meyer, Jan Treur · International Journal of Intelligent Systems · 2003
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.