Ordering-based representations of rational inference

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

Volumn 1126, Issue , 1996, Pages 176-191

  Georgatos, Konstantinos ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Foundations of knowledge representation; Nonmonotonic consequence relations; Nonmonotonic reasoning; Orderings of formulas

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

APPLICATION-ORIENTED; CONSEQUENCE RELATIONS; DEFAULT LOGIC; IDEAL SYSTEMS; NON-MONOTONIC REASONING; ORDERINGS OF FORMULAS; TOTAL PREORDERS;

KNOWLEDGE REPRESENTATION;

EID: 84887221369     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (29)

1. C. E. Alchourrón, P. Gardenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. The Journal of Symbolic Logic, 50:510-530, 1985.
2. D. Dubois. Belief structures, possibility theory and decomposable confidence measures on finite sets. Computers and Artificial Intelligence, 5(5):403-416, 1986.
3. D. Dubois and H. Prade. Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum, New York, 1988.
4. D. Dubois and H. Prade. Epistemic entrenchment and possibilistic logic. Artificial Intelligence, 50:223-239, 1991.
5. L. Farinas del Cerro, A. Herzig, and J. Lang. From ordering-based nonmonotonic reasoning to conditional logics. Artificial Intelligence, 66:375-393, 1994.
6. D. Gabbay. Theoretical foundations for nonmonotonic reasoning in expert systems. In K. Apt, editor, Logics and Models of Concurrent Systems. Springer-Verlag, Berlin, 1985.
7. P. Gardenfors and D. Makinson. Revisions of knowledge systems using epistemic entrenchment. In Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 661-672, 1992.
8. Peter Gäirdenfors and David Makinsono Nonmonotonic inference based on expectations. Artificial Intelligence, 65:197-245, 1994.
9. K. Georgatos. Preferential orderings. Typed Manuscript. July 1995.
10. K. Georgatos. Priority relations: A uniform approach to nonmonotonic inference. Submitted.
11. K. Georgatos. Default logic and nonmonotonic consequence relations (abstract). In lOth International Congress of Logic, Methodology and Philosophy of Science, page 97, Florence, Italy, 1995.
12. K. Georgatos. On the relations between rational and expectation inference. Technical report, Institute of Mathematical Sciences, Madras, India, February 1995.
13. S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990.
14. D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55:1-60, 1992.
15. D. Makinson. General theory of cumulative inference. In M. Reinffanck, editor, Non- Monotoning Reasoning, number 346 in Lecture Notes in Artificial Intelligence, pages 1-18. Springer-Veflag, Berlin, 1989.
16. D. Makinson. General patterns in nonmonotonic reasoning. In D. Gabbay, editor, Handbook of Logic in Artificial Intelligence and Logic Programming, volume IL Oxford University Press, 1994.
17. D. Makinson and E Gärdenfors. Relations between the logic of theory change and nonmonotonic logic. In A. Fuhrmann and M. Morreau, editors, The Logic of Theory Change, number 465 in Lecture Notes in Artificial Intelligence, pages 185-205, Berlin, 1991. Spfinger-Verlag.
18. B. Nebel. Belief revision and default reasoning: Syntax based approaches. In J. A. Allen, R. Fikes, J. R. Levesque, and R. Reiter, editors, Proceedings of The,Second International Conference on Principles of Knowledge Representation and Reasoning (KR 91), pages 301-311. Morgan Kaufmann, 1991.
19. B. Nebel. Base revision operations and schemes: Semantics, representation, and complexity. In A. Cohn, editor, Proceedings of The llth European Conference on Artificial Intelligence (ECAI 94), pages 341-345. John Wiley, 1994.
20. J. Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, Los Altos, California, 1988.
21. H. Rott. A nonmonotonic conditional logic for belief revision. In A. Fuhrmann and M. Morreau, editors, The Logic of Theory Change, number 465 in Lecture Notes in Artificial Intelligence pages 135-183, Berlin, 1991. Springer-Vedag.
22. H. Rott. Two methods of constmcting contractions and revisions of knowledge systems. Jourhal of Philosophical Logic, 20:149-173, 1991.
23. G. L. S. Shackle. Decision, Order and Time in Human Affairs. Cambridge University Press, Cambridge, England, 1961.
24. G. Shafer. A Mathematical Theory of Evidence. Princeton University Press, Princeton, NJ, 1976.
25. Y. Shoham. A semantical approach to non-monotonic logics. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence (IJ CAI), pages 1413-1419, 1987.
26. W. Spohn. Ordinal conditional functions: A dynamic theory of epistemic states. In W. L. Harper and B. Skyrms, editors, Causation in Decision, Belief Change, and Statistics, volume 2, pages 105-134. D. Reidel Publishing Company, Dordrecht, Holland, 1987.
27. R. Stalnaker. What is a nonmonotonic consequence relation? Fundamenta Informaticae, 21:7-21, 1994.
28. L.A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1:3-28, 1978.
29. L.A. Zadeh. PRUF: A meaning representation language for natural languages. International Journal of Man-Machine Studies, 10(4):395-460, 1978.