A Chat with Bard

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.

Authors

Jack McKeown
Geoff Sutcliffe (ORCID: https://orcid.org/0000-0001-9120-3927)
Alexander Steen (ORCID: https://orcid.org/0000-0001-8781-9462)

Publication Details

Journal: Kalpa publications in computing
Published: 2025-04-07
DOI: https://doi.org/10.29007/r9l2
Primary Topic: Explainable Artificial Intelligence (XAI)
Type: article
Field-Weighted Citation Impact: 0.00

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

article

A Chat with Bard

Jack McKeown, Geoff Sutcliffe, Alexander Steen

Apr 7, 2025

Kalpa publications in computing

Explainable Artificial Intelligence (XAI)

article

A Chat with Bard

Jack McKeown, Geoff Sutcliffe, Alexander Steen

April 7, 2025article en

Abstract

Kalpa publications in computingVol. 21

Openalex Percentile: Top 97%

Explainable Artificial Intelligence (XAI)

DOI Open Access PDF OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

A Chat with Bard — Jack McKeown, Geoff Sutcliffe, et al. · Kalpa publications in computing (2025) | TGRS Research Map | TGRS