APPENDIX D

Answers to Selected Exercises

Chapter 2

2.2. The expression U[Awake, Asleep] is an abbreviation for the conjunction of the following formulas:

image

2.3. The following formulas are positive relative to Q:

image

The following formulas are not positive relative to Q:

image

Chapter 3

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

Get Commonsense Reasoning now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.