Swipe to navigate through the chapters of this book
Until the end of the 20th century many logicians believed that theorem provers for first-order logic will be the major component of intelligent agents. Almost all successful modern AI applications however use different formalisms. This is due to some severe problems with first-order logic that we will explain in this chapter.
Please log in to get access to this content
- Limitations of Logic
- Springer International Publishing
- Sequence number
- Chapter number
- Chapter 4