Have you tried the Premise language? It is a logic assembly language. ~PM From: [email protected] Date: Fri, 25 Apr 2014 16:10:31 +0200 Subject: Re: [agi] A logic engine? To: [email protected]
On Fri, Apr 25, 2014 at 1:40 PM, YKY (Yan King Yin, 甄景贤) <[email protected]> wrote: As a general rule, the more expressive a logic, the slower the inference engine. So this is a trade-off situation Thanks, we are getting somewhere. So, in your opinion, there really has been no "inference progress" and one would have to write in "logic assembly language" to have any chance of a logic software system performing acceptably, compared to some other statistical or whatever optimized alternative number-crunching (putting words in your mouth here, lol, basically thinking of e.g. playing chess with Prolog vs a minimax engine). Is there really no compiler that can translate expressive logics into passable simple ones? To quote a simple example, I'd rather remove castling from a list of possible moves, rather than keep evaluating castled(t_5) all the time, obviously. Am I asking for too much? AT AGI | Archives | Modify Your Subscription ------------------------------------------- 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
