Premium
Formal semantics of meta‐level architectures: Temporal epistemic reflection
Author(s) -
Van Der Hoek Wiebe,
Meyer JohnJules,
Treur Jan
Publication year - 2003
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.10139
Subject(s) - semantics (computer science) , epistemic modal logic , reflection (computer programming) , computer science , formal semantics (linguistics) , epistemology , object (grammar) , artificial intelligence , cognitive science , programming language , theoretical computer science , description logic , psychology , philosophy , multimodal logic
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.