Appendix F

Answers to Selected Exercises

Abstract We provide answers to selected exercises in the book Commonsense Reasoning.

Keywords Commonsense reasoning, Event calculus, Answers to exercises

Chapter 2

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

Awakea1Asleepa2Awakea1=Awakea2a1=a2Asleepa1=Asleepa2a1=a2

si1_e

2.3. The following formulas are positive relative to Q:

QAPxQx

si2_e

The following formulas are not positive relative to Q:

¬QAPx¬QxQxPxQxPxQAQB

Chapter 3

3.2. We use a positive ...

Get Commonsense Reasoning, 2nd Edition now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.