On Wed, Aug 13, 2008 at 4:14 AM, rick the ponderer <[EMAIL PROTECTED]> wrote: > > Thanks for replying YKY > Is the logic learning you are talking about inductive logic programming. If > so, isn't ilp basically a search through the space of logic programs (i may > be way off the mark here!), wouldn't it be too large of a search space to > explore if you're trying reach agi. > > And if you're determined to learn a symbolic representation, wouldn't > genetic programming be a better choice, since it won't get stuck in local > minima.
There is no reason why symbolic reasoning could not incorporate some kind of random combinatoric search methods like those used in GA searches. Categorical imagination can be used to examine the possible creation of new categories; the method does not have to be limited to the examination of new combinations of previously derived categories. And it does not have to be limited to incremental methods either. For example, the method might be used to combine fragments of surface features observed in the IO data environment. Combinatoric search can be also used with the creation and consideration of conjectures about possible explanations of observed data events. One of the most important aspects of these kinds of searches is that they can be used in serendipitous methods to detect combinations or conjectures that might be useful in some other problem even when they don't solve the current search goal that they were created for. While discussions about these subjects must utilize some traditional frames of reference, the conventions of their use in conversation should not be considered as absolute limitations on their possible modifications. They can be used as starting points of further conversation. YKY's and Ben Goetzel's recent comments sound as if they are referring to strictly predefined categories when they talk about symbolic methods, but I would be amazed if that represents their ultimate goals in AI research. Similarly, other unconventional methods can be considered when thinking about ANN's and GA's, but I think that novel approaches to symbolic methods offers the best bet for some of the same reasons that YKY mentioned. Jim Bromer ------------------------------------------- agi Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: https://www.listbox.com/member/?member_id=8660244&id_secret=111637683-c8fa51 Powered by Listbox: http://www.listbox.com
