Project ideas (MSc projects 2009 and final year projects 2009/2010)
My research interests are in logic and artificial intelligence, and
I am very happy to discuss projects involving either or both.
I often supervise projects which involve Java programming (a game, or
animation of some algorithm, route planning, assistance with decision making,
theorem proving,...). I don't know anything about web
scripting languages and electronic commerce so I am not a good
supervisor for those projects.
Some project ideas:
-
A tool for teaching temporal logic similar to the ones for modal logic
on Jan Jaspars's
page (unfortunately for one of them instructions are in Dutch but I hope you
get the idea).
- Theorem prover which counts how much time and space is used by a
proof (suitable for both an MSc and a UG project).
For most logical systems, it is hard enough to find any proof
for a theorem, so theorem provers try to find some proof, not necessarily
the shortest one. This paper (sections 1-3
and 5.2) describes looking for optimal proofs, with respect to their length
or memory use. We do it using a model-checker but it may be easier to do it
using a suitably modified theorem prover.
This file is maintained by Natasha Alechina
Last updated 27 May 2009.