I started wondering about how a good Satisfiability model might be used with AGI. My feeling is that intelligence must be like a coherentist model but one which may be structured by logic. So, in this model, timely Satisfiability could be used to test structural relationships of what is essentially a coherent model made of logical relationships.
However, I just realized that a dynamic program is also, of course logical. Since a (dynamic) program is typically inductive it is different than purely deductive systems, but this just points to the model of logical coherence. But the thing is that instead of relying only on static logical systems, a computer can also rely on strong dynamic logical systems. Think of a generative program that is able to produce and modify diverse families of generative products. If these dynamic programs are utilized with an effective Satisfiability method, the program could make extensive searches of the possibility space for some problem to see how different possibilities might be integrated into current theories about the subject. Not only can this search of the possibility space can be used in acquiring insight, it can also be used to patch up the interstices between stronger theories about the world. (This patching system is exactly what is needed to deal with the current AGI problems, where some method will work amazingly well when the conditions are just right but will fail horribly when the conditions are not quite right.) A logical system like this could be idealized for AGI. That is, it could be simplified in idealizations that could be related as abstract or instantiation properties. Although this system would not be as simple as a typical mathematical model (like the way the properties of the integer can be abstracted for every integer) it still might be workable to tie different kinds of models about the 'world' together. So, for example, a good idea for a feasible product is completely different than a good idea for a seemingly infeasible product, but still, the abstract qualities of the different 'good ideas' may be similar enough that it can make the thoughtful reader think even if the practicality of a particular idea is not seen. Jim Bromer ------------------------------------------- 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
