--- On Sun, 6/1/08, YKY (Yan King Yin) <[EMAIL PROTECTED]> wrote: > "a person is either male or female" > forall X, male(X) V female(X)
forall X, person(X) -> ((male(X) V female(X)) & -(male(X) & female(X))) One of the hazards of FOL is we tend to overlook the obvious. > *** bonus question *** > Can you give an example of something expressed in PLN that > is very hard or impossible to express in FOL? "Mary is probably female" Not impossible, as Ben says, just awkward. The problem is that nearly every statement has uncertain truth value, as well as uncertainty about the degree of uncertainty. YKY, how are you going to solve the natural language interface problem? You seem to be going down the same path as CYC. What is different about your system? -- Matt Mahoney, [EMAIL PROTECTED] ------------------------------------------- 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
