Nil Geisweiller

@linas said > Generically, in AI/AGI, everything overlaps/intersects, and its impossible to provide a universe of non-intersecting sets. I'm not so sure. In many cases things do not overlap. Take...

@linas said > I'm using sheaves for inference, you're using PLN for inference. What do we have in common? I'm proposing that your PLN-GDTV should be an object-oriented API on...

Interesting exchange. Regarding imperfect sensors, issue #833 actually discusses that (in sections "Imperfect boolean sensor" and "Funny people at the party") and ends up with the same conclusion that it...

Personally, I don't see anything wrong with nesting `ExecutionLinks` or any kind of links. A sequence is underneath a nesting of links too (see https://wiki.opencog.org/w/ConsLink).

OK, but sometimes you want things to be immutable. The difference between ``` Member E1 A ... Member En A Inheritance A B ``` and ``` Inheritance Set E1 ......

> Panel 4 is called "Inference" and it is almost identical to running our GetLink I think panel 4 demonstrates true inference, thus would be closer to what the rule-engine...

@noskill, intead of ```python def callPythonMethod(atom_obj, atom_method_name, *args): obj = atom_obj.get_value(PredicateNode("py:callPythonMethod")) return getattr(obj, atom_method_name.name)(*args) ``` I think you mean ```python def callPythonMethod(atom_obj, atom_method_name, *args): obj = atom_obj.get_value(PredicateNode("PythonValue")) return getattr(obj, atom_method_name.name)(*args)...

I suppose the unifier could be moved to its own repository, if it is to be used more broadly than by just the URE.

> Right now, its just two files, about 2KLocs of code .. do you expect that it might grow? Not much, it's pretty mature at that point. There are limitations...

I do agree however that from a design standpoint, having the unifer inside the atomspace repo is sensible, and it should be examined, independently of my personal comfort.