Zusammenfassung
Die vorliegende Arbeit beschäftigt sich mit einem Teilgebiet des automatischen Beweisens, das von groβer Bedeutung fur die Entwicklung effizienter Deduktionssysteme ist, nämlich dem Gebiet des Backtrackings.
Eine neue Methode für intelligentes Back-tracking in Deduktionssystemen wird vorgestellt. Sie beruht auf der Auswertung der bei Unifikationskonflikten anfallenden Information. Diese ist in einem Unifikationsgraphen mit Constraints festgehalten, der bei der Unifikation erstellt wird. Aus dem Graphen konnen dann maximal unifizierbare Teilmengen ermittelt werden.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
M. Bruynooghe, “Analysis of dependencies to improve the behaviour of logic programs”, Proc, 5th Conference on Automated Deduction, Lecture Notes in Computer Science 87, Springer, New York, 1980, 293–305.
P.T. Cox, “On determining the causes of nonunifiability”, Aukland Computer Science Report No. 23, University of Aukland, 1981.
P.T. Cox, T. Pietrzykowski, “Deduction plans: a basis for intelligent backtracking”, IEEE Transactions on Pattern Analysis and Machine Intelligence, 3 (1), 1981.
A. Janson, “Intelligentes Backtracking in Deduktionssystemen”, Diplomarbeit, Universität Kaiserslautern, 1983.
S. Matwin, T. Pietrzykowski, “Exponential improvement of exhaustive backtracking: a strategy for plan-based deduction”, Proc, 6th Conference on Automated Deduction, Lecture Notes in Computer Science, Springer, New York, 1982, 223–239.
S. Matwin, T. Pietrzykowski, “Exponential improvement of exhaustive backtracking: data structure and implementation”, Proc. 6th Conference on Automated Deduction, Lecture Notes in Computer Science, Springer, New York, 1982, 240–259.
L.M. Pereira, A. Porto, “Selective backtracking for logic programs”, Proc. 5th Conference on Automated Deduction, Lecture Notes in Computer Science 87, Springer, New York, 1980, 306–317.
P.E. Vasey, “A logic-in-logic interpreter”, M.Sc. Thesis, Dept. of Computing and Control, Imperial College, London, 1980.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dilger, W., Janson, A. (1983). Unifikationsgraphen für Intelligentes Backtracking in Deduktionssystemen. In: Neumann, B. (eds) GWAI-83. Informatik-Fachberichte, vol 76. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69391-5_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-69391-5_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12871-7
Online ISBN: 978-3-642-69391-5
eBook Packages: Springer Book Archive