On 6/2/08, Matt Mahoney <[EMAIL PROTECTED]> wrote: > 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.
Even this is still an inaccurate description of reality. I was just trying to give a simple example... > 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? I plan to borrow Texai / OpenCog, so I can have time to work on other aspects. My latest focus is learning. I have a "learned KR" approach where the knowledge representation is machined-learned rather than hand-crafted as in "classical" AI. =) 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/?member_id=8660244&id_secret=103754539-40ed26 Powered by Listbox: http://www.listbox.com
