Hoping for the truth - A survey of the TPTP logics

Geoffrey Sutcliffe, Francis Jeffry Pelletier

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Abstract

This paper compares features of the classical logics that are commonly used in the TPTP-based automated reasoning community for representing chosen aspects of "the world", and the consequent implications for reasoning about these representations. The paper argues that increases in complexity in terms of representation and reasoning force users to compromise between the reliability of the representation and the reliability of the reasoning.

Original languageEnglish (US)
Title of host publicationProceedings of the 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016
PublisherAAAI Press
Pages110-115
Number of pages6
ISBN (Electronic)9781577357568
StatePublished - 2016
Event29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016 - Key Largo, United States
Duration: May 16 2016May 18 2016

Other

Other29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016
CountryUnited States
CityKey Largo
Period5/16/165/18/16

ASJC Scopus subject areas

  • Software
  • Artificial Intelligence
  • Computer Networks and Communications

Cite this

Sutcliffe, G., & Pelletier, F. J. (2016). Hoping for the truth - A survey of the TPTP logics. In Proceedings of the 29th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016 (pp. 110-115). AAAI Press.