Formal Semantics of Temporal Epistemic Reflection

W. van der Hoek, J.J. Meyer, J. Treur

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Abstract

Meta-level architectures often are used either to model dynamic control of the object level inferences, or to extend the inference relation of the object level. In [Treur, 1992] we introduced formal semantics for meta-level architectures of the first kind based on temporal models. It may be considered quite natural that for such a dynamic type of reasoning system the temporal element of the reasoning should be made explicit in the formal semantics. For the use of meta-level architectures to extend the object level inference relation the situation looks different. In principle one may work out formal semantics in terms of (the logic behind) this extended, non-classical inference relation; e.g., as in the literature for nonmonotonic logics. However, much discussion is possible about this case. Some papers argue that also in the case of a non-monotonic logic the semantics have to make the inherent temporal element explicit; approaches are described in, e.g., [Gabbay, 1982], [Engelfriet and Treur, 1993]. In the current paper we adopt this line.
Original languageEnglish
Title of host publicationDynamics and Management of Reasoning Processes
EditorsD. Gabbay
PublisherKluwer Academic
Pages41-64
ISBN (Electronic)978-94-017-1743-4
ISBN (Print)978-90-481-5903-1
DOIs
Publication statusPublished - 2001

Publication series

NameSeries in Defeasible Reasoning and Uncertainty Management Systems
Volume6

Fingerprint

Formal Semantics
Inference
Nonmonotonic Logic
Logic

Cite this

van der Hoek, W., Meyer, J. J., & Treur, J. (2001). Formal Semantics of Temporal Epistemic Reflection. In D. Gabbay (Ed.), Dynamics and Management of Reasoning Processes (pp. 41-64). (Series in Defeasible Reasoning and Uncertainty Management Systems; Vol. 6). Kluwer Academic. https://doi.org/10.1007/978-94-017-1743-4_4
van der Hoek, W. ; Meyer, J.J. ; Treur, J. / Formal Semantics of Temporal Epistemic Reflection. Dynamics and Management of Reasoning Processes. editor / D. Gabbay. Kluwer Academic, 2001. pp. 41-64 (Series in Defeasible Reasoning and Uncertainty Management Systems).
@inbook{58b75da6b84143f2b2c3083bb523fe96,
title = "Formal Semantics of Temporal Epistemic Reflection",
abstract = "Meta-level architectures often are used either to model dynamic control of the object level inferences, or to extend the inference relation of the object level. In [Treur, 1992] we introduced formal semantics for meta-level architectures of the first kind based on temporal models. It may be considered quite natural that for such a dynamic type of reasoning system the temporal element of the reasoning should be made explicit in the formal semantics. For the use of meta-level architectures to extend the object level inference relation the situation looks different. In principle one may work out formal semantics in terms of (the logic behind) this extended, non-classical inference relation; e.g., as in the literature for nonmonotonic logics. However, much discussion is possible about this case. Some papers argue that also in the case of a non-monotonic logic the semantics have to make the inherent temporal element explicit; approaches are described in, e.g., [Gabbay, 1982], [Engelfriet and Treur, 1993]. In the current paper we adopt this line.",
author = "{van der Hoek}, W. and J.J. Meyer and J. Treur",
year = "2001",
doi = "10.1007/978-94-017-1743-4_4",
language = "English",
isbn = "978-90-481-5903-1",
series = "Series in Defeasible Reasoning and Uncertainty Management Systems",
publisher = "Kluwer Academic",
pages = "41--64",
editor = "Gabbay, {D. }",
booktitle = "Dynamics and Management of Reasoning Processes",

}

van der Hoek, W, Meyer, JJ & Treur, J 2001, Formal Semantics of Temporal Epistemic Reflection. in D Gabbay (ed.), Dynamics and Management of Reasoning Processes. Series in Defeasible Reasoning and Uncertainty Management Systems, vol. 6, Kluwer Academic, pp. 41-64. https://doi.org/10.1007/978-94-017-1743-4_4

Formal Semantics of Temporal Epistemic Reflection. / van der Hoek, W.; Meyer, J.J.; Treur, J.

Dynamics and Management of Reasoning Processes. ed. / D. Gabbay. Kluwer Academic, 2001. p. 41-64 (Series in Defeasible Reasoning and Uncertainty Management Systems; Vol. 6).

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

TY - CHAP

T1 - Formal Semantics of Temporal Epistemic Reflection

AU - van der Hoek, W.

AU - Meyer, J.J.

AU - Treur, J.

PY - 2001

Y1 - 2001

N2 - Meta-level architectures often are used either to model dynamic control of the object level inferences, or to extend the inference relation of the object level. In [Treur, 1992] we introduced formal semantics for meta-level architectures of the first kind based on temporal models. It may be considered quite natural that for such a dynamic type of reasoning system the temporal element of the reasoning should be made explicit in the formal semantics. For the use of meta-level architectures to extend the object level inference relation the situation looks different. In principle one may work out formal semantics in terms of (the logic behind) this extended, non-classical inference relation; e.g., as in the literature for nonmonotonic logics. However, much discussion is possible about this case. Some papers argue that also in the case of a non-monotonic logic the semantics have to make the inherent temporal element explicit; approaches are described in, e.g., [Gabbay, 1982], [Engelfriet and Treur, 1993]. In the current paper we adopt this line.

AB - Meta-level architectures often are used either to model dynamic control of the object level inferences, or to extend the inference relation of the object level. In [Treur, 1992] we introduced formal semantics for meta-level architectures of the first kind based on temporal models. It may be considered quite natural that for such a dynamic type of reasoning system the temporal element of the reasoning should be made explicit in the formal semantics. For the use of meta-level architectures to extend the object level inference relation the situation looks different. In principle one may work out formal semantics in terms of (the logic behind) this extended, non-classical inference relation; e.g., as in the literature for nonmonotonic logics. However, much discussion is possible about this case. Some papers argue that also in the case of a non-monotonic logic the semantics have to make the inherent temporal element explicit; approaches are described in, e.g., [Gabbay, 1982], [Engelfriet and Treur, 1993]. In the current paper we adopt this line.

U2 - 10.1007/978-94-017-1743-4_4

DO - 10.1007/978-94-017-1743-4_4

M3 - Chapter

SN - 978-90-481-5903-1

T3 - Series in Defeasible Reasoning and Uncertainty Management Systems

SP - 41

EP - 64

BT - Dynamics and Management of Reasoning Processes

A2 - Gabbay, D.

PB - Kluwer Academic

ER -

van der Hoek W, Meyer JJ, Treur J. Formal Semantics of Temporal Epistemic Reflection. In Gabbay D, editor, Dynamics and Management of Reasoning Processes. Kluwer Academic. 2001. p. 41-64. (Series in Defeasible Reasoning and Uncertainty Management Systems). https://doi.org/10.1007/978-94-017-1743-4_4