APPENDIX D

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 ...

Start Free Trial

No credit card required