On Feb 17, 2008 9:56 AM, YKY (Yan King Yin) <[EMAIL PROTECTED]> wrote: > > I'm planning to collect commonsense knowledge into a large KB, in the form > of first-order logic, probably very close to CycL.
Before you embark on such a project, it might be worth first looking closely at the question of why Cyc hasn't been useful, so that you don't end up making the same mistakes. There's a school of thought, to which I subscribe, that it's because Cyc's knowledge base isn't grounded. Are you instead taking the view that Cyc's fundamental approach is correct, and it just needs a somewhat different choice of logical axioms or whatnot? ------------------------------------------- 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=95818715-a78a9b Powered by Listbox: http://www.listbox.com
