Angebote zu "Prolog" (9 Treffer)

Kategorien

Shops

Prolog Programming for Artificial Intelligence
€ 68.99 *
ggf. zzgl. Versand

The fourth edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementation of AI techniques. Prolog has its roots in logic, however the main aim of this book is to teach Prolog as a practical programming tool. This text therefore concentrates on the art of using the basic mechanisms of Prolog to solve interesting problems. The fourth edition has been fully revised and extended to provide an even greater range of applications, which further enhance its value as a self-contained guide to Prolog, AI or AI Programming for students and professional programmers alike. Features · Combined approach to Prolog and AI allows flexibility for learning and teaching · Provides a thorough representation of AI, emphasizing practical techniques and Prolog implementations · Prolog programs for use in projects and research are available for download at (copy to come). New for this edition : · Coverage of Constraint Logic Programming (CLP) is extended and now introduced earlier in the book, in the Prolog part. · Most of the existing chapters on AI techniques have been systematically improved and updated · Coverage of planning methods is deepened in a new chapter that includes implementations of partial order planning and the GRAHPLAN approach · The treatment of search methods now includes an RTA* program (real-time A* search) · The chapter on meta-pogramming (now chapter 25) is extended by abductive reasoning, query-the-user facility, and a scetch of CLP interpreter, all implemented as Prolog meta-interpreters · Programming examples are refreshed throughout the book, making them more interesting and practical. One such example introduces semantic reasoning with the well-known lexical database WordNet. Author : Professor Ivan Bratko leads the AI Lab in the Faculty of Computer and Information Science at Ljubljana University. He has taught Prolog world-wide as well as applying Prolog in medical expert systems, robot programming, qualitative modelling and computer chess research. Product Description The fourth edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. New and extended topics include Constraint Logic Programming, abductive reasoning and partial order planning. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementation of AI techniques. This textbook is meant to teach Prolog as a practical programming tool and so it concentrates on the art of using the basic mechanisms of Prolog to solve interesting problems. The fourth edition has been fully revised and extended to provide an even greater range of applications, making it a self-contained guide to Prolog, AI or AI Programming for students and professional programmers. Features + Benefits Combined approach to Prolog and AI allows flexibility for learning and teaching. Provides a thorough representation of AI, emphasizing practical techniques and Prolog implementations. Prolog programs for use in projects and research are available for download from the companion website http://www.pearsoned.co.uk/bratko Backcover The fourth edition of this best-selling guide to Prolog and Artificial Intelligence has been updated to include key developments in the field while retaining its lucid approach to these topics. Divided into two parts, the first part of the book introduces the programming language Prolog, while the second part teaches Artificial Intelligence using Prolog as a tool for the implementation of AI techniques. Prolog has its roots in logic; however the main aim of this book is to teach Prolog as a practical programming tool. This text therefore concentrates on the art of using the basic mechanisms of Prolog to solve interesting problems. The fourth edition has been fully revised and extended to provide an even greater range of applications, which further enhance its value as a self-contained guide to Prolog, AI or AI Programming for students and professional programmers alike. Features: · Combined approach to

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Logic Programming with Prolog
€ 32.99 *
ggf. zzgl. Versand

Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Programming language is Prolog. Prolog is a good choice for developing complex applications, especially in the field of Artificial Intelligence. Logic Programming with Prolog does not assume that the reader is an experienced programmer or has a background in Mathematics, Logic or Artificial Intelligence. It starts from scratch and aims to arrive at the point where quite powerful programs can be written in the language. It is intended both as a textbook for an introductory course and as a self-study book. On completion readers will know enough to use Prolog in their own research or practical projects. Each chapter has self-assessment exercises so that readers may check their own progress. A glossary of the technical terms used completes the book. This second edition has been revised to be fully compatible with SWI-Prolog, a popular multi-platform public domain implementation of the language. Additional chapters have been added covering the use of Prolog to analyse English sentences and to illustrate how Prolog can be used to implement applications of an ´Artificial Intelligence´ kind. Max Bramer is Emeritus Professor of Information Technology at the University of Portsmouth, England. He has taught Prolog to undergraduate computer science students and used Prolog in his own work for many years.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Logik und Logikprogrammierung 1
€ 29.80 *
ggf. zzgl. Versand

Die zweibändig angelegte Neuausgabe des bewährten Standardwerks, das sich insbesondere an Studienanfänger/innen der Informatik und benachbarter Disziplinen richtet, bietet eine Einführung in die grundlegenden Techniken und Methoden der formalen Logik und in die Möglichkeiten der Logikprogrammierung am Beispiel der Programmiersprache PROLOG. Der Schwerpunkt des ersten Bandes, der die theoretischen Grundlagen präsentiert, liegt neben der Darstellung von Syntax und Semantik der Aussagen- und der Prädikatenlogik auf der Entwicklung von automatisierten Beweisverfahren (Resolutions- und Tableauverfahren, Konnektionsmethode, Hilbert-Systeme u.a.) sowie dem sog. Kalkül des natürlichen Schließens, der zahlreiche auch in der Mathematik verwendete Beweistechniken vermittelt. Die Logik-Programmiersprache PROLOG wird zunächst informell eingeführt, um in diesem Rahmen die Spezifizierung und Prüfung von Algorithmen zu ermöglichen. Im Schlussteil wird dann der Übergang vom automatischen Beweisen zum Programmieren in PROLOG vollzogen und eine formale Semantik für die deklarativen Anteile von PROLOG vorgestellt. Der zweite Band ist als Übungsband konzipiert und bietet eine Vielzahl von Aufgaben samt Musterlösungen, die eine vertiefende Einarbeitung in die in Band 1 dargestellten Methoden ermöglichen. Inhaltsverzeichnis: Formalisierung - Kalkülbildung - Mechanisierung - Algorithmierung der Logik - Deduktionssysteme - Logikprogrammierung am Beispiel PROLOG: Einfache Daten; Variablenumbenennung; Komplexe Daten; Der Cut - Aussagenlogik: Syntax; Semantik; Aquivalenz und Normalformen; Beweisverfahren - Prädikatenlogik: Syntax; Substitutionen; Semantik; Aquivalenz und Normalformen; Unifikation; Beweisverfahren; Eigenschaften - Grundlagen der Logikprogrammierung: Definite Programme; Normale Programme - Ausblick

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Künstliche Intelligenz
€ 22.00 *
ggf. zzgl. Versand

