Comments (4)
I think the intent of the focus set is that it would be changing frequently. Which is partly the point of opencog/atomspace#1967. The focus set is an example of a recurring theme:
-
The need to limit some operation to some smaller set of atoms.
-
The need to restrict the pattern matcher to a smaller set of atoms. (This is already done using MapLink, which is "just like BindLink" but for a smaller set of atoms) https://wiki.opencog.org/w/MapLink
-
Problem: URE is built on BindLink, instead of on MapLink. Gee, it sure would be nice if we could merge MapLink and BindLink so that they are both the same thing, so that we would not need both of them!
-
Problem: MapLink uses a SetLink for the "focus set"
-
Problem: using SetLink for focus sets is a "known issue": opencog/atomspace#1502
-
Problem: using multiple atomspaces for focus sets is .. not easy. Issue opencog/atomspace#1967
Thus, opencog/atomspace#1967 is a vague, general attempt to somehow implement a fast, high-speed, generic "focus set" that works the same way, everywhere -- with the attention bank, with MapLink, with ContextLink, with other subsystems. (i.e. so that we could remove special-case code for the focus set from the URE...)
from ure.
relex2logic uses it and is used in ghost-pln-demo. The purpose of the focus-set was to restrict the set of atoms used during inference, similar to #:attention-allocation
in cog-fc
but generic. If that is still possible during configuration steps, or another utility function, then it would be ok.
from ure.
You could use a separate atomspace instead, but if you're using it then it's better to let it there for now.
from ure.
FYI, This might be maybe useful (and maybe not): I just now added AttentionValueOfLink
and StiOfLink
, etc in opencog/atomspace#2033; this can be used in used the patern matcher to find atoms with attention value above or below some threshold (or some generic complicated formula involving av, tv, etc.).
when that is merged, take a look at value-of.scm
on how to do those kinds of searches.
from ure.
Related Issues (20)
- cmake fails due to unify already existing HOT 6
- BackwardChainerUTest fails to build referencing Atomtable HOT 3
- Unbalanced quotations
- Forward chainer is not stable against library changes. HOT 3
- The hyperlink to the term unifier in the README leads nowhere. HOT 1
- Have the URE fully support formula premises wrapped in SetLink
- Add GlobNode support to the unifier HOT 1
- Why not DualLink ? HOT 2
- Using GlobNode in Backward Chainer HOT 2
- forward chainer finds that Tweety is a green frog in examples/ure/frog HOT 2
- add api to extract inference trace HOT 4
- URE compilation fails: warning: control reaches end of non-void function HOT 1
- Rule::unify_source method execution takes about 30% of ForwardChainer execution time HOT 6
- Add BackwardChainerGetLink
- Backward chainer takes super long in this case HOT 3
- Fix replacement example inference tree expansion
- Add python ure_logger bindings HOT 6
- test_conditional_instantiation_1 triggers warnings in pattern engine HOT 6
- Bogus always-false clauses HOT 1
- Possible bug in AndBIT::expand() HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from ure.