On Specificity in Default Logic

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1995, Pages 1474-1479

  Rintanen, Jussi ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC;

DEFAULT LOGIC; DEFAULT THEORY; MECHANISM-BASED; NON-MONOTONIC REASONING;

COMPUTER CIRCUITS;

EID: 0002320998     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. [Adams, 1975] Ernest W Adams The Logic of Conditionals An Application of Probability to Deductive Logic, volume 86 of Synthese Library D Reidel Publishing Company, Dordrecht, Holland, 1975.
2. [Baader and Hollunder, 1993] Franz Baader and Bernhard Hollunder How to prefer more specific defaults in terminological default logic In Ruzena Bajcsy, editor, Proceedings of the I3th International Joint Conference on Artificial Intelligence, volume 1, pages 669- 674, Chambery, France, 1993.
3. [Brewka, 1989] Gerhard Brewka Preferred subtheones an extended logical framework for default reasoning In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages 1043-1048, Detroit, 1989 Morgan Kaufmann Publishers.
4. [Brewka, 1994] Gerhard Brewka Adding priorities and specificity to default logic In Logic tn Artificial Intel ligence Proceedings of the 4th European Workshop JELIA'94, number 838 in Lecture Notes in Artificial Intelligence, pages 247-260, York, England, 1994 Springer-Verlag.
5. [Delgrande and Schaub, 1994] James P Delgrande and Torsten H Schaub A general approach to specificity in default reasoning In Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning, pages 146-157, Bonn, May 1994.
6. [Delgrande, 1994] James P Delgrande A preferencebased approach to default reasoning Preliminary report In Proceedings of the 12th National Conference on Artificial Intelligence, pages 902-908, 1994.
7. [Gardenfors and Makmson, 1994] Peter Gardenfors and David MakinBon Nonmonotonic inference based on expectations Artificial Intelligence, 65 197-245, 1994.
8. [Geffner and Pearl, 1992] Hector Geffner and Judea Pearl Conditional entailment bridging two approaches to default reasoning Artificial Intelligence 53 209-244, 1992.
9. [Gelfond and Przymusinska, 1990] Michael Gelfond and Habna Przymueineka Formalization of inheritance reasoning in autoepistemic logic Fundamenta Informaticae, 13(4) 403-443, 1990.
10. [Goldszmidt et a l, 1990] Moises Goldszmidt, Paul Morns, and Judea Pearl A maximum entropy approach to nonmonotonic reasoning In Proceedings of the 9th National Conference on Artificial Intelligence, pages 646-652, Boston, 1990.
11. |Horty, 1994] John F Horty Some dirert theories of nonmonotonic inheritance In D M Gabbay, C J Hogger, and J A Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming Nonmonotonic Reasoning and Uncertain Reasoning, volume 3, pages 111-187 Clarendon Press Oxford, 1994.
12. [Konohge, 1988] Kurt Konobge Hierarchic autoepis temic theories for nonmonotonic reasoning Preliminary report In M Remfrank, J de Kleer, M L Gins berg, and E Sandewall, editors, Proceedings of the 2nd Workshop on Non-Monotomc Reasoning, number 346 in Lecture Notes in Artificial Intelligence, pages 42-59, Grassau Germany, June 1988 Springer-Verlag.
13. [Kraus et a l, 1990] Sarit Kraus, Daniel Lehmann, and Menachem Magidor Nonmonotonic reasoning pref erential models and cumulative logics Artificial Intelligence, 44 167-207, 1990.
14. [Lehmann and Magidor, 1992] Daniel Lehmann and Menachem Magidor What does a conditional knowledge base entail? Artificial Intelligence, 55 1-60, 1992.
15. [Lifschitz, 1985] Vladimir Lifschitz Computing circumscription In A Joshi, editor, Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 121-127, Los Angeles, August 1985 Morgan Kaufmann Publishers.
16. [Marek and Truszczyriski, 1993] V W Marek and M Truszcz} riski Nonmonotonic Logic Context- Dependent Reasoning Springer-Verlag, 1993.
17. [Moore, 1985] R C Moore Semantical considerations on nonmonotonic logic Artificial Intelligence 25 75- 94, 1985.
18. [Pearl, 1988] Judea Pearl Probabilistic Reasoning m Intelligent Systems Networks of Plausible Inference Morgan Kaufmann Publishers, San Mateo, CA, 1988.
19. [Pearl, 1990] Judea Pearl System Z a natural order ing of defaults with tractable applications to non monotomc logic In Proceedings of the 3rd Conference on Theoretical Aspect∗ of Reasoning about Knowledge, pages 121-135 Pacific Grove, CA, March 1990 Morgan Kaufmana Publishers.
20. [Pollock, 1994] John L Pollock Justification and defeat Artificial Intelligence, 67 377-407 1994.
21. [Poole, 1985] David L Poole On the comparison of theories preferring the moat specific explanation In .Proceedings of the 9th International Joint Conference on Artificial Intelligence, pages 144-147, Los Angeles, CA, 1985.
22. [Poole, 1988] David Poole A logical framework for default reasoning Artificial Intelligence, 36 27-47, 1988.
23. [Poole, 1991] David Poole The effect of knowledge on bebef Conditioning, specificity and the lottery paradox in default reasoning Artificial Intelligence, 49(1- 3)281-307, 1991.
24. [Reiter and Cnscuolo, 1981] Raymond Reiter and Giovanni Cnscuolo On interacting defaults In Proceedings of the 7th International Joint Conference on Ar tificial Intelligence, pages 270-276, 1981.
25. [Reiter, 1980] R Reiter A logic for default reasoning Artificial Intelligence, 13 81-132, 1980.
26. [Rintanen, 1994] Jussi Rintanen Pnontized autoepistemic logic In Logic in Artificial Intelligence Proceedings of the 4th European Workshop JELIA '94 number 838 in Lecture Notes in Artificial Intelligence, pages 232-246, York, England, 1994 Springer-Verlag.
27. [Rvan, 1992| Mark Rvan Representing defaults as sentences with reduced priority In B Nebel, C Rich, and W Swartout, editors, Proceedings of the 3rd International Conference on Principles of Knowledge Repre sentation and Reasoning, pages 649-660, Cambridge, MA October 1992 Morgan Kaufmann Pubhshers.
28. [Simari and Loui, 1992] Guillermo R Simari and Ronald P Loui A mathematical treatment of defeasible reasoning and its implementation Artificial Intelligence, 53 125-157, 1992.