✦ LIBER ✦

Formal semantics of meta-level architectures: Temporal epistemic reflection

✍ Scribed by Wiebe Van Der Hoek; John-Jules Meyer; Jan Treur

Publisher: John Wiley and Sons
Year: 2003
Tongue: English
Weight: 185 KB
Volume: 18
Category: Article
ISSN: 0884-8173
DOI: 10.1002/int.10139

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Formal semantics of meta-level architect

Formal semantics of meta-level architectures: Dynamic control of reasoning

✍ Jan Treur 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 157 KB

Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature, many applications in reasoning systems modeling complex tasks are described, usually in a procedural manner. In this article we present a semantic framework based on temporal partial logic to d