Revising default theories

Grigoris Antoniou, Mary Anne Williams

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)


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 languageEnglish
Title of host publication Proceedings Tenth IEEE International Conference on Tools with Artificial Intelligence
Number of pages8
ISBN (Print)0780352149
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 (Link to Conference Information)


ConferenceIEEE 10th International Conference on Tools with Artificial Intelligence
Country/TerritoryTaiwan, Province of China
Internet address


Dive into the research topics of 'Revising default theories'. Together they form a unique fingerprint.

Cite this