Hi Ben, (and others), I wonder if any of you has figured out how to do probabilistic first-order logic 'cause I think it is still pretty much an open research topic. (Has it been discussed in your new book?)
The closest I find to a usable probabilistic logic system is Rolf Haenni's probabilistic argumentation system, but his is still propositional, and I'm trying to lift it to first-order. I think the probabilistic inference algorithm has to satisfy: 1. sound 2. complete 3. consistent according to probability theory, including Bayes' rule which is not an easy task. I'd be very surprised if you can do it, and that'd be a major breakthrough in AGI... YKY ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=231415&user_secret=fabd7936
