Vi presenterar en metod för att beräkna bortförande i logisk programmering. Vi översätter ett abduktivt ramverk till ett normalt logiskt program med integritetsbegränsningar och visar överensstämmelsen mellan generaliserade stabila modeller och stabila modeller för översättning av det abductiva ramverket. Abduktiva förklaringar till en observation kan hittas från de stabila modellerna för det översatta programmet genom att lägga till en speciell typ av integritetsbegränsning för observationen. Sedan visar vi en bottom-up procedur för att beräkna stabila modeller för ett normalt logiskt program med integritet begränsningar. Det föreslagna förfarandet utesluter onödig konstruktion av stabila modeller på ett tidigt stadium av förfarandet genom att kontrollera integritetsbegränsningar under konstruktionen och genom att härleda vissa fakta från integritetsbegränsningar. Även om ett nedifrån-och-upp-förfarande har nackdelen att bygga stabila modeller som inte är relaterade till en observation för att beräkna borttagande förklaringar i allmänhet, undviker vårt förfarande nackdelen genom att förvänta sig vilken regel som bör användas för att tillfredsställa integritetsbegränsningar och starta nedifrån-och-upp-beräkning baserat på förväntningarna. Denna förväntan är inte bara en teknik för tillämpningsområde regelval utan också en oumbärlig del av vår stabila modell konstruktion eftersom förväntningarna görs för dynamiskt genererade begränsningar samt begränsningen för observation. Ó Ordförande
I REF visas hur beräkning av trovärdiga förklaringar med avseende på den stabila modellens semantik kan uttryckas som beräkning av stabila modeller av program med integritetsregler.
Computing abduction by using TMS with top-down expectation
{'venue': 'J. Log. Program.', 'journal': 'J. Log. Program.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}