Tableau, Tableauresolution und Tableaugraphresolution : Ein neuer Weg zur Automatischen Deduktion
by
Wanlin Li
Book Details
Format
Paperback / Softback
ISBN-10
3631440014
ISBN-13
9783631440018
Publisher
Peter Lang GmbH, Internationaler Verlag der Wissenschaften
Country of Manufacture
DE
Country of Publication
GB
Publication Date
Oct 1st, 1991
Weight
180 grams
Product Classification:
MathematicsInformation technology: general issues
Ksh 5,100.00
Re-Printing
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
Die Klauselresolution ist derzeit das popularste Deduktionsverfahren. Ihre Anwendung ist jedoch auf die Klauselmenge eingeschrankt. Die vorliegende Arbeit stellt ein Verfahren vor, das mit Hilfe von Unifikation bzw. Resolution die gesamte Pradikatenlogik bearbeitet. Die in dieser Arbeit eingefuhrten Tableaus - Polybaume mit Literaleinfarbung - dienen zur strukturisierten Formeldarstellung. Daraus erhalt man einen vollig neuen Kalkul, die Tableauresolution. Der Ubergang von der Tableauresolution zur Tableaugraphresolution erfolgt wie von der Klauselresolution zur Klauselgraphresolution. Systematisch werden die Eigenschaften wie Korrektheit, Vollstandigkeit und Konfluenz daruber ausgesprochen.
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.
Get Tableau, Tableauresolution und Tableaugraphresolution by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Peter Lang GmbH, Internationaler Verlag der Wissenschaften and it has pages.