CHAPTER 17

Conclusion

This book has provided a detailed treatment of commonsense reasoning and a guide to automating commonsense reasoning using first-order logic and the event calculus. We have described general methods that can be applied to a wide range of commonsense reasoning problems. In this chapter, we summarize what has been accomplished and discuss where this work is leading.

17.1 What Was Accomplished?

We started by describing commonsense reasoning, a common activity that people perform almost without realizing it. We then considered several examples of commonsense reasoning and presented important aspects of this activity that need to be treated by any method for automating it or any formalism for describing it. We demonstrated ...

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.