Murray Shanahan's Publications
All of these files are Postscript, and have been compressed using the Unix
"compress" command.
Reasoning about Action and Change
Further work on abductive event calculus appears under the Planning heading.
Much of this work finds application in papers under the Robotics heading.
Reasoning about Space and Shape
There's more on this topic in my papers under the Robotics heading.
Robotics
The five papers below concern the assimilation of sensor data via abduction.
The ECAI paper presents the basic ideas, and the AAAI 96 paper extends them to
deal with motor noise. The long paper (second in the list) combines the
material of the ECAI and AAAI 96 papers, and includes some discussion of
computational issues. The Common Sense 96 paper is an early presentation of
the work. The AAAI 97 paper is a cleaner presentation of the earlier
work, and deals with both motor and sensor noise.
Planning
Artificial Life
I'm no longer active in this area of research.
You can also browse my Internet publication:
BioDigital Substrate: An Experiment in Artificial Life.
Philosophy of AI
The first of these papers was actually written in 1987. It was presented
at the Turing 1990 conference, and wasn't published in the
associated Oxford University Press volume until late 1996.
Reason Maintenance Systems
This is mostly my PhD work, which was to do with applying ideas from Reason
Maintenace Systems to Logic Programming. Here's the
thesis
(this one's a dvi file, not Postscript).