Johan de Kleer

Profile

Biography

Job: scientist
Johan de Kleer is a PARC Research Fellow and leads the Model-based Reasoning (MBR) area in the System Sciences Laboratory. The MBR area focuses on model-based reasoning for Cyber-Physical Systems. Model-based reasoning is a paradigm in which constraints and properties of the physical system are fundamental to analyzing Cyber-Physical Systems. MBR addresses challenges in planning, scheduling, control, optimization, probabilistic reasoning, cyber-security, diagnosis, prognostics, and design and manufacturing. MBR projects range from uncovering fundamental insights to prototype implementation of solutions to practical real-world problems. Johan co-invented the field of Qualitative Reasoning and continues research on topics including temporal reasoning, abstraction and modeling. He invented the Assumption-based Truth Maintenance System (ATMS), which is widely used in Model-Based Diagnosis (a field he invented), constraint solvers and configurations. He was the PARC PI for the DARPA Deep Green project (BAE prime) and for the DARPA AVM META effort (Vanderbilt prime). He was the recipient of the prestigious "Computers and Thought Award" at the International Joint Conference on Artificial Intelligence (IJCAI) and was honored with the "Lifetime Achievement Award" at the 25th International Workshop on Principles of Diagnosis (DX14). He is a Fellow of the American Association for the Advancement of Artificial Intelligence (AAAI) and the Association of Computing Machinery (ACM). Johan holds 19 patents and has published over 100 papers in peer-reviewed publications on the topics of Qualitative Physics, Model-based Reasoning, Truth Maintenance Systems Packing, and Knowledge Representation, and has co-authored three books: Readings in Qualitative Physics, Readings in Model-Based Diagnosis, and Building Problem Solvers. Dr. deKleer received his Ph.D. in Artificial Intelligence EECS and an S.M. in Computer Science EECS from Massachusetts Institute of Technology, and a B.Sc. (Honours) in Mathematics and Computer Science from University of British Columbia, Canada.

Publications

Patents

Date
Title
Patent #
Title