I am interested in logic-based approaches to artificial intelligence and their applications, particularly to robotics. Here is a list of suggested topic areas (I hope to provide more detailed project descriptions soon). Also, if you're interested in these areas and would like to propose or discuss an alternative project, please contact me.
Comparison of Golog vs. BDI (Belief-Desire-Intention)
Implementation of Golog in C, C++ or Golog
Implementation of a belief revision system using prime implicates
Belief revsion and constraint satisfaction
A study of randomly generated prime implicates
Reasoning about Action and Change