Revising default theories

Grigoris Antoniou, Mary Anne Williams

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

LanguageEnglish
Title of host publication Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence
PublisherIEEE
Pages423-430
Number of pages8
ISBN (Print)0780352149
DOIs
Publication statusPublished - 1 Dec 1998
Externally publishedYes
EventIEEE 10th International Conference on Tools with Artificial Intelligence - Taipei, Taiwan, Province of China
Duration: 10 Nov 199812 Nov 1998
Conference number: 10
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=744734 (Link to Conference Information)

Conference

ConferenceIEEE 10th International Conference on Tools with Artificial Intelligence
CountryTaiwan, Province of China
CityTaipei
Period10/11/9812/11/98
Internet address

Fingerprint

Requirements engineering

Cite this

Antoniou, G., & Williams, M. A. (1998). Revising default theories. In Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence (pp. 423-430). IEEE. https://doi.org/10.1109/TAI.1998.744881
Antoniou, Grigoris ; Williams, Mary Anne. / Revising default theories. Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence. IEEE, 1998. pp. 423-430
@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 = "12",
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",

}

Antoniou, G & Williams, MA 1998, Revising default theories. in Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence. IEEE, pp. 423-430, IEEE 10th International Conference on Tools with Artificial Intelligence, Taipei, Taiwan, Province of China, 10/11/98. https://doi.org/10.1109/TAI.1998.744881

Revising default theories. / Antoniou, Grigoris; Williams, Mary Anne.

Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence. IEEE, 1998. p. 423-430.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Revising default theories

AU - Antoniou, Grigoris

AU - Williams, Mary Anne

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

U2 - 10.1109/TAI.1998.744881

DO - 10.1109/TAI.1998.744881

M3 - Conference contribution

SN - 0780352149

SP - 423

EP - 430

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

PB - IEEE

ER -

Antoniou G, Williams MA. Revising default theories. In Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence. IEEE. 1998. p. 423-430 https://doi.org/10.1109/TAI.1998.744881