An Interpretation of Default Logic in Minimal Temporal Epistemic Logic

J. Engelfriet, J. Treur

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

Abstract

Many complex reasoning tasks have to deal with incomplete information. Reasoning systems trying to accomplish such a task contain basic knowledge that can be used to draw some conclusions about the domain, but may also have to make reasonable assumptions to be able to draw further conclusions. These assumptions usually reflect common sense knowledge about the domain, but sometimes have to be retracted in view of new evidence. A characteristic of this type of reasoning is that often several (conflicting) sets of assumptions exist which all lead to a coherent description of the domain. Any formalization of such reasoning processes has to take this into account. One of the logical approaches is Reiter’s default logic (e.g., see [Reiter, 1980; Besnard, 1989; Łukaszewicz, 1990]). A characteristic of default logic is that only after a complete set of (default) assumptions has been chosen, it can be checked whether it indeed gives an acceptable description of the domain. To be more specific, during the reasoning one meets a specific type of conditions (called justifications) in default rules to be applied, that cannot be fulfilled only on the basis of what has been derived until that moment. After application of a default rule, only in the future of the reasoning process it can be verified whether such a condition of the applied default rule will turn out to be justified or to be defeated. Therefore there is an essential temporal element in default reasoning. This suggests that a default rule can be given an interpretation as a temporal rule with one of its conditions referring to the future of the reasoning process. It seems that the process of actually constructing a set of coherent assumptions is reflected in Reiters approach to a certain extent, but without making the essential temporal element explicit. In this paper we will describe an interpretation of default logic in temporal epistemic logic. Notice that by temporal here a reference to internal time is meant: the reasoning is about a domain at a certain fixed point in time, but the reasoning system itself has an internal time over which its knowledge can vary.
Original languageEnglish
Title of host publicationDynamics and Management of Reasoning Processes
EditorsD. Gabbay
PublisherSpringer Verlag
Pages105-124
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

Default Logic
Epistemic Temporal Logic
Incomplete
Fixed Point
Default Reasoning
Common Sense
Justification
Logic
Formalization

Cite this

Engelfriet, J., & Treur, J. (2001). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. In D. Gabbay (Ed.), Dynamics and Management of Reasoning Processes (pp. 105-124). (Series in Defeasible Reasoning and Uncertainty Management Systems; Vol. 6). Springer Verlag. https://doi.org/10.1007/978-94-017-1743-4_7
Engelfriet, J. ; Treur, J. / An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Dynamics and Management of Reasoning Processes. editor / D. Gabbay. Springer Verlag, 2001. pp. 105-124 (Series in Defeasible Reasoning and Uncertainty Management Systems).
@inbook{1a2e677f391a4abfa590590fe2e18dcc,
title = "An Interpretation of Default Logic in Minimal Temporal Epistemic Logic",
abstract = "Many complex reasoning tasks have to deal with incomplete information. Reasoning systems trying to accomplish such a task contain basic knowledge that can be used to draw some conclusions about the domain, but may also have to make reasonable assumptions to be able to draw further conclusions. These assumptions usually reflect common sense knowledge about the domain, but sometimes have to be retracted in view of new evidence. A characteristic of this type of reasoning is that often several (conflicting) sets of assumptions exist which all lead to a coherent description of the domain. Any formalization of such reasoning processes has to take this into account. One of the logical approaches is Reiter’s default logic (e.g., see [Reiter, 1980; Besnard, 1989; Łukaszewicz, 1990]). A characteristic of default logic is that only after a complete set of (default) assumptions has been chosen, it can be checked whether it indeed gives an acceptable description of the domain. To be more specific, during the reasoning one meets a specific type of conditions (called justifications) in default rules to be applied, that cannot be fulfilled only on the basis of what has been derived until that moment. After application of a default rule, only in the future of the reasoning process it can be verified whether such a condition of the applied default rule will turn out to be justified or to be defeated. Therefore there is an essential temporal element in default reasoning. This suggests that a default rule can be given an interpretation as a temporal rule with one of its conditions referring to the future of the reasoning process. It seems that the process of actually constructing a set of coherent assumptions is reflected in Reiters approach to a certain extent, but without making the essential temporal element explicit. In this paper we will describe an interpretation of default logic in temporal epistemic logic. Notice that by temporal here a reference to internal time is meant: the reasoning is about a domain at a certain fixed point in time, but the reasoning system itself has an internal time over which its knowledge can vary.",
author = "J. Engelfriet and J. Treur",
year = "2001",
doi = "10.1007/978-94-017-1743-4_7",
language = "English",
isbn = "978-90-481-5903-1",
series = "Series in Defeasible Reasoning and Uncertainty Management Systems",
publisher = "Springer Verlag",
pages = "105--124",
editor = "D. Gabbay",
booktitle = "Dynamics and Management of Reasoning Processes",

}

