TY - GEN
T1 - Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning
AU - Treur, J.
PY - 1994
Y1 - 1994
N2 - 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 declarative framework based on temporal (partial) logic that enables one to describe the dynamics of reasoning behaviour by temporal models. 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.
AB - 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 declarative framework based on temporal (partial) logic that enables one to describe the dynamics of reasoning behaviour by temporal models. 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.
UR - http://www.scopus.com/inward/record.url?scp=21844526221&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/record.url?scp=21844526221&partnerID=8YFLogxK
U2 - 10.1007/3-540-58792-6_22
DO - 10.1007/3-540-58792-6_22
M3 - Conference contribution
SN - 9783540587927
VL - 883 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 353
EP - 376
BT - Logic Program Synthesis and Transformation – Meta-Programming in Logic - 4th International Workshops LOPSTR 1994 and META 1994, Proceedings
PB - Springer/Verlag
T2 - 4th International Workshop on Logic Program Synthesis and Transformation, LOPSTR 1994 and Metaprogramming in Logic, META 1994
Y2 - 20 June 1994 through 21 June 1994
ER -