A Chat with Bard

7 pages•Published: April 6, 2025

Geoff Sutcliffe, Jack McKeown and Alexander Steen

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 paper documents the story that unfolded, and how tools from the TPTP World were used to examine the output from Bard.

In: Konstantin Korovin, Stephan Schulz and Michael Rawson (editors). Proceedings of the 14th and 15th International Workshops on the Implementation of Logics, vol 21, pages 8-14.

Links:	https://easychair.org/publications/paper/nz2N
	https://doi.org/10.29007/r9l2

BibTeX entry

@inproceedings{IWIL-2024:Chat_with_Bard,
  author    = {Geoff Sutcliffe and Jack McKeown and Alexander Steen},
  title     = {A Chat with Bard},
  booktitle = {Proceedings of the 14th and 15th International Workshops on the Implementation of Logics},
  editor    = {Konstantin Korovin and Stephan Schulz and Michael Rawson},
  series    = {Kalpa Publications in Computing},
  volume    = {21},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/nz2N},
  doi       = {10.29007/r9l2},
  pages     = {8-14},
  year      = {2025}}

Download PDF Open PDF in browser