Making b el nap's "useful four-valued logic" useful

Geoff Sutcliffe, Francis Jeffry Pelletier, Allen P. Hazen

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

1 Scopus citations

Abstract

In 1977 Nuel Belnap published two articles, "How a Computer Should Think" and "A Useful Four-Valued Logic", in which he defined a four-valued logic called F D E (First Degree Entailment). However, F D E does not allow entailments within statements, and no conditional connective is defined. As such, it is not really computationally "useful". This paper proposes conditional connectives to add to F D E, and describes the implementation of a reasoning tool for F D E with a conditional connective, with experimental results. With the addition of a conditional connective F D E starts to become truly computationally useful.

Original languageEnglish (US)
Title of host publicationProceedings of the 31st International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018
EditorsKeith Brawner, Vasile Rus
PublisherAAAI Press
Pages116-121
Number of pages6
ISBN (Electronic)9781577357964
StatePublished - Jan 1 2018
Event31st International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018 - Melbourne, United States
Duration: May 21 2018May 23 2018

Publication series

NameProceedings of the 31st International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018

Conference

Conference31st International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018
CountryUnited States
CityMelbourne
Period5/21/185/23/18

ASJC Scopus subject areas

  • Artificial Intelligence
  • Software

Cite this

Sutcliffe, G., Pelletier, F. J., & Hazen, A. P. (2018). Making b el nap's "useful four-valued logic" useful. In K. Brawner, & V. Rus (Eds.), Proceedings of the 31st International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018 (pp. 116-121). (Proceedings of the 31st International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018). AAAI Press.