ure
ure copied to clipboard
opencog
Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.
In the README, the link to the term unifier (which is said to be a dependency) leads nowhere. Here is the broken link: https://wiki.opencog.org/w/Unify It is hard to build URE...
The outcome of issue opencog/atomspace#2886 is that there are multiple cases of unbalanced quote links in the URE. I don't know if this is a bug or a feature, if...
Unification is inherently costly (NP in the worst case, I think, don't quote me on that). However queries are often similar, or their complexity incrementally builds up due to how...
While debugging a failure, I spotted the following in a BindLink: ``` (Not (Identical (Concept "criminal") (Concept "criminal"))) ``` This is constant (so it probably gets removed, I think? Not...
## Overview A meta-rule, which could also be called a rule schema, is a rule that produces a rule. It is convenient to have the URE support that as explained...
## Problem Some BC inference tree expansion fails. The problem can be reproduced by running https://github.com/opencog/ure/tree/master/examples/ure/replacement As one can see from the log, in iteration 3, where the case `(synonymous...
So .. DualLink is a link type that can be used to search through a collection of rules, to see which rules might be applied in some given situation. Thus,...
Sometimes it is useful to have graph or tree for inference. Like source -> rule -> rule -> rule -> result Usecases: - theorem proving - planning
Moving comments from opencog/atomspace#1004 There is a forward-chainer issue that shows up in the self-model prototype: the need to multiple steps or stages of rule-sets. That is, first, one must...
## Proposal To slightly ease the usage of the URE and make it appear more as an extension of the pattern matcher, it would be nice to introduce ``` BackwardChainerGetLink...