Comments (6)
I found that bug while trying to debug opencog/ure#120. Possibly, if that bug is fixed then opencog/ure#120 will be fixed as well.
from atomspace.
FYI, I'm creating a utest for that I'm gonna push soon.
from atomspace.
Hi Nil! Thanks! I will look at this, then. With luck, it'll only take a few hours.
from atomspace.
@ngeiswei FYI, Completely unrelated to this bug report, but .. while I have your attention, I want to tell you about a new feature. Deep stacks of Atomspaces now work "correctly", "normally" "as expected". This means that a deleted atom in one layer really does behave as if it is deleted in that layer, even if it is present in others. Also, incoming sets now behave correctly: for a given atom in a given layer, the incoming set only includes the top-most copy of any given atom (some years ago, you had complained that incoming sets acted weird, returning multiple copies of an atom, including the deep ones, that should have been hidden. This is now fixed.) You can create multiple branching structures and also create atomspaces that are set-unions of the deeper underlying atomspaces. -- in other words, arbitrary DAG's. Very crudely, each layer can be thought of as if it were a git changeset.
I'm using this to store the "inference trails" in the learning codebase: At each step of learning, I create a new atomspace layer, adjust assorted truth values, add or delete some atoms, and then do it again. I plan to go several thousand layers deep, to have multiple branches, and to be able to compare atomspace contents across different branches (to see where inferences diverge). Can save and restore to rocksdb.
It's code complete, has unit tests, and there are no known bugs. But its fresh code, so hasn't been stressed very much, yet.
from atomspace.
Also: AtomSpaces now inherit from class Atom. This makes them into a kind of weird, giant mutable SetLink-like thingy. If you try to put AtomSpaces into Links... it sort-of kind-of works, but there will probably be weirdnesses. Doing this is "not supported" mostly because its weird and I haven't figured out why this would be a good idea or what it might be used for. But if, for some reason, you've always wanted to do this, then we could hash out the details to make this work correctly and be properly supported.
from atomspace.
@linas, yes I'm aware of your work on deep atomspace stack, especially relevant to learning as you point out, excellent! (thanks for fixing the bug as well).
from atomspace.
Related Issues (20)
- compiling scheme atomese HOT 1
- Possible erroneous behavior of BindLink HOT 6
- SchemeEval run smoothly on x64 and i386 but it crashes on armv7-a HOT 58
- Compile *.scm files and install the *.go files HOT 2
- Compile error on persist-file.scm HOT 2
- Python import error when atomspace module is not loaded before a module with custom Atom types HOT 2
- sparse pattern query does not allow nested spare terms.
- sparse query pattern performance
- Android port issues
- IdenticalLink fails to find all permutations.
- Re-implement PostgresStorageNode to work like RocksStoragenode
- glob interval not supporting disjoint unions HOT 7
- FloatValue Example gives exception HOT 2
- Update README: package cmake3 is missing in Ubuntu 22.10 repository but package cmake is there HOT 1
- Another FloatValue example HOT 4
- In proxy agent example, cog server hangs when using proxy HOT 7
- Atomspace build broken for ubuntu with ocaml installed. HOT 4
- Broken python bindings HOT 10
- Suggestion: Table of Contents for ram-cpu.pdf HOT 3
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 atomspace.