Opencog is not fundamentally a rule system, it is a rule system and an attractor neural network and an evolutionary learning system etc ... the synergy btw the different aspects is key to the learning approach...
More later... ben On Feb 21, 2017 23:40, "Alex" <[email protected]> wrote: > Up to know I thought that OpenCog is about PLN reasoning, but after some > reading I should acknowledge that OpenCog is more or less yet another > production rules system in which the expert (or other kind of) knowledge is > encoded as rules that - in the course of inference process (forward > chaining) are able to create new atoms, change attribute values and > possibly negate previously concluded statements (some kind of > nonmonotonicity). As far as I understand then rules as almost the most > important type of representation of knowledge. > > That is why I have questions: > > *- does OpenCog have special rules language? I see > example http://wiki.opencog.org/w/Expressing_PLN_Rules_As_Atoms > <http://wiki.opencog.org/w/Expressing_PLN_Rules_As_Atoms> that rules can be > expressed in terms of Nodes and Links and there is no need for other > language.* > > *- is there some more elaborated guid how to write rules in terms of nodes > and links?* > > *How others feel about using rules?* I have encoutered many production > rule systems (including https://www.drools.org/ and > https://www-01.ibm.com/software/info/ilog/) I have have always wondered > how widely accepted they are but how little theoretical foundations they > have? Google search for "formalization of production rules", "semantics of > production rules" and similar queries gives almost none relevant research > result. What is production rules - is this new kind of logic or transition > system of programming paradigm (who lacks rigorous semantics)? It is not > the tradictional implication connective of the propositional or first order > logic. http://blog.ruleml.org/post/32629706-the-sad-state- > concerning-the-relationships-between-logic-rules-and-logic-programming is > good reference about my concerns. > > -- > 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/1294dd5c-cebd-436a-8354-f099bcc87405%40googlegroups.com > <https://groups.google.com/d/msgid/opencog/1294dd5c-cebd-436a-8354-f099bcc87405%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- 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/CACYTDBeryzxdvmNJZbQNT0NsGUicK6re0sjiSE%2BzDhVYnnFBSA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
