Revising nonmonotonic theories: The case of defeasible logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1701, Issue , 1999, Pages 101-112

  Billington, D ^a   Antoniou, G ^a   Governatori, G ^a   Maher, M ^a  

^a GRIFFITH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT SYSTEMS; KNOWLEDGE REPRESENTATION;

BELIEF REVISION; DEFEASIBLE LOGIC; DEFEASIBLE RULES; FIRST ORDER THEORIES; INCOMPLETE INFORMATION; KNOWLEDGE REPRESENTATION AND REASONING; NON-MONOTONIC REASONING; NONMONOTONIC;

COMPUTER CIRCUITS;

EID: 78649531441     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48238-5_8     Document Type: Conference Paper

References (19)

1. C.E. Alchourron, P. Gardenfors and D. Makinson. On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic 50 (1985), 510-530.
2. G. Antoniou. The role of nonmonotonic representations in requirements enginee-ring. International Journal of Software Engineering and Knowledge Engineering 8, 3 (1998): 385-399.
3. G. Antoniou, D. Billington and M. Maher. On the analysis of regulations using de- feasible rules. In Proc. 32nd Hawaii International Conference on Systems Science, IEEE Press 1999.
4. G. Brewka. Preferred Subtheories: An Extended Logical Framework for Default Reasoning. In Proc. 11th IJCAI, 1989, 1043-1048.
5. D.E. Cooke and Luqi. Logic Programming and Software Maintenance. Annals of Mathematics and Artificial Intelligence 21 (1997): 221-229.
6. M.A. Covington. Defeasible Logic on an Embedded Microcontroller. In Proc. 10th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, June 1997.
7. P. Gardenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press 1988.
8. P. Gardenfors and D. Makinson. Nonmonotonic Inference Based on Expectations. Artificial Intelligence 65 (1994): 197-245.
9. A. Ghose and R. Goebel. Belief states as default theories: Studies in non-prioritized belief change. In Proc. ECAI'98.
10. G. Gottlob. Complexity Results for Nonmonotonic Logics. Journal of Logic and Computation 2,3 (1992): 397-425.
11. W.L. Harper. Rational Conceptual Change. In PSA 1976, Philosophy of Science Association, Vol. 2, 462-494.
12. H.A. Kautz and B. Selman. Hard problems for simple default logics. Artificial Intelligence 49 (1991):243-279.
13. I. Levi. Subjunctives, dispositions and chances. Synthese 34, 423-455, 1977.
14. Luqi and D.E. Cooke. How to Combine Nonmonotonic Logic and Rapid Prototyping to Help Maintain Software. International Journal on Software Engineering and Knowledge Engineering 5,1 (1995): 89-118.
15. M.J. Maher, G. Antoniou and D. Billington. A Study of Provability in Defeasible Logic. In Proc. 11th Australian Joint Conference on Artificial Intelligence, LNAI 1502, Springer 1998, 215-226.
16. D. Nute. Defeasible Reasoning. In Proc. 20th Hawaii International Conference on Systems Science, IEEE Press 1987, 470-477.
17. M.A. Williams and N. Foo. Nonmonotonic Dynamics of Default Logics. In Proc. 9th European Conference on Artificial Intelligence, 1990, 702-707.
18. M.A. Williams and G. Antoniou. A Strategy for Revising Default Theory Extensions. in Proc. 6th International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann 1998.
19. D. Zowghi and R. Offen. A Logical Framework for Modeling and Reasoning about the Evolution of Requirements. In Proc. Third International Symposium on Requirements Engineering, IEEE Press 1997.