[Review of the book Logics for Artificial Intelligence, by Rurner]

  • Author(s) / Creator(s)
  • Introduction: This very short book is apparently intended as a supplementary text in a graduate AI course. The author describes it as a \"text and reference work on the applications of non-standard logics to artificial intelligence (AI).\" It gives short and concise (too short and too concise, in the reviewers' opinion) introductions to dynamic logic, modal logic, many-valued logic, non-monotonic logic, temporal logic, type theory, and fuzzy logic. Surprisingly, it does not contain a discussion of applications of standard logic to AI—automated theorem-proving tools such as resolution, and uses such as answer-extraction, robotic planning, and so on. Equally surprising is omission of any discussion of identity, probabilistic logics, inductive logics, intensional logics, relevant logics, paraconsistent logics, and omission of the whole topic of representation of natural language by logic.

  • Date created
  • Subjects / Keywords
  • Type of Item
  • DOI
  • License
    © 1991 Association for Symbolic Logic. This version of this article is open access and can be downloaded and shared. The original author(s) and source must be cited.
  • Language
  • Citation for previous publication
    • Pelletier, F.J., & Schubert, L. (1991). [Review of the book Logics for Artificial Intelligence, by R. Turner]. Journal of Symbolic Logic, 56(1), 399-440.
  • Link to related item