Defeasible logic

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2543, Issue , 2003, Pages 151-169

  Nute, Donald ^a  

^a UNIVERSITY OF GEORGIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DECISION SUPPORT SYSTEMS; HOLOGRAPHY; SET THEORY; THEOREM PROVING; TREES (MATHEMATICS); AUTONOMOUS AGENTS; KNOWLEDGE MANAGEMENT; WATER SUPPLY;

AUTOMATED REASONING; DEFEASIBLE RULES; HUMAN REASONING; PROOF THEORY;

LOGIC PROGRAMMING; POTABLE WATER;

AUTOMATED REASONING; DEFEASIBLE LOGIC; MODEL REASONINGS; NORMATIVE REASONING; THEORETICAL APPROACH;

EID: 23144443824     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-36524-9_13     Document Type: Conference Paper

References (37)

1. Moore, R.: Semantical considerations on non-monotonic logic. Artificial Intelligence 25 (1985) 75-94
2. Loui, R.: Theory and Computation of Uncertain Inference and Decision. PhD thesis, The University of Rochester (1987) Technical Report 228, Department of Computer Science.
3. Loui, R.: Defeat among arguments: A system of defeasible inference. Computational Intelligence 3 (1987) 100-106
4. Geffner, H.: Default Reasoning: Causal and Conditional Theories. PhD thesis, UCLA (1989) Research Report 137, Cognitive Systems Laboratory, Department of Computer Science.
5. Geffner, H., Pearl, J.: A framework for reasoning with defaults. In Kyburg, H., Loui, R., Carlson, G., eds.: Knowledge Representation and Defeasible Reasoning. Studies in Cognitive Systems. Kluwer Academic Publishers, Boston (1989) 69-88
6. Pollock, J.: A theory of defeasible reasoning. International Journal of Intelligent Systems 6 (1991) 33-54
7. Pollock, J.: Self-defeating argument. Minds and Machines 1 (1991) 367-392
8. Nute, D.: Defeasible logic. In Gabbay, D., Hogger, C., eds.: Handbook of Logic for Artificial Intelligence and Logic Programming. Volume III. Oxford University Press, Oxford (1994)
9. Schurtz, G.: Defeasible reasoning based on constructive and cumulative rules. In Casati, R., Smith, B., White, G., eds.: Philosophy and Cognitive Sciences. Hölder-Pichler-Tempsky (1994) 297-310
10. Makinson, D.: On a fundamental problem of deontic logic. In Prakken, H., McNamara, P., eds.: ΔEON'98:4th International Workshop on Deontic Logic in Computer Science, Università degli Studi di Bologna (1998)
11. Dung, P. M., Kowalski, R. A., Toni, F.: Synthesis of proof procedures for default reasoning. In: Proceedings of the international workshop on logic programming synthesis and transformation, Springer Lecture Notes on Computer Science 1207 (1996) 313-324
12. Reiter, R.: A logic for default reasoning. Artificial Intelligence 13 (1980) 81-132
13. Konolige, K.: On the relation between default theories and autoepistemic logic. Artificial Intelligence 35 (1988) 343-382
14. Morreau, M.: Reasons to think and act. In Nute, D., ed.: Defeasible Deontic Logic. Synthese Library. Kluwer Academic Publishers, Dordrecht, Netherlands (1997) 139-158
15. Donnelly, S.: Semantics, soundness, and incompleteness for a defeasible logic. Master's thesis, Artificial Intelligence Center, The University of Georgia (1999)
16. Nute, D.: Apparent obligation. In Nute, D., ed.: Defeasible Deontic Logic. Synthese Library. Kluwer Academic Publishers, Dordrecht, Netherlands (1997) 287-315
17. Gabbay, D.: Labelled Deductive Systems. Volume 1. Oxford University Press, Oxford (1996)
18. Makinson, D., Schechta, K.: Floating conclusions and zombie paths: two deep difficulties in the 'directly skeptical' approach to inheritance nets. Artificial Intelligence 48 (1991) 199-209
19. Nute, D.: Norms, priorities, and defeasibility. In McNamara, P., Prakken, H., eds.: Norms, Logics and Information Systems. IOS Press, Amsterdam (1999) 201-218.
20. Nute, D., Lewis, M.: A users manual for d-Prolog. Research Report 01-0016, Artificial Intelligence Programs, The University of Georgia (1986)
21. Nute, D.: Basic defeasible logic. In nas del Cerro, L. F., Penttonen, M., eds.: Intensional Logics for Programming. Oxford University Press (1992) 125-154
22. Nute, D.: A decidable quantified defeasible logic. In Prawitz, D., Skyrms, B., Westerstahl, D., eds.: Logic, Methodology and Philosophy of Science IX. Elsevier Science B. V, New York (1994) 263-284
23. Covington, M., Nute, D., Vellino, A.: Prolog Programming in Depth, Second Edition. Prentice-Hall, Englewood Cliffs, NJ (1997)
24. Conklin, J., Begemena, M. L.: gIBIS: A tool for all reasons. Journal of the American Society for Information Systems 40 (1989) 140-152
25. Hua, H., Kimbrough, S.: On hypermedia-based argumentation decision support systems. unpublished manuscript (1995)
26. Nute, D., Henderson, C., Hunter, Z.: Defeasible logic graphs ii: Implementation. Decision Support Systems (to appear)
27. Nute, D., Erk, K.: Defeasible logic graphs i: Theory. Decision Support Systems (to appear)
28. Nute, D., Mann, R., Brewer, B.: Conrtolling expert system recommendations with defeasible logic. Decision Support Systems 6 (1990) 153-164
29. Georgoff, D. M., Murdick, R. G.: Manager's guide to forecasting. Harvard Business Review (1986) 110-120
30. Puppa, A.: A comparison: Knowledge representation in Prolog and in defeasible Prolog. Master's thesis, Artificial Intelligence Center, The University of Georgia (1997)
31. Nute, D.: V-World. Software, Artificial Intelligence Center, The University of Georgia (2001) Available online at http:/www.arches.uga.edu/~dnute/vworld.
32. Hunter, Z.: dd-Prolog: A deontic extension of d-Prolog. Master's thesis, The University of Georgia (1997)
33. Ryu, Y.: A Formal Representation of Normative Systems: A Defeasible Deontic Reasoning Approach. PhD thesis, University of Texas (1992)
34. Dhanesha, K.: Normative expert system using deontic logic and defeasible reasoning. Master's thesis, The University of Georgia (1994)
35. Ryu, Y., Lee, R.: Defeasible deontic reasoning: A logic programming model. In Meyer, J. J. C., Wieringa, R. J., eds.: Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons Ltd. (1993)
36. Ryu, Y., Lee, R.: Defeasible deontic reasoning and its applications to normative systems. Decision Support Systems 4 (1995) 59-73
37. Ryu, Y., Lee, R.: Deontic logic viewed as defeasible reasoning. In Nute, D., ed.: Defeasible Deontic Logic: Essays in Nonmonotonic Normative Reasoning. Kluwer Academic Publishers, Dordrecht, Holland (1997)