Engelfriet, J & Treur, J 2001, An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. in D Gabbay (ed.), Dynamics and Management of Reasoning Processes. Series in Defeasible Reasoning and Uncertainty Management Systems, vol. 6, Springer Verlag, pp. 105-124. https://doi.org/10.1007/978-94-017-1743-4_7

An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. / Engelfriet, J.; Treur, J.

Dynamics and Management of Reasoning Processes. ed. / D. Gabbay. Springer Verlag, 2001. p. 105-124 (Series in Defeasible Reasoning and Uncertainty Management Systems; Vol. 6).

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

TY - CHAP

T1 - An Interpretation of Default Logic in Minimal Temporal Epistemic Logic

AU - Engelfriet, J.

AU - Treur, J.

PY - 2001

Y1 - 2001

N2 - Many complex reasoning tasks have to deal with incomplete information. Reasoning systems trying to accomplish such a task contain basic knowledge that can be used to draw some conclusions about the domain, but may also have to make reasonable assumptions to be able to draw further conclusions. These assumptions usually reflect common sense knowledge about the domain, but sometimes have to be retracted in view of new evidence. A characteristic of this type of reasoning is that often several (conflicting) sets of assumptions exist which all lead to a coherent description of the domain. Any formalization of such reasoning processes has to take this into account. One of the logical approaches is Reiter’s default logic (e.g., see [Reiter, 1980; Besnard, 1989; Łukaszewicz, 1990]). A characteristic of default logic is that only after a complete set of (default) assumptions has been chosen, it can be checked whether it indeed gives an acceptable description of the domain. To be more specific, during the reasoning one meets a specific type of conditions (called justifications) in default rules to be applied, that cannot be fulfilled only on the basis of what has been derived until that moment. After application of a default rule, only in the future of the reasoning process it can be verified whether such a condition of the applied default rule will turn out to be justified or to be defeated. Therefore there is an essential temporal element in default reasoning. This suggests that a default rule can be given an interpretation as a temporal rule with one of its conditions referring to the future of the reasoning process. It seems that the process of actually constructing a set of coherent assumptions is reflected in Reiters approach to a certain extent, but without making the essential temporal element explicit. In this paper we will describe an interpretation of default logic in temporal epistemic logic. Notice that by temporal here a reference to internal time is meant: the reasoning is about a domain at a certain fixed point in time, but the reasoning system itself has an internal time over which its knowledge can vary.

AB - Many complex reasoning tasks have to deal with incomplete information. Reasoning systems trying to accomplish such a task contain basic knowledge that can be used to draw some conclusions about the domain, but may also have to make reasonable assumptions to be able to draw further conclusions. These assumptions usually reflect common sense knowledge about the domain, but sometimes have to be retracted in view of new evidence. A characteristic of this type of reasoning is that often several (conflicting) sets of assumptions exist which all lead to a coherent description of the domain. Any formalization of such reasoning processes has to take this into account. One of the logical approaches is Reiter’s default logic (e.g., see [Reiter, 1980; Besnard, 1989; Łukaszewicz, 1990]). A characteristic of default logic is that only after a complete set of (default) assumptions has been chosen, it can be checked whether it indeed gives an acceptable description of the domain. To be more specific, during the reasoning one meets a specific type of conditions (called justifications) in default rules to be applied, that cannot be fulfilled only on the basis of what has been derived until that moment. After application of a default rule, only in the future of the reasoning process it can be verified whether such a condition of the applied default rule will turn out to be justified or to be defeated. Therefore there is an essential temporal element in default reasoning. This suggests that a default rule can be given an interpretation as a temporal rule with one of its conditions referring to the future of the reasoning process. It seems that the process of actually constructing a set of coherent assumptions is reflected in Reiters approach to a certain extent, but without making the essential temporal element explicit. In this paper we will describe an interpretation of default logic in temporal epistemic logic. Notice that by temporal here a reference to internal time is meant: the reasoning is about a domain at a certain fixed point in time, but the reasoning system itself has an internal time over which its knowledge can vary.

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

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

M3 - Chapter

SN - 978-90-481-5903-1

T3 - Series in Defeasible Reasoning and Uncertainty Management Systems

SP - 105

EP - 124

BT - Dynamics and Management of Reasoning Processes

A2 - Gabbay, D.

PB - Springer Verlag

ER -

Engelfriet J, Treur J. An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. In Gabbay D, editor, Dynamics and Management of Reasoning Processes. Springer Verlag. 2001. p. 105-124. (Series in Defeasible Reasoning and Uncertainty Management Systems). https://doi.org/10.1007/978-94-017-1743-4_7