up

Author: xieyuheng

docs/diary/2024-09-16-propagator-model-and-lattice.md

@@ -43,10 +43,5 @@ Structural Subtyping 作为 Lattice，
   但是可以看成是以 record lattice 为基础来定义的，
   就像是以 free group 为基础来定义 presentation of a group。
 
-具体地说：
-
-- Belief 的结构是 {}
-
-- BeliefSystem 的结构是 `Record<Set, Belief>`
-
-用类似 structural subtyping 的方式来统一理解所有 lattice
+Belief 与 BeliefSystem 作为 lattice 之间的关系非常复杂，
+要看具体的 merge 函数的定义。

src/examples/barometer-belief-system.test.ts

@@ -90,11 +90,11 @@ test("examples / barometer-belief-system", async () => {
   // them. The reasoning behind this design decision was that, in my
   // experience, it was not a good idea to compute all the
   // consequences of all the premises all the time; rather we just
-  // compute the strongest consequence of all the premises in the
-  // current worldview taken together. The current worldview at this
-  // point believes both shadows and fall-time, because we made
-  // believing everything the default, and that default has not yet
-  // been overridden.
+  // compute the strongest [most information] consequence of all the
+  // premises in the current worldview taken together. The current
+  // worldview at this point believes both shadows and fall-time,
+  // because we made believing everything the default, and that
+  // default has not yet been overridden.
 
   // In this particular system, we chose to make the worldview
   // implicit and global.  That works fine on a uniprocessor, but a

src/monad/belief-system-monad.ts

@@ -12,16 +12,17 @@ import { flatten, fmap } from "./monad.js"
 // pack the result up into a (one-item) belief system.
 //
 // The only choice made here is that we are following the philosophy
-// set out in the main text of operating on the strongest possible
-// consequences of what we currently believe (as found by the query)
-// rather than on all variations of everything we might believe.
+// set out in the main text of operating on the most informative
+// possible consequences of what we currently believe (as found by the
+// query) rather than on all variations of everything we might
+// believe.
 
 defineHandler(
   fmap,
   [isFunction, isBeliefSystem],
   (f, ma: BeliefSystem<any>) => {
-    const strongestBelief = beliefSystemQuery(ma)
-    return BeliefSystem([fmap(f, strongestBelief)])
+    const bestBelief = beliefSystemQuery(ma)
+    return BeliefSystem([fmap(f, bestBelief)])
   },
 )
 
@@ -52,17 +53,17 @@ defineHandler(
 // with a belief system inside (namely incorporate the reasons of that
 // belief into the beliefs of that belief system).
 //
-// This handler also uses query to consider only the strongest belief
-// of the inner belief system.
+// This handler also uses query to consider only the most informative
+// belief of the inner belief system.
 
 defineHandler(
   flatten,
   [(mma) => isBelief(mma) && isBeliefSystem(mma.value)],
   (mma: Belief<BeliefSystem<any>>) => {
     const innerBeliefSystem = mma.value
-    const strongestBelief = beliefSystemQuery(innerBeliefSystem)
+    const bestBelief = beliefSystemQuery(innerBeliefSystem)
     const newBeliefSystem = BeliefSystem(
-      flatten(Belief(strongestBelief, mma.reasons)),
+      flatten(Belief(bestBelief, mma.reasons)),
     )
     return flatten(newBeliefSystem)
   },