FST Graduate Research Topic

Research Topic: Logic and reasoning in intelligent agents
Suggested By: Dunwei (Grant) Wen
Last Update: September 9th, 2014

This project is for those who have strong background and interest in modern logic and automated reasoning. It will focus on logic representation and reasoning in intelligent agents and multi-agent systems, such as modal logic based Belief-Desire-Intention (BDI) logic and epistemic logic, probabilistic belief revision, and practical reasoning systems based on these logics. This research also aims to solve problems in multi-agent environments by using some advanced logic and reasoning tools to realize multi-agent communication, coalition and coordination. It will also involve some learning techniques especially reinforcement learning for collaborative multi-agent problem solving. This research topic is suitable for Project or Thesis.