--- "YKY (Yan King Yin)" <[EMAIL PROTECTED]> wrote: > On 1/25/07, Ben Goertzel <[EMAIL PROTECTED]> wrote: > > If there is a major problem with Cyc, it is not the choice of basic > > KR language. Predicate logic is precise and relatively simple. > > I agree mostly, though I think even Cyc's simple predicate logic language > can be made even simpler and better. For example, Cyc uses the classical > quantifiers #$forAll and #$exists. In my version I don't use Frege-style > quantifiers but I allow generalized modifiers like "many", "a few", in > addition to "all", "exists".
IMHO the problem with Cyc is they tried to go directly to adult level intelligence with no theory on how people learn. This is why they are having such difficulty adding a natural language interface. Children learn semantics first, then simple sentences, and then the elements of logic such as "and", "or", "not", "all", "some", etc. Cyc went straight to adult level logic and math, and now they can't add in the stuff that should have been learned as children. They should have built the language model first. Another problem is that n-th order logic (even probabilistic) is not how people think. Logic does not model inductive reasoning, e.g. Kermit is a frog. Kermit is green. Therefore frogs are green. Where is the theory that explains why people reason this way? This is what happens when you ignore the cognitive side of AI. > > Rather, the main problem is the impracticality of encoding a decent > > percentage of the needed commonsense knowledge! > > > Now I see why we disagree here. You believe we should acquire all knowledge > via experiential learning. IMO we can do even better than the experiential > route. We can let the internet "crowd" enter the commonsense corpus for > us. This should be allow us to reach a functioning, usable AGI sooner. How much knowledge you need depends on what problem you are trying to solve. Building an AGI to run a corporation is not the same as building a better spam detector. -- Matt Mahoney, [EMAIL PROTECTED] ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?list_id=303
