Avledning från observationer och en teori, med hjälp av hypoteser en förklaring till iakttagelserna { fick ökat intresse under de senaste åren. Denna form av resonemang har stor tillämplighet inom olika områden av datavetenskap; i synnerhet, det har erkänts som en viktig princip av sunt förnuft resonemang. I detta dokument, vi de ne en allmän bortförande modell för logik programmering, där inference operatör (dvs. semantik som skall tillämpas på program), kan specifieras av användaren. Avancerade former av logisk programmering har föreslagits som värdefulla verktyg för kunskapsrepresentation och resonemang. Vi visar att logikprogrammering semantik kan vara mer meningsfullt för bortförande resonemang än klassisk inferens genom att ge exempel från området kunskapsrepresentation och resonemang. Huvuddelen av dokumentet ägnas åt en omfattande studie av den beräkningsmässiga komplexiteten hos de viktigaste problemen i bortförande resonemang, som är: Med tanke på ett fall av ett bortförande problem (1) har problemet en lösning (dvs. en förklaring); (2) gör en given hypotes tillhör någon förklaring; och (3) gör en given hypotes tillhör alla förklaringar. Dessa problem analyseras för olika underliggande logik programmering semantik, nämligen de välgrundade semantiken, den stabila modellen semantik och den minimala modellen semantik, uppmärksamma normala och diskontiva logiska program för fallet med proposition samt funktionsfri rst order program. De viktigaste resultaten är att ovanstående abduktiva resonemang uppgifter på förslagslogik program befolka klasserna i den nedre änden av polynomhierarkin upp till P 4, och ge fullständiga problem för ett antal klasser över de första fyra nivåerna i hierarkin. Liknande resultat erhålls i första-order fallet. Detta bevisar bortförande från logiska program som en rik källa till problem av varierande komplexitet. Ett preliminärt utdraget abstract av detta dokument framträdde i
REF studerade komplexiteten i resonemangsuppgifter i den abduktiva logiska programmeringsinställningen.
Abduction from Logic Programs: Semantics and Complexity
{'venue': 'Theoretical Computer Science', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}