Scholarlink

Until the end of the twentieth 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.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Limitations of Logic

  • 章节

  • 发表日期：

    2025年

查看全文
  • Wolfgang Ertel

摘要

Until the end of the twentieth 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.