Default reasoning with specificity

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

Volumn 1861, Issue , 2000, Pages 792-806

  D͡ng, Phan Minh ^a   Son, Tran Cao ^b  

^a ASIAN INSTITUTE OF TECHNOLOGY   (Thailand)

^b Stanford University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARGUMENTATION SEMANTICS; BASIC PROPERTIES; CONSEQUENCE RELATIONS; CONTEXT INDEPENDENT; CONTEXT SENSITIVE; DEFAULT REASONING; DEFAULT THEORY; NON-MONOTONIC REASONING; NONMONOTONIC; STABLE SEMANTICS;

LOGIC PROGRAMMING;

SEMANTICS;

EID: 0038682714     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (47)

1. Brewka, G.: A dding Priorities and Speci-city to Default Logic, Proc. JELIA 94, LNAI 838, Springer Verlag, 247-260.
2. Brewka, G.: Cumulative default logic: In defense of nonmonotonic inference rules, AIJ'50, 183-205.
3. Brewka, G. and Eiter, T.: Preferred Answer Sets for Extended Logic Programs, AIJ'109, (1999) 297-356.
4. Brewka, G.: Reasoning about Priorities in Default Logic, Proc. AAAI'94, Seatle, 1994.
5. Baader, F. and Hollunder, B.: How to prefer more speci-c defaults in terminological default logic, Proc. IJCAI'93.
6. Bondarenko A., Dung P.M., Kowalski R.A., Toni F.: An abstract, argumentationtheoretic approach to default reasoning, AIJ'93, (1997) 63-101.
7. Delgrande J.P.,Schaub, T.H.: A General Approach to Speci-city in Default Reasoning, Proc. KR'94 1994) 47-158.
8. Delgrande , J.P. and Schaub, T.H.: Compiling reasoning with and about preferences into default logic, Proc. IJCAI'97, 1997.
9. Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming and N-person game, AIJ'77, 2 (1995) 321-357.
10. Dung, P.M. and S on, T.C.: Nonmonotonic Inheritance , Argumentation, and Logic Programming, Proc. LPNMR'95, (1995) 316-329.
11. Dung, P.M. and Son, T.C.: An Argumentation-theoretic Approach to Default Reasoning with Speci-city, Proc. KR'96, (1996) 407-418.
12. Etherington, D.W. and Reiter, R.: On Inheritance Hierarchies With Exceptions, Proc. AAAI'84, (1984) 104-108.
13. Gelfond, M., Przymusi-nska, H.: Formalization of Inheritance Reasoning in Autoepistemic Logic, Fundamental Informaticae XIII, 4(1990), 403-445
14. Ge-ner, H., and Pearl J.: Conditional entailment: bridging two approaches to default reasoning, AIJ'53, (1992) 209-244.
15. Gelfond, M. and Son T.C.: Prioritized Default Theory, LNAI'1471, Proceeding of the Workshop LPKR'97, (1997) 164-223.
16. Geerts , P. and Viemeir, D.: A nonmonotonic reasoning formalism using implicit speci-city information, Proc. LPNRM'94, (1994) 380-396.
17. Horty, J.F.: Some direct Theories of Non-monotonic Inheritance in Handbook of Logic and Artificial Intelligence and Logic Programming, D.Gabbay and C. Hogger, Oxford Uni., 1991.
18. Horty, J.F., Thomason, R.H., and Touretzky, D.S.: A skeptical theory of inheritance in non-monotonic semantic networks, AIJ'42, (1987) 311-348.
19. Kraus, S., Lehmann, D., and Magidor, M.: Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, AIJ'44, (1990) 167-207
20. Konolige, K.: Hierarchic Autoepistemic Theories for Nonmonotonic Reasoning, Proc. AAAI'88, (1988) 439-443.
21. Marek, V.M. and Truszczynski, M.: Nonmonotonic Logic, Springer Verlag, 1993.
22. Moore, R.C.: Semantical Considerations on Nonmonotonic Logics, AIJ'25, 75-94.
23. McCarthy, J.: Circumscription-A form of nonmonotonic reasoning , AIJ'13, (1980) 27-39.
24. McCarthy, J.: Applications of Circumscription to Formalizing Commonsense Knowledge, AI, 1984.
25. McDermott, D. and Doyle, J.: Nonmonotonic Logic I, AIJ'13, (1980) 41-72.
26. Moinard, Y.: Preference by Speci-city in Default Logic, 1990.
27. Lifschitz, V.: Computing Circumscription, Proc. IJCAI'85, (1985) 121-127.
28. Lloyd J.W. Foundations of Logic Programming Springer Verlag 1987.
29. Pearl, J.: System Z: A na tural ordering of defaults with tractable applications to nonmonotonic reasoning: A survey; Proc. KR-89, (1989) 505-516.
30. Pereira, L. M., Aparicio, J. N., and Alferes, J. J.: Non-monotonic Reasoning with Logic Programming, Journal of Logic Programming 17(2, 3, & 4):227-263. 1993
31. Pollock, J.L.: Defeasible reasoning. Cognitive Science 17 (1987) 481-518.
32. Poo le, D.: On the comparison of theories: Preferring the most speci-c explanation, Proc. IJCAI'85, (1985) 144-147.
33. Prakken, H., and Sartor, G.: A semantics for argument-based systems with weak and strong negation and with explicit priorities. Draft, July 1995. An extended abstract can be found in Proceedings of the 5th International Conf. on AI and Laws, ACM Press, 1995, 1-9.
34. Prakken, H., and Vreeswijk, G.A.W.: Logics for Defeasible Argumentation, To appear in Handbook of Philosophical Logic, D.Gabbay, Oxford University.
35. Reiter R.: A Logic for Default Reasoning, AIJ'13 1-2 (1980), 81-132.
36. Reiter R. and Criscuolo G.: On interacting defaults, in Readings in Nonmonotonic Reasoning, Edited by M. L. Ginsberg, Morgan Kaufmann Publishers, Inc., Los Altos, California (1987) 94-100
37. Rintanen, J.: Lexicographic priorities in default logics, AIJ'106, 2 (1998) 221-265.
38. Sandewall, E.: Nonmonotonic Inference Rules for Multiple Inheritance with Exceptions, Proceedings of the IEEE, Vol. 74, No. 10, October (1986) 1345-1353
39. Simari, G.R. and Loui, R.P.: A mathematical treatment of defeasible reasoning and its implementation, Elsevier, AIJ'53, (1992) 125-257.
40. Simonet, G. and Ducournau R.: On Stein's paper: resolving ambiguity in nonmonotonic inheritance hierarchies, AIJ'71, 1 (1994) 183-193.
41. Simonet, G.: On Sandewall's paper: Nonmonotonic inference rules for multiple inheritance with exceptions, AIJ'86, 2 (1996) 359-374.
42. Stein, L.A.: Resolving ambiguity in non-monotonic inheritance hierarchies, AIJ'55, 259-310.
43. Touretzky, D. S.: The mathematics of Inheritance Systems, Morgan Kaufmann Pub., Inc., Los Altos, CA, 1986.
44. Touretzky, D. S., Horty, J.F., and Thomason, R.H. : A clash of Intuition: The current state of Non-monotonic Multiple Inheritance Systems, Proc. IJCAI'87, (1987) 476-482
45. Touretzky, D. S., Horty, J.F., and Thomason, R.H.: A skeptic's Menagerie: Conflictors, Preemptors, Reinstaters, and zombies in nonmonotonic Inheritance, Proc. IJCAI'91, (1991) 478-483
46. Vreeswijk, G.A.W.: The feasibility of defeat in defeasible reasoning, KR'91.
47. Wang, X., You, J.H., and Yuan, L.Y.: A default interpretation of defeasible network, Proc. IJCAI'97, 1997.