Graham White
graham@dcs.qmw.ac.uk,
Department of Computer Science,
Queen Mary and Westfield College,
University of London.
Tel. (0171) 975 5231
Research
Category Theory
-
Applications of category theory to problems in the area of
artificial intelligence, particularly those to do with
temporal and spatial reasoning;
- I used to work on
Project Dynamo.
Linear Logic
- I use the linear
logic programming language Lygon
to implement solutions to the Frame Problem. See my
technical report on Lygon and the situation calculus:
PostScript,
and the report on
Golog and linear logic:
PostScript,
dvi,
pdf.
- I am also trying to give a proper philosophical account of
the semantics of linear logic reasoning about action; see the section on
philosophy.
Philosophy
- I seem to be
doing a lot of work on the concept of simulation at the moment:
see the
paper on mental simulation
(PostScript,
pdf,
dvi).
This will appear in
The
Monist special issue on
philosophy and computer science (Volume 82, January 1999).
I gave a paper on simulation at
Common Sense 98; here are the
PostScript,
pdf
and
dvi,
and the
PostScript,
pdf
and
dvi
for the slides (which include material not in the paper). See
also the continuing
on-line discussions of the conference papers.
The work on simulation has led to a more elaborate account of
the logic, which I have submitted to
Electronic Transactions in
Artificial Intelligence. Here are the
dvi
and the
PostScript.
See also the
on-line discussion.
This paper relies on a good deal of theoretical work, which I have
written up in QMW Technical Report 749; here are the
dvi
and the
PostScript.
-
I have submitted a paper
on David Lewis' semantics of counterfactuals
to Dialectica. In this paper I argue that
Lewis' account runs into unexpected difficulties when we try to
apply it to dynamical systems: we cannot define Lewis' semantics
if the possible worlds are temporal evolutions of a non-integrable
system. Dvi,
pdf,
PostScript.
- The historical roots of type-theoretic styles of mathematical
reasoning -- in particular, the work of Lesniewski and others;
- Fourteenth century philosophy.
Papers
"Simulation and Ramification", submitted to Electronic
Transations on Artificial Intelligence:
dvi,
PostScript,
pdf.
"Actions, Ramification, and Linear Modalities",
QMW Technical Report 749:
dvi,
PostScript,
pdf,
"Lewis, Possible Worlds, and Non-Integrability", February 1998,
submitted to Dialectica:
dvi,
pdf,
PostScript.
"Simulation, Theory and Cut Elimination", February 1998;
submitted to The Monist special issue on the philosophy
of computer science.
PostScript,
pdf,
dvi.
"Balls and String: Simulation and Theories",
November 1977,
given at Common Sense 98.
PostScript,
pdf,
dvi. See also the
slides (
PostScript,
pdf,
dvi) for the talk; these describe stuff on ramification
and Girard's fixpoint theorem which isn't in the submitted paper.
"Golog and Linear Logic",
QMW Department of Computer Science Technical Report,
December 1997.
PostScript,
pdf,
dvi.
"A Linear Meta-Interpreter for the Situation Calculus",
September 1997;
submitted to the Journal of Logic and Computation.
PostScript,
dvi.
"The Design of a Situation-Based Lygon Metainterpreter:
I. Simple Changes and Persistence",
QMW Department of Computer Science Technical
Report no. 729, 1996.
PostScript.
Joint Papers
(with John Bell and Wilfrid Hodges)
"Building Models of Prediction Theories",
December 1977.
PostScript,
dvi.
(with John Bell and Wilfrid Hodges)
"Building Models of Prediction Theories"
December 1977;
Extended Abstract accepted for
KR98.
PostScript,
dvi.
Non-Academic Stuff
I like all sorts of music; classical, jazz, blues,
that sort of thing. I also cook a great
deal (French and Indian, by choice), and I go to a lot of films
(surprisingly many, in fact, when I think of how many I go to).
Acknowledgements
Pdfs of my papers were done with Tom Kiffe's
Mac port of
Han The Tanh's
pdftex.
