Specification of nonmonotonic reasoning

J. Engelfriet, J. Treur

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

Abstract

Nonmonotonic reasoning systems address applications where an agent reasoning about the world wants to draw conclusions that are not logically entailed by its (incomplete) knowledge about the world. Under such circumstances it is only possible to build a set of (additional) beliefs of hypothetical nature. Such a set of beliefs represents a hypothetical view on the world. In general it is not unique: multiple views are possible; an agent may (temporarily) commit itself to one view and switch its commitment to another one later. Such a view does not necessarily give a complete world description either. Each view leaves open a number of possible complete world descriptions. However, the additional knowledge defining the view an agent is committing to, may be sufficient for the agent to draw the required (defeasible) conclusions (within the context of that view).
Original languageEnglish
Title of host publicationDynamics and Management of Reasoning Processes
EditorsD. Gabbay
PublisherKluwer Academic
Pages83-103
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

Nonmonotonic Reasoning
Nature
Incomplete

Cite this

Engelfriet, J., & Treur, J. (2001). Specification of nonmonotonic reasoning. In D. Gabbay (Ed.), Dynamics and Management of Reasoning Processes (pp. 83-103). (Series in Defeasible Reasoning and Uncertainty Management Systems,; Vol. 6). Kluwer Academic. https://doi.org/10.1007/978-94-017-1743-4_6
Engelfriet, J. ; Treur, J. / Specification of nonmonotonic reasoning. Dynamics and Management of Reasoning Processes. editor / D. Gabbay. Kluwer Academic, 2001. pp. 83-103 (Series in Defeasible Reasoning and Uncertainty Management Systems,).
@inbook{7fd4a544f14a4db3814cf329806c7fce,
title = "Specification of nonmonotonic reasoning",
abstract = "Nonmonotonic reasoning systems address applications where an agent reasoning about the world wants to draw conclusions that are not logically entailed by its (incomplete) knowledge about the world. Under such circumstances it is only possible to build a set of (additional) beliefs of hypothetical nature. Such a set of beliefs represents a hypothetical view on the world. In general it is not unique: multiple views are possible; an agent may (temporarily) commit itself to one view and switch its commitment to another one later. Such a view does not necessarily give a complete world description either. Each view leaves open a number of possible complete world descriptions. However, the additional knowledge defining the view an agent is committing to, may be sufficient for the agent to draw the required (defeasible) conclusions (within the context of that view).",
author = "J. Engelfriet and J. Treur",
year = "2001",
doi = "10.1007/978-94-017-1743-4_6",
language = "English",
isbn = "978-90-481-5903-1",
series = "Series in Defeasible Reasoning and Uncertainty Management Systems,",
publisher = "Kluwer Academic",
pages = "83--103",
editor = "D. Gabbay",
booktitle = "Dynamics and Management of Reasoning Processes",

}

Engelfriet, J & Treur, J 2001, Specification of nonmonotonic reasoning. in D Gabbay (ed.), Dynamics and Management of Reasoning Processes. Series in Defeasible Reasoning and Uncertainty Management Systems, vol. 6, Kluwer Academic, pp. 83-103. https://doi.org/10.1007/978-94-017-1743-4_6

Specification of nonmonotonic reasoning. / Engelfriet, J.; Treur, J.

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

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

TY - CHAP

T1 - Specification of nonmonotonic reasoning

AU - Engelfriet, J.

AU - Treur, J.

PY - 2001

Y1 - 2001

N2 - Nonmonotonic reasoning systems address applications where an agent reasoning about the world wants to draw conclusions that are not logically entailed by its (incomplete) knowledge about the world. Under such circumstances it is only possible to build a set of (additional) beliefs of hypothetical nature. Such a set of beliefs represents a hypothetical view on the world. In general it is not unique: multiple views are possible; an agent may (temporarily) commit itself to one view and switch its commitment to another one later. Such a view does not necessarily give a complete world description either. Each view leaves open a number of possible complete world descriptions. However, the additional knowledge defining the view an agent is committing to, may be sufficient for the agent to draw the required (defeasible) conclusions (within the context of that view).

AB - Nonmonotonic reasoning systems address applications where an agent reasoning about the world wants to draw conclusions that are not logically entailed by its (incomplete) knowledge about the world. Under such circumstances it is only possible to build a set of (additional) beliefs of hypothetical nature. Such a set of beliefs represents a hypothetical view on the world. In general it is not unique: multiple views are possible; an agent may (temporarily) commit itself to one view and switch its commitment to another one later. Such a view does not necessarily give a complete world description either. Each view leaves open a number of possible complete world descriptions. However, the additional knowledge defining the view an agent is committing to, may be sufficient for the agent to draw the required (defeasible) conclusions (within the context of that view).

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

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

M3 - Chapter

SN - 978-90-481-5903-1

T3 - Series in Defeasible Reasoning and Uncertainty Management Systems,

SP - 83

EP - 103

BT - Dynamics and Management of Reasoning Processes

A2 - Gabbay, D.

PB - Kluwer Academic

ER -

Engelfriet J, Treur J. Specification of nonmonotonic reasoning. In Gabbay D, editor, Dynamics and Management of Reasoning Processes. Kluwer Academic. 2001. p. 83-103. (Series in Defeasible Reasoning and Uncertainty Management Systems,). https://doi.org/10.1007/978-94-017-1743-4_6