On the dynamics of default reasoning

Research output: Contribution to journalArticle

6 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 languageEnglish
Pages (from-to)1143-1155
Number of pages13
JournalInternational Journal of Intelligent Systems
Volume17
Issue number12
Early online date22 Nov 2002
DOIs
Publication statusPublished - 1 Dec 2002
Externally publishedYes

Fingerprint

Default Reasoning
Default Logic
Reasoning
Incomplete Information
Dynamic Behavior
Contraction

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 = "12",
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 Ltd",
number = "12",

}

On the dynamics of default reasoning. / Antoniou, Grigoris.

In: International Journal of Intelligent Systems, Vol. 17, No. 12, 01.12.2002, p. 1143-1155.

Research output: Contribution to journalArticle

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 - http://www.scopus.com/inward/record.url?scp=0036906268&partnerID=8YFLogxK

U2 - 10.1002/int.10065

DO - 10.1002/int.10065

M3 - Article

VL - 17

SP - 1143

EP - 1155

JO - International Journal of Intelligent Systems

JF - International Journal of Intelligent Systems

SN - 0884-8173

IS - 12

ER -