Constraint-Based Intelligent Systems

Prof. Abdul Sattar

Griffith University


August 27, 2010 11:00 AM

#309-1, Bldg.302


Since the emergence of Artificial Intelligence (AI) as a new field of modern science and engineering  about 6 decades ago, concerted efforts have been made on designing and developing expressively adequate languages to represent knowledge about real world domains, and building computational tools to efficiently reason with these representations. Indeed, these two aspects of intelligent systems remain the fundamental challenges of AI.  This talk will first give an overview of the AI challenge in general. We will then focus on the constraint satisfaction paradigm that has become a powerful approach to model real world problems and solve them efficiently using general purpose constraint solving techniques. We will present some of our recent successes on solving the propositional satisfiability problems, and some open issues

This page is maintained by Ji-seon Yoo (
Last update: September 9, 2010