A Chat with Bard

EasyChair Preprint 10329

Abstract

Given all the excitement around ChatGPT, Bard, Bing, etc., we decided to test Bard’s logical reasoning powers. Bard was given the TPTP problem PUZ001+1 - Who Killed Aunt Agatha?, modified to really ask that question. This short paper documents the story that unfolded, and how tools from the TPTP World were used to examine the output from Bard.

Keyphrases: Bard, TPTP, logic

@booklet{EasyChair:10329,
  author    = {Geoff Sutcliffe and Jack McKeown and Alexander Steen},
  title     = {A Chat with Bard},
  howpublished = {EasyChair Preprint 10329},
  year      = {EasyChair, 2023}}