Hard problems for simple default logics
Artificial Intelligence - Special issue on knowledge representation
Nonmonotonic inference based on expectations
Artificial Intelligence
Logic programming and software maintenance
Annals of Mathematics and Artificial Intelligence
A Study of Provability in Defeasible Logic
AI '98 Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence
A Logical Framework for Modeling and Reasoning About the Evolution of Requirements
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
On the Analysis of Regulations using Defeasible Rules
HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Defeasible logic on an embedded microcontroller
IEA/AIE'1997 Proceedings of the 10th international conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
Preferred subtheories: an extended logical framework for default reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Updating action domain descriptions
Artificial Intelligence
Retroactive legal changes and revision theory in defeasible logic
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue
Superiority based revision of defeasible theories
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
On influence and contractions in defeasible logic programming
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Rule-based agents, compliance, and intention reconsideration in defeasible logic
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
On the link between partial meet, kernel, and infra contraction and its application to Horn logic
Journal of Artificial Intelligence Research
Norm compliance of rule-based cognitive agents
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Belief base change operations for answer set programming
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |
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.