Johan de Kleer

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Johan de Kleer ist ein niederländisch-kanadischer Informatiker.

Johan de Kleer studierte Mathematik und Informatik an der University of British Columbia mit dem Bachelor-Abschluss und Informatik am Massachusetts Institute of Technology mit dem Master-Abschluss und der Promotion 1979 bei Gerald Sussman (Causal and teleological reasoning in circuit recognition).[1] Er ist PARC Research Fellow bei Xerox PARC, wo er die Gruppe Model Based Reasoning (MBR) leitet. Von ihm initiierte Forschungsgebiete sind Qualitative Reasoning, Assumption-based Truth Maintenance System (ATMS) und Model-Based Diagnosis.

1987 erhielt er den IJCAI Computers and Thought Award. Er ist Fellow der Association for Computing Machinery und der AAAI.

  • mit J. S. Brown: A qualitative physics based on confluences, Artificial intelligence, Band 24, 1984, S. 7–83
  • An assumption-based TMS, Artificial intelligence, Band 28, 1986, S. 127–162
  • mit B. C. Williams: Diagnosing multiple faults, Artificial intelligence, Band 32, 1987, S. 97–130
  • mit A. K. Mackworth, Ray Reiter: Characterizing diagnoses and systems, Artificial intelligence, Band 56, 1992, S. 197–222
  • mit Kenneth D. Forbus: Building problem solvers, MIT Press 1993
  • mit Daniel S. Weld: Readings in qualitative reasoning about physical systems, Morgan Kaufmann 2013
  • mit Walter Hamscher, Luca Console: Readings in model based diagnosis, Morgan Kaufmann 1992

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Johan de Kleer im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet