Deklarative logische Programmierung: Theorie, Systeme und Anwendungen

Bewertung:   (4,4 von 5)

Deklarative logische Programmierung: Theorie, Systeme und Anwendungen (Michael Kifer)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 3 Stimmen.

Originaltitel:

Declarative Logic Programming: Theory, Systems, and Applications

Inhalt des Buches:

Die Idee zu diesem Buch entstand aus einem Symposium, das im September 2012 in Stony Brook stattfand, um David S. Warrens grundlegende Beiträge zur Informatik und insbesondere zum Bereich der logischen Programmierung zu würdigen.

Die logische Programmierung (LP) steht an der Schnittstelle von Wissensrepräsentation, künstlicher Intelligenz, mathematischer Logik, Datenbanken und Programmiersprachen. Sie ist faszinierend und intellektuell anregend aufgrund des grundlegenden Zusammenspiels zwischen Theorie, Systemen und Anwendungen, das durch die Logik entsteht. Logikprogramme sind eher deklarativ in dem Sinne, dass sie logische Spezifikationen des "was" zu tun ist und nicht des "wie" es zu tun ist, und daher sind sie auf hohem Niveau und einfacher zu verstehen und zu pflegen. LP-Systeme setzen die logischen Spezifikationen jedoch automatisch um, ohne dass ihnen ein tatsächlicher Algorithmus vorgegeben wird.

Mehrere Bücher behandeln die Grundlagen der LP, konzentrieren sich aber meist auf die Sprache Prolog mit ihrer unvollständigen Kontrollstrategie und ihren nicht-logischen Eigenschaften. Gleichzeitig mangelt es im Allgemeinen an zugänglichen und dennoch umfassenden Sammlungen von Artikeln, die die wichtigsten Aspekte der deklarativen LP abdecken. Zu diesen Aspekten gehören u.a. wohlbegründete vs. stabile Modellsemantik für Negation, Constraints, objektorientierte LP, Updates, probabilistische LP und Evaluierungsmethoden, einschließlich Top-down vs. Bottom-up und Tabling.

Im Bereich der Systeme ist die Situation sogar noch unbefriedigender, da es an zugänglicher Literatur fehlt, die dabei helfen kann, die neue Generation von Entwicklern, Praktikern und Forschern auszubilden. Es gibt ein paar Leitfäden über Warren's Abstract Machine (WAM), die den meisten Implementierungen von Prolog zugrunde liegt, aber es gibt nur sehr wenig darüber, was für die Konstruktion einer modernen deklarativen LP-Inferenzmaschine erforderlich ist. Vergleichen Sie dies mit der Literatur über, sagen wir, Compiler, wo man zuerst ein Buch über die allgemeinen Prinzipien und Algorithmen studieren und dann in die Einzelheiten eines spezifischen Compilers eintauchen kann. Solche Ressourcen erleichtern die Möglichkeit, schnell sinnvolle Beiträge zu leisten. Es gibt auch einen Mangel an Artikeln über Systeme, die wirklich deklarative Sprachen unterstützen, insbesondere solche, die mit Logik erster Ordnung, mathematischer Programmierung und dem Lösen von Beschränkungen zusammenhängen.

LP hilft bei der Lösung anspruchsvoller Probleme in einer Vielzahl von Anwendungsbereichen, aber es fehlt eine eingehende Analyse ihrer Verbindung mit LP-Sprachabstraktionen und LP-Implementierungsmethoden. Außerdem gibt es nur wenige Übersichten über anspruchsvolle Anwendungsbereiche der LP, wie Bioinformatik, Verarbeitung natürlicher Sprache, Verifikation und Planung.

Das Ziel dieses Buches ist es, die zuvor erwähnte Lücke in der LP-Literatur zu füllen. Es bietet eine Reihe von Übersichten über Schlüsselaspekte der LP, die sowohl für Forscher und Praktiker als auch für Studenten mit Hochschulabschluss geeignet sind. Die folgenden Kapitel zu Theorie, Systemen und Anwendungen von LP sind enthalten.

Weitere Daten des Buches:

ISBN:9781970001990
Autor:
Verlag:
Sprache:Englisch
Einband:Hardcover

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Einführung in den Entwurf und die Implementierung von Betriebssystemen: Der OSP 2-Ansatz -...
Dieses Buch ist eine Einführung in den Entwurf und die...
Einführung in den Entwurf und die Implementierung von Betriebssystemen: Der OSP 2-Ansatz - Introduction to Operating System Design and Implementation: The OSP 2 Approach
Deklarative logische Programmierung: Theorie, Systeme und Anwendungen - Declarative Logic...
Die Idee zu diesem Buch entstand aus einem Symposium, das im...
Deklarative logische Programmierung: Theorie, Systeme und Anwendungen - Declarative Logic Programming: Theory, Systems, and Applications
Deklarative logische Programmierung: Theorie, Systeme und Anwendungen - Declarative Logic...
Die Idee zu diesem Buch entstand aus einem...
Deklarative logische Programmierung: Theorie, Systeme und Anwendungen - Declarative Logic Programming: Theory, Systems, and Applications

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)