Year: 2025
Type: conference-paper
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.
Source: Kalpa publications in computing
DOI: 10.29007/r9l2
Authors: Geoff Sutcliffe, Jack McKeown, Alexander Steen
Institutions: University of Miami, Universität Greifswald
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W4409225568