From 3e96b7bcfbd0e678aedf7e6a3d0ca307e44107ab Mon Sep 17 00:00:00 2001 From: Xie Yuheng Date: Sat, 5 Oct 2024 21:16:33 +0800 Subject: [PATCH] up --- src/examples/barometer-belief-system.test.ts | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/src/examples/barometer-belief-system.test.ts b/src/examples/barometer-belief-system.test.ts index 39d0395..980ab4d 100644 --- a/src/examples/barometer-belief-system.test.ts +++ b/src/examples/barometer-belief-system.test.ts @@ -439,8 +439,8 @@ test("examples / barometer-belief-system", async () => { // both on our understanding of the height of the building - // TODO In the paper, the following reasons are: - // ["shadows", "pressure"] + // TODO In the paper, the reasons for the following belief are: + // ["fall-time", "pressure"] assert( beliefEqual( @@ -498,4 +498,16 @@ test("examples / barometer-belief-system", async () => { // the-contradiction is just another partial information state, and // our truth maintenance machinery operates on partial information // by design. + + // TODO 为了实现下面的效果，scheme 实现中用到了 call/cc， + // 在 JS 的实现中我做不到 stop computing things immediately。 + + // On the other hand, contradictions are not quite like the other + // kinds of partial information, because we chose to make them have + // a global effect: we wanted our system to stop computing things in + // a given worldview immediately, as soon as it discovered that + // worldview to be contradictory anywhere. We must therefore do some + // work to treat contradictions a little specially. This work is a + // consequence of our particular choice of making the worldview + // global. })