TY - GEN
T1 - Making b el nap's "useful four-valued logic" useful
AU - Sutcliffe, Geoff
AU - Pelletier, Francis Jeffry
AU - Hazen, Allen P.
PY - 2018/1/1
Y1 - 2018/1/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85071954474&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85071954474&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:85071954474
T3 - Proceedings of the 31st International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018
SP - 116
EP - 121
BT - Proceedings of the 31st International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018
A2 - Brawner, Keith
A2 - Rus, Vasile
PB - AAAI Press
T2 - 31st International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018
Y2 - 21 May 2018 through 23 May 2018
ER -