Limitations of Logic

  • Wolfgang Ertel
Part of the Undergraduate Topics in Computer Science book series (UTICS)


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.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Hochschule Ravensburg-WeingartenWeingartenGermany

Personalised recommendations