✦ LIBER ✦

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

✍ Scribed by Jan Treur

Publisher: John Wiley and Sons
Year: 2002
Tongue: English
Weight: 157 KB
Volume: 17
Category: Article
ISSN: 0884-8173
DOI: 10.1002/int.10037

No coin nor oath required. For personal study only.

✦ Synopsis

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 describe the dynamics of reasoning behavior. Using these models, the semantics of the behavior of the whole (meta-level) reasoning system can be described by a set of (intended) temporal models.

📜 SIMILAR VOLUMES

Formal semantics of meta-level architect

Formal semantics of meta-level architectures: Temporal epistemic reflection

✍ Wiebe Van Der Hoek; John-Jules Meyer; Jan Treur 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 185 KB

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. Tempora