Thời gian: 9 giờ sáng, thứ 2 ngày 25 tháng 01 năm 2009
Địa điểm: I.11C
Người trình bày: Prof. Sattar and Prof. Thornton
Queensland Research Laboratory National ICT Australia (NICTA)
School of Information and Communication Technology Director
Griffith University, Australia
Abstract: Artificial Intelligence (AI) emerged as a new field of modern science and engineering about 6 decades ago. Since then 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. However, these two aspects of intelligent systems still remain the fundamental challenges of AI. This talk will first give an overview of the major milestones achieved so far to address these basic problems. We will then focus on constraint satisfaction paradigm that has become a realistic approach to model and solve real world problems efficiently. The talk will conclude with some of our recent successes on solving the propositional satisfiability challenges and some open issues.
Kính mời quí Thầy/Cô và các bạn SV quan tâm tham dự.