MeTTa Files

logicmoo · Feb 26, 2024 · 0b0d2d1 · 0b0d2d1
1 parent 48bda8d
commit 0b0d2d1
Show file tree

Hide file tree

Showing 209 changed files with 94,322 additions and 18,912 deletions.
diff --git a/aq1/aq1.metta b/aq1/aq1.metta
diff --git a/aq1/aq1_1.metta b/aq1/aq1_1.metta
@@ -0,0 +1,63 @@
+
+  (= 
+    (domaintype  color nominal) True)
+; 
+
+
+  (= 
+    (valueset  color 
+      (red green blue)) True)
+; 
+
+
+  (= 
+    (domaintype  temp linear) True)
+; 
+
+
+  (= 
+    (order  temp 
+      (cold warm hot)) True)
+; 
+
+
+  (= 
+    (domaintype  shape nominal) True)
+; 
+
+
+  (= 
+    (valueset  shape 
+      (square hexagon octagon)) True)
+; 
+
+
+  (= 
+    (classes  
+      (past present future)) True)
+; 
+
+
+  (= 
+    (events  past 
+      ( ( ( (= color red)) 
+          ( (= temp warm)) 
+          ( (= shape square))) (((= color green)) ((= temp cold)) ((= shape hexagon))))) True)
+; 
+
+  (= 
+    (events  present 
+      ( ( ( (= color blue)) 
+          ( (= temp warm)) 
+          ( (= shape square))) (((= color red)) ((= temp hot)) ((= shape hexagon))))) True)
+; 
+
+  (= 
+    (events  future 
+      ( ( ( (= color green)) 
+          ( (= temp warm)) 
+          ( (= shape hexagon))) (((= color blue)) ((= temp hot)) ((= shape octagon))))) True)
+; 
+
+
+
diff --git a/aq1/aq1_2.metta b/aq1/aq1_2.metta
@@ -0,0 +1,81 @@
+
+  (= 
+    (domaintype  color nominal) True)
+; 
+
+
+  (= 
+    (valueset  color 
+      (red green blue)) True)
+; 
+
+
+  (= 
+    (domaintype  temp linear) True)
+; 
+
+
+  (= 
+    (order  temp 
+      (cold warm hot)) True)
+; 
+
+
+  (= 
+    (domaintype  shape nominal) True)
+; 
+
+
+  (= 
+    (valueset  shape 
+      (square hexagon octagon)) True)
+; 
+
+
+  (= 
+    (classes  
+      (past present future)) True)
+; 
+
+
+  (= 
+    (events  past 
+      ( ( ( (= color red)) 
+          ( (= shape square)) 
+          ( (= temp warm))) 
+        ( ( (= color red)) 
+          ( (= shape hexagon)) 
+          ( (= temp hot))) 
+        ( ( (= color green)) 
+          ( (= shape hexagon)) 
+          ( (= temp cold))))) True)
+; 
+
+  (= 
+    (events  present 
+      ( ( ( (= color blue)) 
+          ( (= shape square)) 
+          ( (= temp warm))) 
+        ( ( (= color red)) 
+          ( (= shape hexagon)) 
+          ( (= temp hot))) 
+        ( ( (= color red)) 
+          ( (= shape hexagon)) 
+          ( (= temp hot))))) True)
+; 
+
+  (= 
+    (events  future 
+      ( ( ( (= color green)) 
+          ( (= shape hexagon)) 
+          ( (= temp warm))) 
+        ( ( (= color red)) 
+          ( (= shape hexagon)) 
+          ( (= temp hot))) 
+        ( ( (= color blue)) 
+          ( (= shape octagon)) 
+          ( (= temp hot))))) True)
+; 
+
+
+