From ab802e0c0f025cb2f23a75774a0a7da378be0d06 Mon Sep 17 00:00:00 2001 From: Raven Rothkopf <97990788+ravenrothkopf@users.noreply.github.com> Date: Sat, 23 Sep 2023 16:25:43 -0400 Subject: [PATCH] Update CYOAxTSL.md --- spec engineering/CYOAxTSL.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec engineering/CYOAxTSL.md b/spec engineering/CYOAxTSL.md index f3bb13e..835da3e 100644 --- a/spec engineering/CYOAxTSL.md +++ b/spec engineering/CYOAxTSL.md @@ -242,6 +242,6 @@ else if (currentState === 6) { ## State machine visualization -![IMG_3158.HEIC](CYOA%20x%20TSL%20x%20LLMs%20e7f9a3a837b84a0ab54100cf8ff2b0a2/IMG_3158.heic) +
-**Description**: This automata starts at initial `state 0`, updates the summary with the introductory passage, then proceeds to `state 1`. Since, at the beginning, the player is neither in a cave or a market, we prompt the LLM for a market passage and proceed to `state 3`. Since we are still not in the cave, we prompt the LLM for a cave passage and proceed to `state 1`. The arbiter continues until the LLM actually gives us a cave passage, which may not happen right away. Which ever of the arbiter states we’re at when the `inCave(passage)` predicate returns true, we remain in the cave and proceed to the end game `state 2` in either the next 1 or 2 time steps. when `isEnd(passage)` is called in the if statement, it immediately resets the game so the automata never proceeds to the dead `state 5` which is generated as the result of violated assumptions (I got rid of the violated assumption transitions from the code because they just took up space). The summary is also updated in every time step. \ No newline at end of file +**Description**: This automaton starts at initial `state 0`, updates the summary with the introductory passage, then proceeds to `state 1`. Since, at the beginning, the player is neither in a cave or a market, we prompt the LLM for a market passage and proceed to `state 3`. Since we are still not in the cave, we prompt the LLM for a cave passage and proceed to `state 1`. The arbiter continues until the LLM actually gives us a cave passage, which may not happen right away. Which ever of the arbiter states we’re at when the `inCave(passage)` predicate returns true, we remain in the cave and proceed to the end game `state 2` in either the next 1 or 2 time steps. when `isEnd(passage)` is called in the if statement, it immediately resets the game so the automaton never proceeds to the dead `state 5` which is generated as the result of violated assumptions (I got rid of the violated assumption transitions from the code because they just took up space). The summary is also updated in every time step.