Konfigurationsproblem är ett blomstrande applikationsområde för deklarativ kunskapsrepresentation som för närvarande upplever en konstant ökning av kunskapsbasernas storlek och komplexitet. Automatiserat stöd för avlusning av sådana kunskapsbaser är en nödvändig förutsättning för en effektiv utveckling av konfigurerare. Vi visar att denna uppgift kan uppnås genom konsekventa diagnosmetoder. Baserat på den formella definitionen av konsistensbaserad konfiguration utvecklar vi ett ramverk som lämpar sig för att diagnostisera konfigurationskunskapsbaser. Under konfiguratorernas testfas används giltiga och ogiltiga exempel för att testa systemets korrekthet. Om sådana exempel leder till oavsiktliga resultat inleds felsökning av kunskapsbasen. Med utgångspunkt från en tydlig definition av diagnos inom konfigurationsdomänen utvecklar vi en algoritm baserad på konflikter. Vårt ramverk är tillräckligt allmänt för dess anpassning för att diagnostisera kundernas krav för att identifiera ouppnåeliga förhållanden under konfigurationssessioner. En prototyp implementering med hjälp av kommersiella begränsningar-baserade konfigurator bibliotek visar genomförbarheten av diagnos inom de snäva tidsramarna för interaktiva felsökning sessioner. Slutligen diskuterar vi nyttan av resultaten av den diagnostiska processen i olika scenarier.
REF koncentrerar sig på att identifiera fel i en given kunskapsbas för konfigurationen.
Consistency-based diagnosis of configuration knowledge bases
{'venue': 'Artif. Intell.', 'journal': None, 'mag_field_of_study': ['Computer Science']}