Tableau, Tableauresolution und Tableaugraphresolution
Ein neuer Weg zur Automatischen Deduktion. Dissertationsschrift
Die Klauselresolution ist derzeit das populärste Deduktionsverfahren. Ihre Anwendung ist jedoch auf die Klauselmenge eingeschränkt. Die vorliegende Arbeit stellt ein Verfahren vor, das mit Hilfe von Unifikation bzw. Resolution die gesamte Prädikatenlogik...
Leider schon ausverkauft
Buch (Kartoniert)
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Tableau, Tableauresolution und Tableaugraphresolution “
Klappentext zu „Tableau, Tableauresolution und Tableaugraphresolution “
Die Klauselresolution ist derzeit das populärste Deduktionsverfahren. Ihre Anwendung ist jedoch auf die Klauselmenge eingeschränkt. Die vorliegende Arbeit stellt ein Verfahren vor, das mit Hilfe von Unifikation bzw. Resolution die gesamte Prädikatenlogik bearbeitet. Die in dieser Arbeit eingeführten Tableaus - Polybäume mit Literaleinfärbung - dienen zur strukturisierten Formeldarstellung. Daraus erhält man einen völlig neuen Kalkül, die Tableauresolution. Der Übergang von der Tableauresolution zur Tableaugraphresolution erfolgt wie von der Klauselresolution zur Klauselgraphresolution. Systematisch werden die Eigenschaften wie Korrektheit, Vollständigkeit und Konfluenz darüber ausgesprochen.
Inhaltsverzeichnis zu „Tableau, Tableauresolution und Tableaugraphresolution “
Aus dem Inhalt: Automatisches Beweisen - Prädikatenlogik erster Stufe - Tableaus - Tableauresolution - Tableaugraphresolution - Polybaum - Kodierung von Tableaus.
Autoren-Porträt von Wanlin Li
Der Autor: Wanlin Li wurde 1963 in Sichnan, China geboren. Er studierte Informatik an der Chongging-Universitä, China. Seit 1987 ist er an der Fakultät für Informatik der Universität Karlsruhe.
Bibliographische Angaben
- Autor: Wanlin Li
- 1991, Neuausg., 117 Seiten, Maße: 14,6 x 21 cm, Kartoniert (TB), Deutsch
- Verlag: Peter Lang
- ISBN-10: 3631440014
- ISBN-13: 9783631440018
- Erscheinungsdatum: 01.10.1991
Kommentar zu "Tableau, Tableauresolution und Tableaugraphresolution"
Schreiben Sie einen Kommentar zu "Tableau, Tableauresolution und Tableaugraphresolution".
Kommentar verfassen