 |
Artificial Intelligence
Research Group |
|
Knowledge Representation and Reasoning
We are interested in the logicist approach to the formalisation
of common sense knowledge and reasoning.
Nonmonotonic Logics
Bell is interested in the theory of nonmonotonic logics.
This and related work was recently funded as part of the
DRUMS II project;
a three-year ESPRIT III-funded project involving 21
European universities, which
was concerned with the investigation of quantitative and
qualitative approaches to reasoning under
uncertainty.
Reasoning About Action and Change
Various approaches to the problem of formalising commonsense
reasoning about action and change are being investigated, using
formalisms such as the Situation Calculus and the Event Calculus
[Miller, Shanahan], and the Temporal Calculus
[Bell].
Shanahan and Miller's recent project
Logic for Common Sense Reasoning about Continuous Change
was funded by the EPSRC.
This work forms the basis of their current EPSRC-funded project
on
Cognitive Robotics.
Commonsense Reasoning and Rationality
Recently Bell and Huang developed logics for reasoning about
safety as part of the EPSRC-funded
RED project.
Bell and Huang are currently developing a logical theory of
practical
rationality in resource-bounded agents as part of the
EPSRC-funded
Ratio
project.
Automated Reasoning
Work on the model-based implementation of pragmatic (i.e.
nonmonotonic) logics is
being carried out on the EPSRC-funded
Dynamo project [Bell, Hodges, White].