Inhaltsangabe: Die Entführung ist die Art der Argumentation, dass eine Theorie T (in der Regel eine Reihe von Formeln Sprache, mit der er arbeitet) und eine Beobachtung O (in der Regel eine Formel), so dass weder A noch sein Leugnen ist eine logische Konsequenz der T ist Suche nach einer Erklärung E (eine Formel), also logische Folge der Vereinigung von Ty E. abductivo Die Argumentation, die kann nicht reduziert werden auf Vorsteuerabzug wirft interessante Probleme, die über das hinausgehen, die logisch, da die Unterscheidung zwischen den Begriffen der "Entführung als Ein Produkt "und" Entführung als Prozess "oder der verschiedenen Stadien der" Generation "und" Auswahl "der Begründung Hypothese. Die Argumentation abductivo findet Anwendungen in vielen Disziplinen, aus der Künstlichen Intelligenz zu Lingüstica durch Cognitive Sciences and Philosophy of Science. In diesem Papier schlagen wir vor, eine Schätzung abductivo, nennen wir delta-Entschließung, Dual-Auflösung der klassischen (Robinson,
1965), hat die Tugend der Generierung von Hypothesen "so direkt." Darüber hinaus integriert die Konzepte der abdución als "Produkt" Und "Prozess" sowie die Phasen der "Generation" und "Auswahl". Ebenso wird darauf hingewiesen, dass die logische Ausweitung auf nicht-klassische ist vielversprechend in diesem wie auch in anderen Ansätzen. Nach einem Vergleich der Effizienz, mit der das System Aliseda (1997), die semantische beschäftigt Tabellen zu Beginn der Suche abductiva zeigt, dass unser System zahlt deutlich besser, vor allem in den meisten komplexen Problemen, da die Heuristik, die uns bleibt, ist rechnerisch sehr günstigste Probleme abductivos häufiger Programming in Logic and Knowledge Representation. Hier Implementierungen sind in SWI-Prolog von Algorithmen definiert. Schließlich schlagen wir vor, eine Verlängerung der ersten Bestellung Logik, die zeigt, dass, obwohl die Entführung auf diese Logik ist in der Regel Unsagbaren, ist es möglich, interessante Probleme zu lösen, in verschiedenen Bereichen. Darüber hinaus lässt die Tür offen für die Anpassung der partielle Lösungen für die Berechnung der Delta-Entscheidung Entschließung.
