Channels
administrivia
announcements
bot-dark-forest
devlog-together
in-alberta
in-boston
in-germany
in-israel
in-london
in-nyc
in-ontario
in-seattle
in-sf
in-socal
introduce-yourself
linking-together
of-ai
of-end-user-programming
of-functional-programming
of-graphics
of-logic-programming
of-music
present-company
random-encounters
reading-together
share-your-work
thinking-together
two-minute-week
wormholes
Title
j
Jason Morris
09/27/2022, 11:04 PMStill all ugly as sin, of course. 🙂 But I now have a usable platform for demonstrating explainable, declarative encodings of legislation, with hypothetical and reverse reasoning, etc.
i
Ivan Reese
09/27/2022, 11:33 PMInteresting!
How do you get "jane threw scissors" by abduction? How do we know jane didn't throw paper?
Ah — I see what I missed. Jane throws scissors just in Answer #1. Presumably, Answer #2 is jane throwing paper (jane wins), and Answer #3 is jane throwing rock (tie)?
j
Jason Morris
09/28/2022, 2:32 AMClose! 🙂
Answer 1 is bob wins. Only one possibility, Jane threw scissors. Answer 2 is jane wins. Three possibilities, there: jane beats jane with each of the three signs. (The rule is poorly encoded, because it doesn't require a disunity between the players.)