On the dynamics of default reasoning

Grigoris Antoniou

doi:10.1002/int.10065

On the dynamics of default reasoning

Grigoris Antoniou

University of Bremen

Research output: Contribution to journal › Article › peer-review

11 Citations (Scopus)

Abstract

Default logic is a prominent rigorous method for reasoning with incomplete information based on assumptions. It is a static reasoning approach, in the sense that it doesn't reason about changes and their consequences. On the other hand, its nonmonotonic behavior appears when changes to a default theory are made. This paper studies the dynamic behavior of default logic in the face of changes. We consider the operations of contraction and revision, present several solutions to these problems, and study their properties.

Original language	English
Pages (from-to)	1143-1155
Number of pages	13
Journal	International Journal of Intelligent Systems
Volume	17
Issue number	12
Early online date	22 Nov 2002
DOIs	https://doi.org/10.1002/int.10065
Publication status	Published - 1 Dec 2002
Externally published	Yes

Access to Document

10.1002/int.10065Licence: Unspecified

Cite this

@article{7b31a6a8d9e24e8693e940d1ffb69cb2,

title = "On the dynamics of default reasoning",

abstract = "Default logic is a prominent rigorous method for reasoning with incomplete information based on assumptions. It is a static reasoning approach, in the sense that it doesn't reason about changes and their consequences. On the other hand, its nonmonotonic behavior appears when changes to a default theory are made. This paper studies the dynamic behavior of default logic in the face of changes. We consider the operations of contraction and revision, present several solutions to these problems, and study their properties.",

author = "Grigoris Antoniou",

year = "2002",

month = dec,

day = "1",

doi = "10.1002/int.10065",

language = "English",

volume = "17",

pages = "1143--1155",

journal = "International Journal of Intelligent Systems",

issn = "0884-8173",

publisher = "John Wiley and Sons Inc.",

number = "12",

}

TY - JOUR

T1 - On the dynamics of default reasoning

AU - Antoniou, Grigoris

PY - 2002/12/1

Y1 - 2002/12/1

N2 - Default logic is a prominent rigorous method for reasoning with incomplete information based on assumptions. It is a static reasoning approach, in the sense that it doesn't reason about changes and their consequences. On the other hand, its nonmonotonic behavior appears when changes to a default theory are made. This paper studies the dynamic behavior of default logic in the face of changes. We consider the operations of contraction and revision, present several solutions to these problems, and study their properties.

AB - Default logic is a prominent rigorous method for reasoning with incomplete information based on assumptions. It is a static reasoning approach, in the sense that it doesn't reason about changes and their consequences. On the other hand, its nonmonotonic behavior appears when changes to a default theory are made. This paper studies the dynamic behavior of default logic in the face of changes. We consider the operations of contraction and revision, present several solutions to these problems, and study their properties.

UR - https://www.scopus.com/pages/publications/0036906268

U2 - 10.1002/int.10065

DO - 10.1002/int.10065

M3 - Article

AN - SCOPUS:0036906268

SN - 0884-8173

VL - 17

SP - 1143

EP - 1155

JO - International Journal of Intelligent Systems

JF - International Journal of Intelligent Systems

IS - 12

ER -

On the dynamics of default reasoning

Abstract

Access to Document

Other files and links

Fingerprint

Cite this