3 ms·
Very interesting article, thank you. I want to know more about "probabilistic first-order logic", what is a good paper to start?
by hhm 19y ago
Very interesting article, thank you.
I want to know more about "probabilistic first-order logic", what is a good paper to start?
- gibsonf1 19y agoMe too, it sounds intriguing. But if it happens to be an extension of first order predicate logic which includes states, then I think it could be another barrier to progress. Note what a mess the CYC group have made of trying to model human concepts http://www.cyc.com/ http://www.cyc.com/ with heavy reliance on first order predicate logic. The best logic I've seen to date for helping model human conception is Fred Sommers's Term Functor Logic: http://www.formalontology.it/sommersf.htm http://www.formalontology.it/sommersf.htm A great book on the Logic: http://www.amazon.com/Invitation-Formal-Reasoning-Frederic-Sommers/dp/0754613666 http://www.amazon.com/Invitation-Formal-Reasoning-Frederic-S...
- hhm 19y agoThank you!