> Well, but the very first example on the wiki page is "I tell you that small > dogs can fly" which is not the same as "I believe that small dogs can > fly"... > > This promptly goes down a rabbit-hole of a theory of mind: "I believe that > Ben thinks that small dogs can fly" or more likely: "I believe that Ben was > joking when he said that small dogs can fly".
Well it may be a rabbit hole. But what Sumit did was figure out some sensible truth value formulas for the particular case of "belief" ... https://github.com/sumitsourabh/opencog/blob/patch-1/opencog/reasoning/pln/rules/epistemic-reasoning/theory/gsoc_theory.tex > And then there is premonition, because that wiki page was written before > Pumpkin jumped out the window of the moving car and broker her leg... > I *believe* that was Dali not Pumpkin ;p ;) ... -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CACYTDBdNrRYgtX%2B9094WxMAbGA-KPZn46hMftMXmRUKw%2B9yVHA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
