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

Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are described, usually in a procedural manner. In this paper we present a semantic framework based on temporal partial logic to describe the dynamics of reasoning behaviour. Using these models the semantics of the behaviour of the whole (meta-level) reasoning system can be described by a set of (intended) temporal models.

• Type: Journal
• Year: 2002
• Where: IJIS
• Authors: Jan Treur
• Keywords: IJIS 2002, Meta-level Architectures, Reasoning, Temporal Partial Logic