Turbo Prolog ― Einführung in die Anwendung (Programmieren von Mikrocomputern) (German Edition)

0 durchschnittliche Bewertung
( 0 Bewertungen bei Goodreads )
 
9783528045616: Turbo Prolog ― Einführung in die Anwendung (Programmieren von Mikrocomputern) (German Edition)

Die Künstliche Intelligenz befaßt sich mit der Nachbildung von intelligentem mensch­ lichen Verhalten durch Computer. Eines ihrer Teilgebiete ist das Automatische Beweisen, wo die Tätigkeit des Beweisens mathematischer Aussagen, die Tätigkeit von Mathematikern also, simuliert werden soll. Hier stellt man sich die Frage, ob eine Formel (eine Aussage, ein Satz) der Prädikatenlogik aus gewissen vorgegebenen Formeln mechanisch, durch ein Computerprogramm, ableitbar ist. Ein Prolog-Interpreter oder -Compiler (ein Prolog-System) kann aufgefaßt werden als ein solches Ableitungs- oder Beweisprogramm, als ein Inferenzmechanismus, das Prolog­ Programm selbst als eine Reihe vorgegebener Formeln, als Wissensbasis. Prolog ist ein dialogorientes System: Der Benutzer stellt ein Problem, eine Frage (zu einer Wissensbasis) und erhält eine Antwort, nachdem das Inferenzverfahren die Ableit­ barkeit aus der Wissensbasis untersucht hat, usw. Prolog ist eine deskriptive (deklarative) Programmiersprache. Ein Programm in Prolog beschreibt ein Problem nur, nennt nur seine Grundregeln und -bedingungen, gibt nur das Problemwissen an. Es schreibt nicht - wie das in konventionellen Programmier­ sprachen der Fall ist - Schritt für Schritt vor, wie man mit Hilfe des Problemwissens zu einer Problemlösung gelangt. Ein Wissensbasiertes System ist ein Problemlösungsprogramm, das als Komponenten mindestens eine Wissensbasis und einen Inferenzmechanismus beinhaltet. Danach können wir jedes Prolog-Programm zusammen mit seinem Interpreter oder Compiler als Wissensbasiertes System auffassen: Das Programm bildet die Wissensbasis, und das Prolog-System liefert den Inferenzmechanismus. Ein Expertensystem ist ein Wissensbasiertes System, das die Problemlösefahigkeit eines Experten simuliert.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Neu kaufen Angebot ansehen

Versand: Gratis
Innerhalb Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Beste Suchergebnisse beim ZVAB

1.

Konrad Justen
Verlag: Vieweg & Teubner Verlag Jan 1988 (1988)
ISBN 10: 3528045612 ISBN 13: 9783528045616
Neu Taschenbuch Anzahl: 1
Anbieter
AHA-BUCH GmbH
(Einbeck, Deutschland)
Bewertung
[?]

Buchbeschreibung Vieweg & Teubner Verlag Jan 1988, 1988. Taschenbuch. Buchzustand: Neu. Neuware - Die Künstliche Intelligenz befaßt sich mit der Nachbildung von intelligentem mensch lichen Verhalten durch Computer. Eines ihrer Teilgebiete ist das Automatische Beweisen, wo die Tätigkeit des Beweisens mathematischer Aussagen, die Tätigkeit von Mathematikern also, simuliert werden soll. Hier stellt man sich die Frage, ob eine Formel (eine Aussage, ein Satz) der Prädikatenlogik aus gewissen vorgegebenen Formeln mechanisch, durch ein Computerprogramm, ableitbar ist. Ein Prolog-Interpreter oder -Compiler (ein Prolog-System) kann aufgefaßt werden als ein solches Ableitungs- oder Beweisprogramm, als ein Inferenzmechanismus, das Prolog Programm selbst als eine Reihe vorgegebener Formeln, als Wissensbasis. Prolog ist ein dialogorientes System: Der Benutzer stellt ein Problem, eine Frage (zu einer Wissensbasis) und erhält eine Antwort, nachdem das Inferenzverfahren die Ableit barkeit aus der Wissensbasis untersucht hat, usw. Prolog ist eine deskriptive (deklarative) Programmiersprache. Ein Programm in Prolog beschreibt ein Problem nur, nennt nur seine Grundregeln und -bedingungen, gibt nur das Problemwissen an. Es schreibt nicht - wie das in konventionellen Programmier sprachen der Fall ist - Schritt für Schritt vor, wie man mit Hilfe des Problemwissens zu einer Problemlösung gelangt. Ein Wissensbasiertes System ist ein Problemlösungsprogramm, das als Komponenten mindestens eine Wissensbasis und einen Inferenzmechanismus beinhaltet. Danach können wir jedes Prolog-Programm zusammen mit seinem Interpreter oder Compiler als Wissensbasiertes System auffassen: Das Programm bildet die Wissensbasis, und das Prolog-System liefert den Inferenzmechanismus. Ein Expertensystem ist ein Wissensbasiertes System, das die Problemlösefahigkeit eines Experten simuliert. 96 pp. Deutsch. Artikel-Nr. 9783528045616

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 54,99
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb Deutschland
Versandziele, Kosten & Dauer