On Wed, Mar 13, 2013 at 10:04 PM, Matt Mahoney <[email protected]>wrote:
> Any experiments to back up these ideas? > The algebraic logic with + and * is implemented, but the demo is not very impressive as it is just syntactic sugar with the same power as higher order predicate logic, ie, just a logic engine. And even for some very simple examples it can be very slow and even fail to terminate. The ontology ideas have not been implemented yet ... importing an external ontology is a major task, so it will take some time. But I have not even clarified how the ideas can actually work... the paper has 3 separate ideas that are yet to be combined coherently... =] YKY ------------------------------------------- AGI Archives: https://www.listbox.com/member/archive/303/=now RSS Feed: https://www.listbox.com/member/archive/rss/303/21088071-f452e424 Modify Your Subscription: https://www.listbox.com/member/?member_id=21088071&id_secret=21088071-58d57657 Powered by Listbox: http://www.listbox.com
