Skip to main content
×
Home
    • Aa
    • Aa

O IS NOT ENOUGH

  • J. B. PARIS (a1) and R. SIMMONDS (a1)
Abstract

We examine the closure conditions of the probabilistic consequence relation of Hawthorne and Makinson, specifically the outstanding question of completeness in terms of Horn rules, of their proposed (finite) set of rules O. We show that on the contrary no such finite set of Horn rules exists, though we are able to specify an infinite set which is complete.

Copyright
Corresponding author
*SCHOOL OF MATHEMATICS, UNIVERSITY OF MANCHESTER, MANCHESTER M13 9PL, UK. E-mail: jeff.paris@manchester.ac.uk
SCHOOL OF MATHEMATICS, UNIVERSITY OF MANCHESTER, MANCHESTER M13 9PL, UK. E-mail: richard.simmonds@gmail.com
References
Hide All
Farkas J. (1902). Theorie der Einfachen Ungleichungen. Journal für die Reine und Angewandte Mathematik, 124, 127.
Hawthorne J. (1996). On the logic on non-monotonic conditionals and conditional probabilies. Journal of Philosophical Logic, 25, 185218.
Hawthorne J. (2007). Nonmonotonic conditionals that behave like conditional probabilities above a threshold. Journal of Applied Logic, 5, 625637.
Hawthorne J., & Makinson D. (2007). The qualitative/quantitative watershed for rules of uncertain inference. Studia Logica, 86, 247297.
Krauss S., Lehmann D., & Magidor M. (1990). Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 167207.
Lehmann D., & Magidor M. (1992). What does a conditional knowledge base entail? Artificial Intelligence, 55, 160.
Makinson D. (1994). General patterns in nonmontonic reasoning. In Gabbay, Hogger, and Robinson, editors. Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3. Oxford: Clarendon Press, pp. 35110.
Marker D. (2002). Model Theory: An Introduction. Graduate Texts in Mathematics, Vol. 217. New York: Springer-Verlag.
Pillay A. (1981). Models of Peano Arithmetic, In editors Berline, McAloon, and Ressayre, editors. Model Theory and Arithmetic, Lecture Notes in Mathematics, Vol. 890. Berlin: Springer-Verlag, pp. 112.
Simmonds R. (2009). On Horn Closure Conditions for Probabilistic Consequence Relations, University of Manchester. Available from: http://www.maths.manchester.ac.uk/~jeff/
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 14 *
Loading metrics...

Abstract views

Total abstract views: 160 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 21st October 2017. This data will be updated every 24 hours.