Plus d’un million de livres, à portée de main !
Bookbot

Tableau, Tableauresolution und Tableaugraphresolution

Auteurs

En savoir plus sur le livre

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.

Achat du livre

Tableau, Tableauresolution und Tableaugraphresolution, Wanlin Li

Langue
Année de publication
1991
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer