Scaling Discrete Integration via SAT and CSP

Assistant Professor Kuldeep S. Meel

National University of Singapore

Project Description

Decision making with uncertain data is increasingly becoming common in today’s world. Given complex dependencies between modules in a
system, and considering the inevitability of noise in observations, the design of symbolic reasoning techniques that can reason about probabilistic nature of systems have emerged as core challenge in the design of AI systems. The objective of this proposal is to develop symbolic reasoning techniques to aid artificial intelligence (AI) systems deal with uncertainty. To this end, this proposal focuses on development of fundamental algorithms for the problem of discrete integration, which is one of central components of symbolic reasoning in modern AI systems.

Research Technical Areas

Search and constraint satisfaction

Knowledge representation and reasoning

Reasoning under uncertainty

Benefit to the society

Discrete integration forms the backbone of probabilistic reasoning, which has wide spread usage in autonomous vehicle, healthcare technologies. CSP and optimization is also at the  core of combinatorial and decision problems which occur quite widely throughout Computer Science and are highly applicable to many sub-problems in the smart-nation context. In a nutshell, this project introduces both academic values to put Singapore in the forefront of AI research and practical values for a safe and secure realization of Singapore smart-nation initiatives.

Team's Principal Investigator

Assistant Professor Kuldeep S. Meel
School of Computing
National University of Singapore

Principal Investigator’s Core Research Technical Areas

  • Search and constraint satisfaction
  • Verification for AI systems
  • Interpretable machine learning

Introduction of the Principal Investigator

Kuldeep S. Meel is an Assistant Professor in the Computer Science Department of School of Computing at National University of Singapore, where he holds Sung Kah Kay Assistant Professorship. He graduated from the Indian Institute of Technology, Bombay, with a Bachelor of Technology (with Honors) in Computer Science, as well as a M.S. and PhD in Computer Science. The broader goal of his research is to advance artificial intelligence techniques, which utilize ubiquity of data and formal methods, to enable computing to deal with increasingly uncertain real-world environments.

Recent Notable Awards

  • Sung Kah Kay Assistant Professorship, July 2018 — Present
  • 2018 Ralph Budd Award for research in Engineering. This award, established in 1935, is given annually for the best doctoral thesis in the School of Engineering at Rice University.
  • Honorable mention for 2018 ACP Doctoral Dissertation Award

Team

Co-Principal Investigator

Assoc. Prof. Roland Yap

National University of Singapore

Research Areas:

  1. Heuristic search and optimization
  2. Search and constraint satisfaction
  3. Program reasoning and verification
Do NOT follow this link or you will be banned from the site!