1. Inleiding. - 1. 1 Motivatie. - 1. 2 Belangrijkste bijdragen. - 1. 3 Organisatie. - 2. Modelgebaseerde diagnose. - 2. 1 Heuristische diagnose versus modelgebaseerde diagnose. - 2. 2 Het model. - 2. 3 Op consistentie gebaseerde en abductieve diagnose. - 2. 4 diagnose motoren. - 2. 5 Samenvatting. - 3. Logische programmering en diagnose. - 3. 1 Geënt logisch programmeren. - 3. 2 Modellering Diagnose Problemen. - 3. 3 HERZIEN Een systeem voor programmaherziening. - 3. 4 Samenvatting. - 4. Strategieën bij diagnose. - 4. 1 Inleiding. - 4. 2 Een strategietaal. - 4. 3 Een strategische kennisbank voor circuitdiagnose. - 4. 4 Operationele semantiek en een algoritme. - 4. 5 Uitbreidingen van de strategietaal. - 4. 6 Samenvatting. - 5. Autonome agenten. - 5. 1 Inleiding. - 5. 2 Levendige agenten. - 5. 3 Gelijktijdige actie en planning. - 5. 4 Gedistribueerde diagnose van een computernetwerk. - 5. 5 Diagnose van een communicatieprotocol. - 5. 6 Samenvatting. - 6. Conclusies. - 6. 1 Vergelijkingen. - 6. 2 Algemene evaluatie. - 6. 3 Toekomstig werk. - 7. Proeven en proefschetsen. -Verwijzingen. Taal: Engels