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 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. For more options, visit https://groups.google.com/d/optout.
