> And I seriously doubt that a general SMT solver + > prob. theory is going to beat a custom probabilistic logic solver.
My feeling is that an SMT solver plus appropriate subsets of prob theory can be a very powerful component of a general probabilistic inference framework... I can back this up with some details but that would get too thorny for this list... ben ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=95818715-a78a9b Powered by Listbox: http://www.listbox.com