Seminar Reboan pada tanggal 6 November 2019 pukul 13:00-14:30 akan diselenggarakan di Ruang Rapat Besar Gedung A Fasilkom UI serta akan menghadirkan Prof. Abdul Sattar dengan judul seminar "AI: Modelling and Solving Complex Problems". Kami undang seluruh civitas Fasilkom UI untuk hadir.
Abstrak seminar dan biografi singkat Prof. Abdul Sattar dapat dibaca di bawah.
Artificial Intelligence (AI) has become a topic of day to day discussions in modern society. This talk will present some aspects of "what is AI?' then discuss the importance of modelling complex problems in an understandable way and methodologies to solve them efficiently. Constraint satisfaction paradigm provides a powerful tool to model complex real world problems and solve them efficiently using general-purpose constraint solving techniques. In this talk , we will discuss how a range of problems from diverse fields can be represented as constraint satisfaction problems. Given these problems are in general computationally intractable, we argue that local search based solving methods are more suitable than backtracking based methods. We will then present some of our recent results on solving the diverse range of optimisation problems.
Prof. Abdul Sattar the founding Director of the Institute for Integrated and Intelligent Systems and a Professor of Computer Science and Artificial Intelligence at Griffith University. He has been a Research Leader at National ICT Australia (NICTA) Queensland Research Lab (QRL), where he led the QRL node of NICTA's largest project, Advanced Technologies for Optimisation and Modelling In Constraints (ATOMIC). He served as a executive member and Chair of Sponsorship sub-committee for ACS National Committee on Artificial Intelligence as well as Secretary/Treasurer and Chair of PRICAI Steering Committee. He is a life member of the Association for the Advancement of Artificial Intelligence (AAAI), International Society for Applied Intelligence, the Association of Computing Machinery (ACM), and the International Artificial Intelligence in Education Society.
His research interests include knowledge representation and reasoning, constraint satisfaction, intelligent scheduling, rational agents, propositional satisfiability, temporal reasoning, temporal databases, and bioinformatics.