Abstract
In this paper we show how a formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and changes of them. Especially the attention is focused on the upward and downward reflections in these architectures. Temporalized epistemic logic is used to specify meta-level reasoning processes and the outcomes of these.
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 to check access.
Preview
Unable to display preview. Download preview PDF.
References
P. Doherty, NM3 — A Three-Valued Cumulative Non-Monotonic Formalism, in: Logics in AI, (J. van Eijck, ed.), LNCS 478, Springer, Berlin, 1991, pp. 196–211.
J. Engelfriet, J. Treur, A Temporal Model Theory for Default Logic, in: M. Clarke, R. Kruse, S. Moral (eds.), Proc. ECSQARU '93, Springer Verlag, 1993, pp. 91–96.
M. Finger, D. Gabbay, Adding a temporal dimension to a logic system, Journal of Logic, Language and Computation 1 (1992), pp. 203–233.
D.M. Gabbay, Intuitionistic basis for non-monotonic logic, In: G. Goos, J. Hartmanis (eds.), 6th Conference on Automated Deduction, LNCS 138, Springer Verlag, 1982, pp.260–273
E. Giunchiglia, P. Traverso, F. Giunchiglia, Multi-Context Systems as a Specification Framework for Complex Reasoning Systems, in: J. Treur, Th. Wetter (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood, 1993, pp. 45–72
J.Y. Halpern & Y.O. Moses, Towards a Theory of Knowledge and Ignorance, Proc. Workshop on Non-Monotonic Reasoning, 1984, pp. 125–143.
W. van der Hoek, J.-J. Ch. Meyer & J. Treur, Temporalizing Epistemic Default Logic. Techn. Report, Free University Amsterdam, 1994.
W. van der Hoek, J.-J. Ch. Meyer & J. Treur, Formal Semantics of Temporal Epistemic Reflection. Techn. Report, Free University Amsterdam, 1994.
J.-J.Ch. Meyer & W. van der Hoek, Non-Monotonic Reasoning by Monotonic Means, in: J. van Eijck (ed.), Logics in AI (Proc. JELIA '90), LNCS 478, Springer, 1991, pp. 399–411.
J.-J.Ch. Meyer & W. van der Hoek, A Modal Logic for Nonmonotonic Reasoning, in: W. van der Hoek, J.-J. Ch. Meyer, Y.H. Tan & C. Witteveen (eds.), Non-Monotonic Reasoning and Partial Semantics, Ellis Horwood, Chichester, 1992, pp. 37–77.
J.-J. Ch. Meyer & W. van der Hoek, An Epistemic Logic for Defeasible Reasoning using a Meta-Level Architecture Metaphor. Techn. Report IR-329, Free University, Amsterdam, 1993.
J.-J. Ch. Meyer & W. van der Hoek, A Default Logic Based on Epistemic States. in: M. Clarke, R. Kruse, S. Moral (eds.), Proc. ECSQARU '93, Springer Verlag, 1993, pp. 265–273. Full version to appear in Fundamenta Informatica.
J.-J. Ch. Meyer & W. van der Hoek, Counterfactual reasoning by (means of) defaults in: Annals of Mathematics and Artificial Intelligence 9 (III–IV), (1993), pp. 345–360.
J.-J. Ch. Meyer & W. van der Hoek, Epistemic Logic for AI and Computer Science, forthcoming.
R.C. Moore, Semantical Considerations on Nonmonotonic Logic, Artificial Intelligence 25, 1985, pp. 75–94.
Y. Shoham, Reasoning about Change, MIT Press, Cambridge, 1988.
Y.-H. Tan & J. Treur, A Bi-Modular Approach to Non-Monotonic Reasoning, in: Proc. WOCFAI'91 (M. DeGlas & D. Gabbay, eds.), Paris, 1991, pp. 461–475.
J. Treur, Modelling nonclassical reasoning patterns by interacting reasoning modules, Report IR-236, Free University Amsterdam, 1990.
J. Treur, Interaction types and chemistry of generic task models, in: B. Gaines, M. Linster (eds), Proc. EKAW'91, GMD Studien 211, 1992, Bonn.
J. Treur, Towards dynamic and temporal semantics of meta-level architectures, Report IR-321, Free University Amsterdam, 1992. Also: Proc. META'94, 1994 (this volume).
R.W. Weyhrauch, Prolegomena to a Theory of Mechanized Formal Reasoning, Artificial Intelligence J. 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
van der Hoek, W., Meyer, JJ., Treur, J. (1994). Formal semantics of temporal epistemic reflection. 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_21
Download citation
DOI: https://doi.org/10.1007/3-540-58792-6_21
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