> > Yes. One of my biggest practical complaints with NARS is that the > induction > > and abduction truth value formulas don't make that much sense to me. > > I guess since you are trained as a mathematician, your "sense" has > been formalized by probability theory to some extent. ;-) >
Actually, the main reason the NARS induction and abduction truth value formulas seem counterintuitive to me has nothing to do with my math training... it has to do with the fact that, in each case, the strength of the conclusion relies on the strength of only **one** of the premises. This just does not feel right to me, quite apart from any mathematical intuitions or knowledge of probability theory. It happens that in this case probability theory agrees with my naive, pretheoretic intuition... > > in OpenCogPrime > > we use other methods for hypothesis generation, then use probability > theory > > for estimating the truth values of these hypotheses... > > Many people have argued that "hypotheses generation" and "hypotheses > evaluation" should be separated. I strongly think that is wrong, > though I don't have the time to argue on that now. Neither one is frequently useful without the other. I treat them as in-principle separable processes which however in practice are nearly always coupled. > > > > PLN is able to make judgments, in every case, using *exactly* the same > > amount of evidence that NARS is. > > Without assumptions on "node probability"? In your example, what is > the conclusion from PLN if it is only given (1)-(4) ? PLN needs to make assumptions about node probability in this case; but NARS also makes assumptions, it's just that NARS's assumptions are more deeply hidden in the formalism... Without making some assumptions no inference is possible, I guess Hume showed that a long time ago ;-) ben ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=114414975-3c8e69 Powered by Listbox: http://www.listbox.com
