Synopsis
Eigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die er- ste Provokation stammt von D. G. Bobrow und ist eine Frage, mit der er eine seiner Veroffentlichungen iiberschrieben hat: "If PROLOG is the answer, what is the question?". Sie sollte mir die vergangenen drei Jahre nicnt mehr aus dem Kopf gehen. Heute mochte ich die Frage erweitern: " . . . and given the ques- tion, is PROLOG the answer?". Die zweite Provokation hii. ngt mit J. deKleers Assumption Based Truth Maintenance System (ATMS) zusammen, genauer mit der Frage, welche Rolle ein dera. . rtiges Truth-Maintenance-System in einem Logik- Programmiersystem spielen konnte. DeKleer selbst schatzt diese Rolle in per- sonlichen Au6erungen relativ gering ein. Aus heutiger Sicht gebe ich deKleer zugleich recht und unrecht-recht, wenn er unter Logik-Programmierung im we- sentlichen PROLOG versteht, und unrecht, wenn der Begriff weiter gefa6t wird. Trotz oder gerade aufgrund der provokanten Form der beiden erwahnten Aus- sagen waren deKleer und Bobrow von zentraler Bedeutung fiir diese Arbeit. Ih- nen gilt deshalb mein erster Dank. Sodann mochte ich Herrn Prof. Dr. G. Nees danken, der meinen wissenschaft- lichen Werdegang seit meiner Studienzeit kritisch und wohlwollend begleitet hat. Nicht zuletzt seiner Fiirsprache ist es zuzuschreiben, da6 die vorliegende Ar- beit durchein Promotionsstipendium der SIEMENS-AG, das Ernst-von-Siemens- Stipendium, gefordert wurde. Ohne den damit verbundenen finanziellen Spiel- raU1p- hatten viele wert volle Gesprache mit auslandischen Kollegen auf Tagungen und Studienreisen nicht stattfinden konnen. Besonderer Dank gebiihrt auch meinem Doktorvater Prof. Dr. H. Wedekind.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Zur Logik der Logik-Programmierung: Ein konstruktiver...
Image fournie par le vendeur
Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz. * Reihe: Informatik-Fachberichte 199. Subreihe KI Kunstliche Intelligenz.
Edité par
Springer-Verlag. Berlin Heidelberg, 1988
ISBN 10 : 3540507205
ISBN 13 : 9783540507208
Ancien ou d'occasion
Couverture souple
Vendeur : Antiquariat Heinzelmännchen, Stuttgart, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
IX, 240 Seiten. Zweifarbige Originalbroschur. (Geringe Gebrauchsspuren). 24x17 cm * Prof. Clemens Beckstein ist seit 1995 Professor für Praktische Informatik mit Schwerpunkt symbolische künstliche Intelligenz. ----- Logische Programmierung (Prädikative Programmierung, Logikprogrammierung[1]) ist ein Programmierparadigma, das auf der mathematischen Logik beruht. Anders als bei der imperativen Programmierung besteht ein Logik-Programm nicht aus einer Folge von Anweisungen, sondern aus einer Menge von Axiomen, welche hier als eine Ansammlung von Fakten oder Annahmen zu verstehen ist. Stellt der Benutzer eines Logik-Programms eine Anfrage, so versucht der Interpreter, die Lösungsaussage allein aus den Axiomen zu berechnen. Dazu werden eine Menge von so genannten Regeln und Anweisungen, die der Syntax gemäß aufgebaut sind zusammen mit der Information, welche Lösungsmethode vorgesehen ist, in den Programmcode eingefügt. Logische Programmiersprachen gehören zu den deklarativen Programmiersprachen und haben ihre Ursprünge im Forschungsgebiet Künstliche Intelligenz. In einem imperativen Programm wird genau beschrieben, wie und in welcher Reihenfolge ein Problem zu lösen ist. Im Gegensatz dazu wird in einem logikbasierten Programm beschrieben, was gilt. Das Wie ist durch die Lösungsmethode vorgegeben. Die Lösung wird aus den Regeln hergeleitet. Die bekannteste logische Programmiersprache ist Prolog. Zu den Begründern der logischen Programmierung zählten in den 1970er Jahren Alain Colmerauer und Robert Kowalski. Erläuterungen Die Syntax gibt an, wie Regeln geschrieben werden müssen, damit der Computer sie verwenden kann. Regeln sind Wenn-Dann-Aussagen und Fakten, die das Wissen zu einem Problemkreis beschreiben. Daneben gibt es spezielle Konstrukte, um die Lösungsmethode zu beeinflussen. Am bekanntesten ist die Rückwärtsabschneidung (engl. cut) in Prolog, womit z. B. Ausnahmeregeln modelliert werden. Einem regelbasierten Programm kann man Fragen (engl. query) stellen, indem man ein Ziel (engl. goal) vorgibt. Die Lösungsmethode gibt vor, wie die Inferenzmaschine die Regeln interpretiert, um die Frage zu beantworten. In Prolog wird eine Tiefensuche (engl. depth first) mit Unifikation und Backtracking verwendet. Auch andere Methoden sind geeignet und werden je nach Anwendungsfall auch eingesetzt. Beispiel Dieses Beispiel ist in natürlicher Sprache formuliert, um das Prinzip aufzuzeigen. Fakten: Lucia ist die Mutter von Minna. Lucia ist die Mutter von Klaus. Minna ist die Mutter von Nadine. Regel: Falls X ist die Mutter von Y und Y ist die Mutter von Z Dann X ist die Großmutter von Z. Frage/Ziel: Wer ist die Großmutter von Nadine? Antwort des Computers, Folgerung aus den Fakten und Regeln: Lucia (Quelle Wikipedia) Sprache: Deutsch Gewicht in Gramm: 700. N° de réf. du vendeur 149057
Acheter D'occasion
EUR 40
Expédition à EUR 20
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz
Edité par
Springer Berlin Heidelberg, 1988
ISBN 10 : 3540507205
ISBN 13 : 9783540507208
Ancien ou d'occasion
Couverture souple
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. 262 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Deutsch Gewicht in Gramm: 469 24,4 x 17,0 x 1,5 cm, Taschenbuch. N° de réf. du vendeur 388285
Acheter D'occasion
EUR 45,49
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz (Informatik-Fachberichte)
Edité par
Springer Berlin Heidelberg 1988-01-01, 1988
ISBN 10 : 3540507205
ISBN 13 : 9783540507208
Neuf
Paperback
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540507208
Acheter neuf
EUR 58,99
Expédition à EUR 17,79
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Zur Logik der Logik-Programmierung
Edité par
Springer Berlin Heidelberg Dez 1988, 1988
ISBN 10 : 3540507205
ISBN 13 : 9783540507208
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Eigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die er ste Provokation stammt von D. G. Bobrow und ist eine Frage, mit der er eine seiner Veroffentlichungen iiberschrieben hat: 'If PROLOG is the answer, what is the question '. Sie sollte mir die vergangenen drei Jahre nicnt mehr aus dem Kopf gehen. Heute mochte ich die Frage erweitern: ' . . . and given the ques tion, is PROLOG the answer '. Die zweite Provokation hii. ngt mit J. deKleers Assumption Based Truth Maintenance System (ATMS) zusammen, genauer mit der Frage, welche Rolle ein dera. . rtiges Truth-Maintenance-System in einem Logik Programmiersystem spielen konnte. DeKleer selbst schatzt diese Rolle in per sonlichen Au6erungen relativ gering ein. Aus heutiger Sicht gebe ich deKleer zugleich recht und unrecht-recht, wenn er unter Logik-Programmierung im we sentlichen PROLOG versteht, und unrecht, wenn der Begriff weiter gefa6t wird. Trotz oder gerade aufgrund der provokanten Form der beiden erwahnten Aus sagen waren deKleer und Bobrow von zentraler Bedeutung fiir diese Arbeit. Ih nen gilt deshalb mein erster Dank. Sodann mochte ich Herrn Prof. Dr. G. Nees danken, der meinen wissenschaft lichen Werdegang seit meiner Studienzeit kritisch und wohlwollend begleitet hat. Nicht zuletzt seiner Fiirsprache ist es zuzuschreiben, da6 die vorliegende Ar beit durchein Promotionsstipendium der SIEMENS-AG, das Ernst-von-Siemens Stipendium, gefordert wurde. Ohne den damit verbundenen finanziellen Spiel raU1p hatten viele wert volle Gesprache mit auslandischen Kollegen auf Tagungen und Studienreisen nicht stattfinden konnen. Besonderer Dank gebiihrt auch meinem Doktorvater Prof. Dr. H. Wedekind. 260 pp. Deutsch. N° de réf. du vendeur 9783540507208
Acheter neuf
EUR 54,99
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Zur Logik der Logik-Programmierung
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 260. N° de réf. du vendeur 2654505170
Acheter neuf
EUR 75,92
Expédition à EUR 3,42
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Zur Logik der Logik-Programmierung
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 260 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 55054605
Acheter neuf
EUR 75,84
Expédition à EUR 7,47
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Zur Logik der Logik-Programmierung
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 260. N° de réf. du vendeur 1854505176
Acheter neuf
EUR 76,71
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Zur Logik der Logik-Programmierung
Edité par
Springer Berlin Heidelberg, 1988
ISBN 10 : 3540507205
ISBN 13 : 9783540507208
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Einleitung.- 1.1 Motivation.- 1.1.1 Logik als Analysewerkzeu.- 1.1.2 Logik als Repraesentations- und SchlussWerkzeu.- 1.1.3 Logik als Programmiersprach.- 1.2 Ausdruckskraft kontra Verarbeitung.- 1.3 Aufbau der Arbeit.- 2 Logische Grundbegriffe.- 2.1 Praedika. N° de réf. du vendeur 4891686
Acheter neuf
EUR 54,99
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz (Informatik-Fachberichte / Subreihe Künstliche Intelligenz) (German Edition)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 255 pages. German language. 9.61x6.69x0.60 inches. In Stock. N° de réf. du vendeur x-3540507205
Acheter neuf
EUR 97,89
Expédition à EUR 11,49
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Zur Logik der Logik-Programmierung
Edité par
Springer Berlin Heidelberg Dez 1988, 1988
ISBN 10 : 3540507205
ISBN 13 : 9783540507208
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -Eigentlich verdankt diese Arbeit ihren Ursprung zwei Provokationen. Die er ste Provokation stammt von D. G. Bobrow und ist eine Frage, mit der er eine seiner Veroffentlichungen iiberschrieben hat: 'If PROLOG is the answer, what is the question '. Sie sollte mir die vergangenen drei Jahre nicnt mehr aus dem Kopf gehen. Heute mochte ich die Frage erweitern: ' . . . and given the ques tion, is PROLOG the answer '. Die zweite Provokation hii. ngt mit J. deKleers Assumption Based Truth Maintenance System (ATMS) zusammen, genauer mit der Frage, welche Rolle ein dera. . rtiges Truth-Maintenance-System in einem Logik Programmiersystem spielen konnte. DeKleer selbst schatzt diese Rolle in per sonlichen Au6erungen relativ gering ein. Aus heutiger Sicht gebe ich deKleer zugleich recht und unrecht-recht, wenn er unter Logik-Programmierung im we sentlichen PROLOG versteht, und unrecht, wenn der Begriff weiter gefa6t wird. Trotz oder gerade aufgrund der provokanten Form der beiden erwahnten Aus sagen waren deKleer und Bobrow von zentraler Bedeutung fiir diese Arbeit. Ih nen gilt deshalb mein erster Dank. Sodann mochte ich Herrn Prof. Dr. G. Nees danken, der meinen wissenschaft lichen Werdegang seit meiner Studienzeit kritisch und wohlwollend begleitet hat. Nicht zuletzt seiner Fiirsprache ist es zuzuschreiben, da6 die vorliegende Ar beit durchein Promotionsstipendium der SIEMENS-AG, das Ernst-von-Siemens Stipendium, gefordert wurde. Ohne den damit verbundenen finanziellen Spiel raU1p hatten viele wert volle Gesprache mit auslandischen Kollegen auf Tagungen und Studienreisen nicht stattfinden konnen. Besonderer Dank gebiihrt auch meinem Doktorvater Prof. Dr. H. Wedekind.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 260 pp. Deutsch. N° de réf. du vendeur 9783540507208
Acheter neuf
EUR 54,99
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)