Everybody,
Linas and I (and a mathematical divine entity, I'm sure) decided to
introduce
https://wiki.opencog.org/w/UnionLink
https://wiki.opencog.org/w/IntersectionLink
https://wiki.opencog.org/w/ComplementLink
to be used instead of OrLink, AndLink and NotLink when dealing with
concepts/sets instead of predicates.
Sorry for making such an important decision without much outside
consultation, but it happened "naturally" while dealing with the atom
type checker, it makes the code simpler, and I believe it will also
makes things simpler for human use. After all we already have
Inheritance vs Implication, so why not go all the way.
We're obviously open to revert that change if it turns out to be a bad
idea, but I don't expect it will be.
Nil
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/fcf938c8-5055-13af-d828-2782005b8839%40gmail.com.
