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? > When you call cog-fc using a certain rulebase over the whole atomspace (or its subset) the returned result is the outcome. See http://wiki.opencog.org/w/URE_Configuration_Format on how to create a rulebase. > > Starter example > http://wiki.opencog.org/w/Getting_Started_with_Atoms_and_the_Scheme_Shell > <http://www.google.com/url?q=http%3A%2F%2Fwiki.opencog.org%2Fw%2FGetting_Started_with_Atoms_and_the_Scheme_Shell&sa=D&sntz=1&usg=AFQjCNH-vXasikri6lx5_eeqkXkntjxQFQ> > *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. > As an example usage see https://github.com/opencog/opencog/blob/master/opencog/nlp/relex2logic/relex2logic.scm#L45 where the r2l-rules are defined @ https://github.com/opencog/opencog/tree/master/opencog/nlp/relex2logic/rules > 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. > Another example is the pln-rulebase https://github.com/opencog/opencog/tree/master/opencog/pln/rules -- 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/0f920363-3b74-45d8-9902-8d6ee1e7be3c%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
