Merge pull request #2843 from linas/union-link

Add UnionLink, etc. to the Atom Types. See #2816.
opencog · Sep 9, 2021 · ea37674 · ea37674
2 parents c50cf68 + 20a2300
commit ea37674
Showing 1 changed file with 7 additions and 5 deletions.
diff --git a/opencog/atoms/atom_types/atom_types.script b/opencog/atoms/atom_types/atom_types.script
@@ -165,11 +165,6 @@ MEMBER_LINK <- ORDERED_LINK
 // the probability.
 CONTEXT_LINK <- ORDERED_LINK
 
-// Measure-theoretic (probabilistic) versions of AND_LINK, OR_LINK
-// These use probabilistic formulas to compute truth values.
-// UNION_LINK <- OR_LINK
-// INTERSECTION_LINK <- AND_LINK
-
 // Binary-valued (0/1, T/F) Boolean algebra operations and logical
 // constants. These are used by the pattern matcher to compute
 // crisp-logic boolean algebra combinations of predicates (that is,
@@ -188,6 +183,13 @@ NOT_LINK <- UNORDERED_LINK,CRISP_OUTPUT_LINK,BOOLEAN_LINK
 SEQUENTIAL_AND_LINK <- ORDERED_LINK,CRISP_OUTPUT_LINK,BOOLEAN_LINK
 SEQUENTIAL_OR_LINK <- ORDERED_LINK,CRISP_OUTPUT_LINK,BOOLEAN_LINK
 
+// Measure-theoretic (probabilistic) versions of AND_LINK, OR_LINK
+// These use probabilistic formulas to compute truth values.
+// See issue opencog/atomspace#2814 for a discussion.
+UNION_LINK <- OR_LINK
+INTERSECTION_LINK <- AND_LINK
+COMPLEMENT_LINK <- NOT_LINK
+
 // ====================================================================
 // Pattern-engine links. These have a special meaning for the pattern
 // engine; they are used to specify what is searched for.