Propositions are not the only things that can have truth values... I don't have time to carry out a detailed mathematical discussion of this right now...
We're about to (this week) finalize the PLN book draft ... I'll send you a pre-publication PDF early next week and then you can read it and we can argue this stuff after that ;-) ben On Wed, Jun 4, 2008 at 1:01 AM, YKY (Yan King Yin) <[EMAIL PROTECTED]> wrote: > Ben, > > If we don't work out the correspondence (even approximately) between > FOL and term logic, this conversation would not be very fruitful. I > don't even know what you're doing with PLN. I suggest we try to work > it out here step by step. If your approach really makes sense to me, > you will gain another helper =) Also, this will be good for your > project's documentation. > > I have some examples: > > Eng: "Some philosophers are wise" > TL: +Philosopher+Wise > FOL: philosopher(X) -> wise(X) > > Eng: "Romeo loves Juliet" > TL: +-Romeo* + (Loves +-Juliet*) > FOL: loves(romeo, juliet) > > Eng: "Women often have long hair" > TL: ? > FOL: woman(X) -> long_hair(X) > > I know your term logic is slightly different from Fred Sommers'. Can > you fill in the TL parts and also attach indefinite probabilities? > > On 6/3/08, Ben Goertzel <[EMAIL PROTECTED]> wrote: > >> If you attach indefinite probabilities to FOL propositions, and create >> indefinite probability formulas corresponding to standard FOL rules, >> you will have a subset of PLN >> >> But you'll have a hard time applying Bayes rule to FOL propositions >> without being willing to assign probabilities to terms ... and you'll >> have a hard time applying it to FOL variable expressions without doing >> something that equates to assigning probabilities to propositions w. >> unbound variables ... and like I said, I haven't seen any other >> adequate way of propagating pdf's through quantifiers than the one we >> use in PLN, though Halpern's book describes a lot of inadequate ways >> ;-) > > Re "assigning probabilties to terms..." > > "Term" in term logic is completely different from "term" in FOL. I > guess terms in term logic roughly correspond to predicates or > propositions in FOL. Terms in FOL seem to have no counterpart in term > logic...... > > Anyway there should be no confusion here. Propositions are the ONLY > things that can have truth values. This applies to term logic as well > (I just refreshed my memory of TL). When truth values go from { 0, 1 > } to [ 0, 1 ], we get single-value probabilistic logic. All this has > a very solid and rigorous foundation, based on so-called model theory. > > YKY > > > ------------------------------------------- > 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/?& > Powered by Listbox: http://www.listbox.com > -- Ben Goertzel, PhD CEO, Novamente LLC and Biomind LLC Director of Research, SIAI [EMAIL PROTECTED] "If men cease to believe that they will one day become gods then they will surely become worms." -- Henry Miller ------------------------------------------- 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=103754539-40ed26 Powered by Listbox: http://www.listbox.com