A Chat with Bard

Abstract

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