Research‎ > ‎

Good Old-Fashioned AI

My PhD work was on symbolic AI, or the Good old-fashioned AI, covering topics from logic, automated planning, to constraint programming, SAT solving.

Selected Projects

Declarative programming and AI

Some parts of AI are related to a programming paradigm known as declarative programming. For example, in knowledge representation and reasoning, the tools to represent knowledge are usually based on logic programming while the reasoning algorithms can be inspired by research in constraint programming. Unlike imperative programming (where users specify the algorithms to solve specific problems), the idea of declarative programming is very attractive:

The user states the problem, the computer solves it.

-- E. C. Freuder. In Pursuit of the Holy Grail, Constraints, vol. 2, pp. 57-61, 1997

Hence, it is directly related to the motivation of AI that is to build a machine that can think.

I am interested in the solving techniques and applications of the following fields:

  • Automated Planning and Scheduling
  • Answer Set Programming (ASP)
  • Constraint Satisfaction Problem (CSP)
  • Boolean Satisfiability (SAT)

Tutorials about ASP/CSP/SAT

Constraint solving

Interesting Applications

Software Systems

Competitions

Related Groups