Revising default theories

Grigoris Antoniou; Mary Anne Williams

doi:10.1109/TAI.1998.744881

Revising default theories

Grigoris Antoniou, Mary Anne Williams

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

Abstract

Default logic is a prominent rigorous method of 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 behaviour appears when a change to a default theory is made. This paper studies the dynamic behaviour of default logic in the face of changes, a concept that we motivate by a reference to requirements engineering. The paper defines a contraction and a revision operator, and studies their properties. This work is part of an ongoing project whose aim is to build an integrated, domain-independent toolkit of logical methods for reasoning with changing and incomplete information. The techniques described in this paper will be implemented as part of the toolkit.

Original language	English
Title of host publication	Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence
Publisher	IEEE
Pages	423-430
Number of pages	8
ISBN (Print)	0780352149
DOIs	https://doi.org/10.1109/TAI.1998.744881
Publication status	Published - 1 Dec 1998
Externally published	Yes
Event	IEEE 10th International Conference on Tools with Artificial Intelligence - Taipei, Taiwan, Province of China Duration: 10 Nov 1998 → 12 Nov 1998 Conference number: 10 https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=744734 (Link to Conference Information)

Conference

Conference	IEEE 10th International Conference on Tools with Artificial Intelligence
Country/Territory	Taiwan, Province of China
City	Taipei
Period	10/11/98 → 12/11/98
Internet address	https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=744734 (Link to Conference Information)

Access to Document

10.1109/TAI.1998.744881Licence: Unspecified

Cite this

@inproceedings{11e05886b3b74ac3b014ff61390ccf32,

title = "Revising default theories",

abstract = "Default logic is a prominent rigorous method of 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 behaviour appears when a change to a default theory is made. This paper studies the dynamic behaviour of default logic in the face of changes, a concept that we motivate by a reference to requirements engineering. The paper defines a contraction and a revision operator, and studies their properties. This work is part of an ongoing project whose aim is to build an integrated, domain-independent toolkit of logical methods for reasoning with changing and incomplete information. The techniques described in this paper will be implemented as part of the toolkit.",

author = "Grigoris Antoniou and Williams, \{Mary Anne\}",

year = "1998",

month = dec,

day = "1",

doi = "10.1109/TAI.1998.744881",

language = "English",

isbn = "0780352149",

pages = "423--430",

booktitle = "Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence",

publisher = "IEEE",

address = "United States",

note = "IEEE 10th International Conference on Tools with Artificial Intelligence ; Conference date: 10-11-1998 Through 12-11-1998",

url = "https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=744734",

}

TY - GEN

T1 - Revising default theories

AU - Antoniou, Grigoris

AU - Williams, Mary Anne

N1 - Conference code: 10

PY - 1998/12/1

Y1 - 1998/12/1

N2 - Default logic is a prominent rigorous method of 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 behaviour appears when a change to a default theory is made. This paper studies the dynamic behaviour of default logic in the face of changes, a concept that we motivate by a reference to requirements engineering. The paper defines a contraction and a revision operator, and studies their properties. This work is part of an ongoing project whose aim is to build an integrated, domain-independent toolkit of logical methods for reasoning with changing and incomplete information. The techniques described in this paper will be implemented as part of the toolkit.

AB - Default logic is a prominent rigorous method of 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 behaviour appears when a change to a default theory is made. This paper studies the dynamic behaviour of default logic in the face of changes, a concept that we motivate by a reference to requirements engineering. The paper defines a contraction and a revision operator, and studies their properties. This work is part of an ongoing project whose aim is to build an integrated, domain-independent toolkit of logical methods for reasoning with changing and incomplete information. The techniques described in this paper will be implemented as part of the toolkit.

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

U2 - 10.1109/TAI.1998.744881

DO - 10.1109/TAI.1998.744881

M3 - Conference contribution

AN - SCOPUS:0032279001

SN - 0780352149

SP - 423

EP - 430

BT - Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence

PB - IEEE

T2 - IEEE 10th International Conference on Tools with Artificial Intelligence

Y2 - 10 November 1998 through 12 November 1998

ER -

Revising default theories

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this