On proofs in system P

International Journal of Uncertainty, Fuzziness and Knowldege-Based Systems

Volumn 8, Issue 2, 2000, Pages 203-233

  Parsons, Simon ^a,b   Bourne, Rachel A ^a  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Proof theory; Qualitative probability; System P

Indexed keywords

EID: 0141474742     PISSN: 02184885     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218488500000149     Document Type: Article

References (20)

1. M. L. Ginsberg, editor. Readings in Nonmonotonic Reasoning. Morgan Kaufmann, San Mateo, CA, 1987.
2. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980.
3. J. McCarthy. Circumscription - a form of non-monotonic reasoning. Artificial Intelligence, 13:27-39, 1980.
4. Y. Shoham. Nonmonotonic logics: meaning and utility. In Proceedings of the 10th International Joint Conference on Artificial Intelligence, pages 388-393, 1987.
5. S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990.
6. J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Mateo, CA, 1988.
7. E. Adams. The Logic of Conditionals. Reidel, Dordrecht, Netherlands, 1975.
8. D. Gabbay. Labelled Deductive Systems. Oxford University Press, Oxford, UK, 1996.
9. J. Pearl. System Z: a natural ordering of defaults with tractable applications to default reasoning. In Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, pages 121-135, 1990.
10. D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55:1-60, 1992.
11. M. Goldszmidt, P. Morris, and J. Pearl. A maximum entropy approach to nonmonotonic reasoning. IEEE Transactions on Pattern Analysis and Machine Intelligence, 15:220-232, 1993.
12. R. A. Bourne and S. Parsons. Maximum entropy and variable strength defaults. In Proceedings of the 16th International Joint Conference on Artificial Intelligence, pages 50-55, San Francisco, CA, 1999. Morgan Kaufmann.
13. R. A. Bourne. Default reasoning using maximum entropy and variable strength defaults. PhD thesis, Department of Electronic Engineering, Queen Mary and Westfield College, London, 1999.
14. F. Bacchus. A modest, but semantically well founded, inheritance reasoner. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages 1104-1109, San Mateo, CA, 1989. Morgan Kaufmann.
15. A. Gilio. Precise propagation of upper and lower probability bounds in System P. In 8th International Workshop on Nonmonotonic Reasoning, Special Session: Uncertainty Frameworks in Nonmonotonic Reasoning, 2000.
16. B. de Finetti. Theory of Probability: A Critical Introductory Treatment. John Wiley & Sons, Chichester, UK, 1975.
17. A. Gilio. Probabilistic consistency of conditional probability bounds. In B Bouchon-Meunier, R. R. Yager, and L. A. Zadeh, editors, Advances in Intelligent Computing-IPMU'94, pages 200-209. Springer Verlag, Berlin, Germany, 1994.
18. P. Snow. The emergence of ordered belief from initial ignorance. In Proceedings of the 12th National Conference on Artificial Intelligence, pages 281-286, Menlo Park, CA, 1994. AAAI Press/MIT Press.
19. P. Snow. Warranting non-demonstrative reasoning upon the common ground of contending uncertainty approaches. In Proceedings of the 6th International Conference on Information Processing and the Management of Uncertainty, pages 1381-1386, 1996.
20. S. Benferhat, D. Dubois, and H. Prade. Possibilistic and standard probabilistic semantics of conditional knowledge bases. Journal of Logic and Computation, 9:873-895, 1999.