Honours Projects

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.

• Cognitive Robotics

  • A General High-Level Architecture for Mobile Robot Control

  • Cognitive Robotics Workbench

  • Comparison of Golog vs. BDI (Belief-Desire-Intention)

  • Implementation of Golog in C, C++ or Golog

• Belief Revision

  • Implementation of a belief revision system using BDDs (Binary Decision Diagrams)

  • Implementation of a belief revision system using prime implicates

  • Belief merging

  • Belief revsion and constraint satisfaction

• Knowledge Compilation

  • A study of randomly generated prime implicates

• Reasoning about Action and Change

  • Causality in knowledge representation

• Nonmonotonic reasoning