Die Reihe ´´Wissen und Praxis kompakt´´ stellt komplexe Zusammenhänge einfach und dennoch detailliert dar. Der Kompaktkurs KÜNSTLICHE INTELLIGENZ gibt einen fundierten Überblick über die Gebiete: Aussagen- und Prädikatenlogik, PROLOG, Expertensysteme, Fuzzy-Systeme, Neuronale Netze und Genetische Algorithmen. Vorgerechnete Übungsaufgaben und eine Betrachtung über philosophische Probleme der KI runden das Werk ab.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Beginning Artificial Intelligence with the Rasp...
€ 21.99 *
ggf. zzgl. Versand

Gain a gentle introduction to the world of Artificial Intelligence (AI) using the Raspberry Pi as the computing platform. Most of the major AI topics will be explored, including expert systems, machine learning both shallow and deep, fuzzy logic control, and more! AI in action will be demonstrated using the Python language on the Raspberry Pi. The Prolog language will also be introduced and used to demonstrate fundamental AI concepts. In addition, the Wolfram language will be used as part of the deep machine learning demonstrations. A series of projects will walk you through how to implement AI concepts with the Raspberry Pi. Minimal expense is needed for the projects as only a few sensors and actuators will be required. Beginners and hobbyists can jump right in to creating AI projects with the Raspberry PI using this book. What You´ll Learn What AI is and-as importantly-what it is not Inference and expert systems Machine learning both shallow and deep Fuzzy logic and how to apply to an actual control system When AI might be appropriate to include in a system Constraints and limitations of the Raspberry Pi AI implementation Who This Book Is For Hobbyists, makers, engineers involved in designing autonomous systems and wanting to gain an education in fundamental AI concepts, and non-technical readers who want to understand what AI is and how it might affect their lives.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot
Künstliche Intelligenz
€ 34.90 *
ggf. zzgl. Versand

Das Lehrbuch gibt eine Einführung in die Techniken der künstlichen Intelligenz (KI) und behandelt dabei als eines der wenigen Werke sowohl die Symbol verarbeitende KI als auch konnektionistische Ansätze in Form der neuronalen Netze. Es wird aufgezeigt, wie klassische KI-Techniken in Form von Wissensnetzen oder Geschäftsregeln heute angewendet werden und wie künstliche neuronale Netze im Data Mining eingesetzt werden können. Wissensrepräsentation und -verarbeitung auf der Basis der Logik werden unter Nutzung der logischen Programmiersprache PROLOG eingeführt. Die Konzepte neuronaler Netze werden mit dem Stuttgarter Neuronale Netze Simulator praktisch vertieft. Fragen und Aufgaben zum Ende eines Abschnittes fordern zum aktiven Lesen und Lernen mit diesem Lehrbuch auf. Die Web-Seiten zum Buch sind als ein semantisches Wiki aufgebaut und enthalten insbesondere auch mehrere Demo-Programme, die diskutierte Vorgehensweisen veranschaulichen und das Verständnis fördern. Für die vierte Auflage wurde das Buch aktualisiert.Informationen zum Buch finden sich unter www.wi.hs-wismar.de/ki-buch

Anbieter: buecher.de
Stand: Feb 15, 2019
Zum Angebot
Prolog als Buch von Stefan Schmitgen, Hans Klei...
€ 59.99 *
ggf. zzgl. Versand

Prolog:Grundlagen u. Anwendungen. Mit Programmbeisp. Leitfäden der angewandten Informatik Stefan Schmitgen, Hans Kleine-Büning

Anbieter: Hugendubel.de
Stand: Dec 19, 2018
Zum Angebot
A Distributed Implementation of Flat Concurrent...
€ 49.99 *
ggf. zzgl. Versand

A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems:Teubner Texte zur Informatik. Softcover reprint of the original 1st ed. 1993 Uwe Glässer

Anbieter: Hugendubel.de
Stand: Dec 19, 2018
Zum Angebot
Programmiersprachen - Konzepte, Strukturen und ...
€ 34.99 *
ggf. zzgl. Versand

Das Buch lädt dazu ein, sich mit grundlegenden Konzepten und Strukturen von Programmiersprachen zu befassen. Zu diesem Zweck werden sieben kleine Programmiersprachen entwickelt, jeweils mit vollständiger Implementierung in Java, von denen jede für ein Programmierparadigma steht:t.Zero - deklarative Programmierung; t.Lisp - listenbasierte Programmierung; t.Pascal - imperative Programmierung; t.Scheme - funktionale Programmierung; t.Lambda - rein funktionale Programmierung; t.Java - objektorientierte Programmierung; t.Prolog - logische Programmierung; Das Buch ist geschrieben für Studierende der Informatik und verwandter Fächer sowie für Leserinnen und Leser mit einfachen Java-Vorkenntnissen, die sich für das Innenleben von Programmiersprachen interessieren.

Anbieter: buecher.de
Stand: Feb 14, 2019
Zum Angebot