Possible worlds semantics for credulous and contraction inference

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

Volumn 2174, Issue , 2001, Pages 94-105

  Bochman, Alexander ^a  

^a HOLON INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

NON-MONOTONIC INFERENCE; POSSIBLE WORLDS;

SEMANTICS;

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

References (17)

1. J. Van Benthem. Foundations of conditional logic. J. of Philosophical Logic, 13:303-349, 1984.
2. A. Bochman. Credulous nonmonotonic inference. In T. Dean, editor, Proceedings IJCAI’99, pages 30-35, Stockholm, 1999. Morgan Kaufmann.
3. A. Bochman. Belief conraction as nonmonotonic inference. Journal of Symbolic Logic, 65:605-626, 2000.
4. S. Brass. On the semantics of supernormal defaults. In Proceedings IJCAI-93, pages 578-583, 1993.
5. C. Cayrol and M.-C. Lagasquie-Shiex. Non-monotonic syntax-based entailment: A classification of consequence relations. In C. Froidevaux and J. Kohlas, editors, Symbolic and Qualitative Approaches to Reasoning and Uncertainty, ECSQARU’ 95, pages 107-114, Fribourg, Switzerland, July 1995. Springer Verlag. Lecture Notes in AI, 946.
6. D. M. Gabbay. Theoretical foundations for non-monotonic reasoning in expert systems. In K. R. Apt, editor, Logics and Models of ConcurrentSyst ems, Berlin, 1985. Springer-Verlag.
7. P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books, MIT Press, 1988.
8. P. Gärdenfors and D. Makinson. Nonmonotonic inference based on expectations. Artificial Intelligence, 65:197-245, 1994.
9. A. Kratzer. Partition and revision: The semantics of counterfactuals. J. of Philosophical Logic, 10:201-216, 1981.
10. S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990.
11. D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55:1-60, 1992.
12. D. Lewis. Ordering semantics and premise semantics for counterfactuals. Journal of Philosophical Logic, 10:217-234, 1981.
13. D. Makinson. General patterns in nonmonotonic reasoning. In D. M. Gabbay and Others, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Nonmonotonic and Uncertain Reasoning, volume 2, pages 35-110. Oxford University Press, Oxford, 1994.
14. D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27-47, 1988.
15. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
16. P. Siegel and L. Forget. A representation theorem for preferential logics. In L. C. Aiello, J. Doyle, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning. Proc. Fifth Int. Conference, KR’96, pages 453-460. Morgan Kaufmann, 1996.
17. F. Veltman. Prejudices, presuppositions and the theory of conditionals. In J. Groenendijk and M. Stokhof, editors, Amsterdam Papers on Formal Grammar, volume 1, pages 248-281. Centrale Interfaculteit, Universiteit van Amsterdam, 1976.