Abstract
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.
This work is partially supported by ESPRIT III Basic Research Action 6156 (DRUMS II).
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
J.F.A.K. van Benthem, The logic of time: a model-theoretic investigation into the varieties of temporal ontology and temporal discource, Reidel, Dordrecht, 1983.
S. Blamey, Partial Logic, in: D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III, 1–70, Reidel, Dordrecht, 1986.
K. Bowen and R. Kowalski, Amalgamating language and meta-language in logic programming. In: K. Clark, S. Tarnlund (eds.), Logic programming. Academic Press, 1982.
H.A. Brumsen, J.H.M. Pannekeet and J. Treur, A compositional knowledge-based architecture modelling process aspects of design tasks, Proc. 12th Int. Conf. on AI, Expert systems and Natural Language, Avignon'92 (Vol. 1), 1992, pp. 283–294.
W.J. Clancey and C. Bock, Representing control knowledge as abstract tasks and metarules, in: Bolc, Coombs (eds.), Expert System Applications, 1988.
R. Davis, Metarules: reasoning about control, Artificial Intelligence 15 (1980), pp. 179–222.
T. Fernando, Transition systems and dynamic semantics, Proc. JELIA'92 Workshop on Logic and AI, Berlin, 1992.
P.A. Geelen and W. Kowalczyk, A knowledge-based system for the routing of international blank payment orders, Proc. 12th Int. Conf. on AI, Expert systems and Natural Language, Avignon-92 (Vol. 2), 1992, pp. 669–677.
E. Giunchiglia, P. Traverso and F. Giunchiglia, Multi-context Systems as a Specification framework for Complex Reasoning Systems, In: [24], 1993, pp. 45–72.
R. Goldblatt, Logics of Time and Computation. CSLI Lecture Notes, Vol. 7. 1987, Center for the Study of Language and Information.
J.A.W. Kamp, A theory of truth and semantic representation, In: Formal methods in the study of language. Mathematical Centre Tracts 135, Amsterdam, 1981.
P.H.G. van Langen and J. Treur, Representing world situations and information states by many-sorted partial models, Report PE8904, University of Amsterdam, Department of Mathematics and Computer Science, 1989.
T. Langholm, Partiality, Truth and Persistance, CSLI Lecture Notes No. 15, Stanford University, Stanford, 1988.
I.A. van Langevelde, A.W. Philipsen, J. Treur, Formal specification of compositional architectures, In: B. Neumann (ed.), Proc. 10th European Conference on Artificial Intelligence, ECAI'92, Wiley and Sons, 1992, pp. 272–276.
J.W. Lloyd, Foundations of logic programming, Springer Verlag, 1984.
P. Maes, D. Nardi (eds), Meta-level architectures and reflection, Elsevier Science Publishers, 1988.
Y.H. Tan and J. Treur, A bi-modular approach to nonmonotonic reasoning, In: De Glas, M., Gabbay, D. (eds.), Proc. World Congress on Fundamentals of Artificial Intelligence, WOCFAI'91, 1991, pp. 461–476.
Y.H. Tan and J. Treur, Constructive default logic and the control of defeasible reasoning, In: B. Neumann (ed.), Proc. 10th European Conference on Artificial Intelligence, ECAI'92, Wiley and Sons, 1992, pp. 299–303.
Y.H. Tan and J. Treur, Constructive default logic in a meta-level architecture, in: A Yonezawa, B.C. Smith (eds.), Proc. International Workshop on new Models in Software Architecture (IMSA) 1992, Reflection and Meta-level Architectures, 1992, pp. 184–189.
J. Treur, Completeness and definability in diagnostic expert systems, Proc. European Conference on Artificial Intelligence, ECAI'88, München, 1988, pp. 619–624.
J. Treur, On the use of reflection principles in modelling complex reasoning, International Journal of Intelligent Systems 6 (1991), pp. 277–294.
J. Treur, Declarative functionality descriptions of interactive reasoning modules, In: H. Boley, M.M. Richter (eds.), Processing Declarative Knowledge, Proc. of the International Workshop PDK'91, Lecture Notes in Artificial Intelligence, vol. 567, Springer Verlag, 1991, pp. 221–236.
J. Treur, P. Veerkamp, Explicit representation of design process knowledge, in: J.S. Gero (ed.), Artificial Intelligence in Design '92, Proc. AID'92, Kluwer Academic Publishers, 1992, pp. 677–696.
J. Treur and Th. Wetter (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood, 1993, pp 282.
R.W. Weyhrauch, Prolegomena to a theory of mechanized formal reasoning, Artificial Intelligence 13 (1980), pp. 133–170.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Treur, J. (1994). Temporal semantics of meta-level architectures for dynamic control of reasoning. In: Fribourg, L., Turini, F. (eds) Logic Program Synthesis and Transformation — Meta-Programming in Logic. META LOPSTR 1994 1994. Lecture Notes in Computer Science, vol 883. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58792-6_22
Download citation
DOI: https://doi.org/10.1007/3-540-58792-6_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58792-7
Online ISBN: 978-3-540-49104-0
eBook Packages: Springer Book Archive