Answers to Selected Exercises
2.2. The expression U[Awake, Asleep] is an abbreviation for the conjunction of the following formulas:
2.3. The following formulas are positive relative to Q:
The following formulas are not positive relative to Q:
3.2. We use a positive effect axiom. The axiom states that if there exists a room such that agent 1 and agent 2 are in that room, agent 2 is listening to agent 1, and agent ...