homepeople › johan de kleer

PROFILE:

 

Johan de Kleer

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.

 

PARC publications

view publications by:  date | title | type | focus area

 

2014

A Self-Aware Machine Platform in Manufacturing Shop Floor Utilizing MTConnect Data

Annual Conference of the Prognostics and Health Management Society 2014

1 October 2014

A Simulation and Modeling based Reliability Requirement Assessment Methodology

26th International Conference on Design Theory and Methodology (DTM)

17 August 2014

Model-Based Approach for Optimal Maintenance Strategy

Second European Conference of the Prognostics and Health Management Society 2014

8 July 2014

Automatic Systems Diagnosis Without Behavioral Models

IEEE Aerospace Conference

1 March 2014

2013

Online reconfigurable machines

AI Magazine

Fall 2013

Continuous state estimation for heterogeneous Hadoop clusters

To be presented at the International Workshop on Principles of Diagnosis: DX-2013

19 August 2013

ThroughputScheduler: learning to schedule on heterogeneous Hadoop clusters

International Conference on Autonomic Computing (ICAC '13)

27 June 2013

2012

Diagnosing heterogeneous Hadoop clusters

23rd International Workshop on the Principles of Diagnosis (DX2012)

31 July 2012

Placing qualitative reasoning in the design process

26th International Workshop on Qualitative Reasoning

16 July 2012

2011

Hybrid qualitative simulation of military operations

25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI

7 August 2011

2010

Hybrid qualitative simulation of military operations

Workshop on Qualitative Reasoning (QR2010)

8 August 2010

Diagnosis with incomplete models: diagnosing hidden interaction faults

Qualitative Reasoning Workshop (QR 2010)

8 August 2010

Pervasive diagnosis

IEEE Transactions on Systems, Man and Cybernetics - A

September 2010

2009

2008

A unified information criterion for evaluating probe and test selection

International Conference on Prognostics and Health Management

6 October 2008

Model-based diagnosis

Tutorial at PHM08

6 October 2008

2007

Diagnosing intermittent faults

Twenty-Second AAAI Conference on Artifical Intelligence (AAAI-2007)

22 July 2007

Improved analysis of probability estimates in model-based diagnosis

Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-2007)

22 July 2007

Dynamic domain abstraction through meta-diagnosis

International Workshop on Qualitative Reasoning

27 June 2007

Troubleshooting temporal behavior in ''combinatorial'' circuits

International Workshop on Principles of Diagnosis

29 May 2007

Dynamic domain abstraction through meta-diagnosis

International Workshop on Model-based diagnosis

29 May 2007

Modeling when connections are the problem

Twentieth International Joint Conference on Artificial Intelligence (IJCAI-2007)

6 January 2007

2006

Modelling when connections are the problem

Twentieth International Conference on Qualitative Reasoning

12 July 2006

Getting the probabilities right for measurement selection

17th International Workshop on Principles of Diagnosis (DX2006)

10 July 2006

2003

Model-based computing for design and control of reconfigurable systems

AI Magazine, Special Issue on Qualitative Reasoning

Winter 2003

Fundamentals of model-based diagnosis

5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes

9 June 2003

2000

Eureka II

14th International Workshop on Qualitative Reasoning

8 June 2000

Eureka II

3rd Intangibles Conference on Knowledge Management, Measurement & Organization

19 May 2000

1995

1993

A view on qualitative physics

Artificial Intelligence

February 1993

A perspective on assumption-based truth maintenance

Artificial Intelligence

February 1993

1992

Characterizing diagnoses and systems

Artificial Intelligence

August 1992

Narrow views, old talks, new beginnings

Computational Intelligence

May 1992

1991