Premium
Formal semantics of meta‐level architectures: Dynamic control of reasoning
Author(s) -
Treur Jan
Publication year - 2002
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.10037
Subject(s) - computer science , semantics (computer science) , model based reasoning , reasoning system , automated reasoning , set (abstract data type) , artificial intelligence , deductive reasoning , programming language , knowledge representation and reasoning
Abstract Meta‐level architectures for dynamic control of reasoning processes are quite powerful. In theliterature, many applications in reasoning systems modeling complex tasks are described, usually in a proceduralmanner. In this article we present a semantic framework based on temporal partial logic to describe the dynamicsof 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) temporalmodels. © 2002 Wiley Periodicals, Inc.