Available under Creative Commons-ShareAlike 4.0 International License. Download for free at http://cnx.org/contents/383d4b87-2d7b-454e-99fe-2eaa43eae8ff@20.20
We summarize the details of how we choose to model WaterWorld boards in propositional logic: exactly what propositions we make up, and the formal domain axioms which capture the game's rules.
The board is fxed at 6×4, named A,...,Z (with I and O omitted).
Figure 6.1 A Sample WaterWorld board
- 1914 reads