A note on the rational closure of knowledge bases with both positive and negative knowledge

Journal of Logic, Language and Information

Volumn 7, Issue 2, 1998, Pages 165-190

  Booth, R ^a   Paris, J B ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

Non monotonic logic; Rational consequence; Uncertain reasoning

Indexed keywords

EID: 54649084595     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008261123028     Document Type: Article

References (15)

1. Delgrande, J.P., 1987, "A first-order logic for prototypical properties," Artificial Intelligence 33, 105-130.
2. Delgrande, J.P., 1988, "An approach to default reasoning based on a first-order conditional logic: Revised report," Artificial Intelligence 36, 63-90.
3. Gabbay, D.M., 1985, "Theoretical foundations for non-monotonic reasoning in expert systems," pp. 439-457 in Proceedings NATO Advanced Institute on Logics and Models of Concurrent Systems, K.R. Apt, ed., Berlin: Springer-Verlag.
4. Gärdenfors, P., 1988, Knowledge in Flux, Cambridge, MA: MIT Press.
5. Kraus, S., Lehmann, D., and Magidor, M., 1990, "Nonmonotonic reasoning, preferential models and cumulative logics," Artificial Intelligence 44, 167-207.
6. Lehmann, D., 1989, "What does a conditional knowledge base entail?," in Proceedings First International Conference on Principles of Knowledge Representation and Reasoning, R. Brachman and H.J. Levesque, eds., Toronto, Ontario.
7. Lehmann, D. and Magidor, M., 1992, "What does a conditional knowledge base entail?," Artificial Intelligence 55, 1-60.
8. Lehmann, D. and Magidor, M., 1994, "Erratum, What does a conditional knowledge base entail?," Artificial Intelligence 68, 411.
9. Makinson, D., 1988, "General theory of cumulative inference," pp. 1-18 in Proceedings Second International Workshop on Non-Monotonic Reasoning, M. Reinfrank, J. de Kleer, M.L. Ginsberg, and E. Sandewall, eds., Springer Lecture Notes in Artificial Intelligence, Volume 346, Berlin: Springer-Verlag.
10. McCarthy, J., 1980, "Circumscription: A form of non-monotonic reasoning," Artificial Intelligence 13, 27-39.
11. McDermott, D. and Doyle, J., 1980, "Non-monotonic logic I," Artificial Intelligence 13, 41-72.
12. Moore, R.C., 1984, "Possible-world semantics for autoepistemic logic," pp. 369-401 in Proceedings Workshop on Non-Monotonic Reasoning, New Paltz, NY.
13. Pearl, J., 1988, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Palo Alto, CA: Morgan Kaufmann.
14. Reiter, R., 1980, "A logic of default reasoning," Artificial Intelligence 13, 81-132.
15. Shoham, Y., 1987, "A semantical approach to nonmonotonic logics," pp. 275-279 in Proceedings Logics in Computer Science, Ithaca, NY.