Hi! I am continuing to design inference process that can build abstract syntax tree (just some very complex node) from the formalized norms (just some other nodes and links) (my idea about automatic programming / program learning).
Now I am trying to understand - how to bootstrap inference process? I think that I need to do forward chaining inference (and not backward chaining inference because my result is unknown). I understand that I should define in guile Scheme a lot of Atoms (according to zoo of Atoms http://wiki.opencog.org/w/Category:Atom_Types ) and especially I should define Atoms of type EvaluationLink that creates the root node of my tree and then creates leave nodes and leave links. The question is - having such set of Atoms (Atomspace) - *how can I start bootstrap process and how can I read the resulting atomspace* in which I hope to see my tree after completion of evaluation process? Starter example http://wiki.opencog.org/w/Getting_Started_with_Atoms_and_the_Scheme_Shell *is about cog-execute of one specific Link but I need to execute entire Atomspace*. E.g. JBoss Drools does this - it loads Knowledge base and then starts forward chaining inference (Rete algorithm) until the process completes. What about inference rules - are they defined in *.scm files or are they encoded in the CogServer? It would be nice to have complete list of rules. What about MindAgents - when I should switch from inference over Atomspace to MindAgent? I guess MindAgents are intended for interactive/reactive reasoning in which the Atomspace is constantly updated by incoming stream of new facts or queries... -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/95b2ade6-429e-4ee7-82ef-e3d0a577e5ff%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
