Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Revising Nonmonotonic Theories: The Case of Defeasible Logic

D. BillingtonContact Information, G. AntoniouContact Information, G. GovernatoriContact Information and M. MaherContact Information

(3)  School of Computing and Information Technology, Griffith University, QLD 4111, Australia
Abstract
The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are the fact that intelligent systems are gradually developed and refined, and that often the environment of an intelligent system is not static but changes over time. Traditionally belief revision has been concerned with revising first order theories.
Nonmonotonic reasoning provides rigorous techniques for reasoning with incomplete information. Until recently the dynamics of nonmonotonic reasoning approaches has attracted little attention. This paper studies the dynamics of defeasible logic, a simple and efficient form of nonmonotonic reasoning based on defeasible rules and priorities. We define revision and contraction operators and propose postulates. Our postulates try to follow the ideas of AGM belief revision as far as possible, but some AGM postulates clearly contradict the nonmonotonic nature of defeasible logic, as we explain. Finally we verify that the operators satisfy the postulates.

Contact Information D. Billington
Email: db@cit.gu.edu.au

Contact Information G. Antoniou
Email: ga@cit.gu.edu.au

Contact Information G. Governatori
Email: guido@cit.gu.edu.au

Contact Information M. Maher
Email: mjm@cit.gu.edu.au
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.107 • Server: MPWEB25
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)