Hi,
On 02/21/2017 10:40 PM, Alex wrote:
*- 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.*
Rules are expressed as BindLinks
http://wiki.opencog.org/w/SatisfactionLink_and_BindLink
*
*
*- is there some more elaborated guid how to write rules in terms of
nodes and links?*
http://wiki.opencog.org/w/URE_Configuration_Format
More doc is coming in the forthcoming weeks. Meanwhile you may have a
look at
https://github.com/opencog/atomspace/tree/master/examples/rule-engine
https://github.com/opencog/atomspace/tree/master/tests/rule-engine
https://github.com/opencog/opencog/tree/master/examples/pln
I'm aware of some tutorials, here's one
http://wiki.opencog.org/w/PLN_Forward_Chaining (I don't know how up to
date it is, I didn't write it), I know there is at least one more but I
can't find it. But looking at the examples under the repos are probably
good enough anyway.
Nil
*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]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[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/5a2662d1-96d6-acc6-5a83-f0d329865084%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
