Constraint-Based Intelligent Systems
Prof. Abdul Sattar
August 27, 2010 11:00 AM
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 (firstname.lastname@example.org).