We have created a workable probabilistic first and higher order logic system, and implemented and tested a substantial part of it.
I agree that it's a significant step forward ;-) We will publish a book on this in the near future, entitled Probabilistic Logic Networks. -- Ben G On 5/5/07, YKY (Yan King Yin) <[EMAIL PROTECTED]> wrote:
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/?&;
----- 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
