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.
|Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|4th International Workshop on Logic Program Synthesis and Transformation, LOPSTR 1994 and Metaprogramming in Logic, META 1994
|20/06/94 → 21/06/94