Markov Logic

Author: Pedro Domingos
Publisher: Morgan & Claypool Publishers
ISBN: 9781598296921
Release Date: 2009
Genre: Computers

Most subfields of computer science have an interface layer via which applications communicate with the infrastructure, and this is key to their success (e.g., the Internet in networking, the relational model in databases, etc.). So far this interface layer has been missing in AI. First-order logic and probabilistic graphical models each have some of the necessary features, but a viable interface layer requires combining both. Markov logic is a powerful new language that accomplishes this by attaching weights to first-order formulas and treating them as templates for features of Markov random fields. Most statistical models in wide use are special cases of Markov logic, and first-order logic is its infinite-weight limit. Inference algorithms for Markov logic combine ideas from satisfiability, Markov chain Monte Carlo, belief propagation, and resolution. Learning algorithms make use of conditional likelihood, convex optimization, and inductive logic programming. Markov logic has been successfully applied to problems in information extraction and integration, natural language processing, robot mapping, social networks, computational biology, and others, and is the basis of the open-source Alchemy system. Table of Contents: Introduction / Markov Logic / Inference / Learning / Extensions / Applications / Conclusion

Statistical Relational Artificial Intelligence

Author: Luc De Raedt
Publisher: Morgan & Claypool Publishers
ISBN: 9781681731803
Release Date: 2016-03-24
Genre: Computers

An intelligent agent interacting with the real world will encounter individual people, courses, test results, drugs prescriptions, chairs, boxes, etc., and needs to reason about properties of these individuals and relations among them as well as cope with uncertainty. Uncertainty has been studied in probability theory and graphical models, and relations have been studied in logic, in particular in the predicate calculus and its extensions. This book examines the foundations of combining logic and probability into what are called relational probabilistic models. It introduces representations, inference, and learning techniques for probability, logic, and their combinations. The book focuses on two representations in detail: Markov logic networks, a relational extension of undirected graphical models and weighted first-order predicate calculus formula, and Problog, a probabilistic extension of logic programs that can also be viewed as a Turing-complete relational extension of Bayesian networks.

Maschinelles Lernen

Author: Ethem Alpaydın
Publisher: Oldenbourg Verlag
ISBN: 3486581147
Release Date: 2008
Genre:

Unter maschinellem Lernen versteht man die kunstliche Generierung von Wissen aus Erfahrung. Das vorliegende Buch diskutiert Methoden aus den Bereichen Statistik, Mustererkennung etc. und versucht, die unterschiedlichen Ansatze zu kombinieren, um moglichst effiziente Losungen zu finden."

Der lange Weg zur Freiheit

Author: Nelson Mandela
Publisher: S. Fischer Verlag
ISBN: 9783104031545
Release Date: 2014-01-25
Genre: History

»Ich bin einer von ungezählten Millionen, die durch Nelson Mandelas Leben inspiriert wurden.« Barack Obama Eine fast drei Jahrzehnte währende Gefängnishaft ließ Nelson Mandela zum Mythos der schwarzen Befreiungsbewegung werden. Kaum ein anderer Politiker unserer Zeit symbolisiert heute in solchem Maße die Friedenshoffnungen der Menschheit und den Gedanken der Aussöhnung aller Rassen wie der ehemalige südafrikanische Präsident und Friedensnobelpreisträger. Auch nach seinem Tod finden seine ungebrochene Charakterstärke und Menschenfreundlichkeit die Bewunderung aller friedenswilligen Menschen auf der Welt. Mandelas Lebensgeschichte ist über die politische Bedeutung hinaus ein spannend zu lesendes, kenntnis- und faktenreiches Dokument menschlicher Entwicklung unter Bedingungen und Fährnissen, vor denen die meisten Menschen innerlich wie äußerlich kapituliert haben dürften.

Data mining

Author: Ian H. Witten
Publisher:
ISBN: 3446215336
Release Date: 2001
Genre:


Die technologische Singularit t

Author: Murray Shanahan
Publisher:
ISBN: 3957574404
Release Date: 2019-03
Genre: Science

›Technologische Singularität‹ bezeichnet den Zeitpunkt, an dem von künstlicher Intelligenz gesteuerte Maschinen sich fortlaufend selbst so zu verbessern imstande sind, dass sie sich der Beherrschung durch Menschenhand entziehen. Der Robotikspezialist Murray Shanahan beschreibt die unterschiedlichen derzeit weltweit vorangetriebenen technologischen Entwicklungen, die zu einem solchen Ereignis führen können. Er führt auf verständliche Weise in die komplexen Forschungen ein, die unsere nächste Zukunft verändern werden. Aus der Perspektive eines Praktikers beschäftigt er sich mit der Frage, ob künstliche Intelligenz über Bewusstsein verfügen kann, und entwickelt moralische Ansätze zu einem verantwortlichen Umgang mit dieser zumeist als Katastrophenszenario gezeichneten Zukunftsfantasie.

Algorithmen Eine Einf hrung

Author: Thomas H. Cormen
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 9783110522013
Release Date: 2013-01-01
Genre: Computers

Der "Cormen" bietet eine umfassende und vielseitige Einführung in das moderne Studium von Algorithmen. Es stellt viele Algorithmen Schritt für Schritt vor, behandelt sie detailliert und macht deren Entwurf und deren Analyse allen Leserschichten zugänglich. Sorgfältige Erklärungen zur notwendigen Mathematik helfen, die Analyse der Algorithmen zu verstehen. Den Autoren ist es dabei geglückt, Erklärungen elementar zu halten, ohne auf Tiefe oder mathematische Exaktheit zu verzichten. Jedes der weitgehend eigenständig gestalteten Kapitel stellt einen Algorithmus, eine Entwurfstechnik, ein Anwendungsgebiet oder ein verwandtes Thema vor. Algorithmen werden beschrieben und in Pseudocode entworfen, der für jeden lesbar sein sollte, der schon selbst ein wenig programmiert hat. Zahlreiche Abbildungen verdeutlichen, wie die Algorithmen arbeiten. Ebenfalls angesprochen werden Belange der Implementierung und andere technische Fragen, wobei, da Effizienz als Entwurfskriterium betont wird, die Ausführungen eine sorgfältige Analyse der Laufzeiten der Programme mit ein schließen. Über 1000 Übungen und Problemstellungen und ein umfangreiches Quellen- und Literaturverzeichnis komplettieren das Lehrbuch, dass durch das ganze Studium, aber auch noch danach als mathematisches Nachschlagewerk oder als technisches Handbuch nützlich ist. Für die dritte Auflage wurde das gesamte Buch aktualisiert. Die Änderungen sind vielfältig und umfassen insbesondere neue Kapitel, überarbeiteten Pseudocode, didaktische Verbesserungen und einen lebhafteren Schreibstil. So wurden etwa - neue Kapitel zu van-Emde-Boas-Bäume und mehrfädigen (engl.: multithreaded) Algorithmen aufgenommen, - das Kapitel zu Rekursionsgleichungen überarbeitet, sodass es nunmehr die Teile-und-Beherrsche-Methode besser abdeckt, - die Betrachtungen zu dynamischer Programmierung und Greedy-Algorithmen überarbeitet; Memoisation und der Begriff des Teilproblem-Graphen als eine Möglichkeit, die Laufzeit eines auf dynamischer Programmierung beruhender Algorithmus zu verstehen, werden eingeführt. - 100 neue Übungsaufgaben und 28 neue Problemstellungen ergänzt. Umfangreiches Dozentenmaterial (auf englisch) ist über die Website des US-Verlags verfügbar.

Architekturen der digitalen Signalverarbeitung

Author: Peter Pirsch
Publisher: Springer-Verlag
ISBN: 9783322967237
Release Date: 2013-03-09
Genre: Technology & Engineering

Mit den Fortschritten in der Mikroelektronik wächst auch der Bedarf an VLSI-Realisierungen von digitalen Signalverarbeitungseinheiten. Die zunehmende Komplexität der Signalverarbeitungsverfahren führt insbesondere bei Signalen mit hoher Quellenrate auf Anforderungen, die nur durch spezielle Schaltungsstrukturen erfüllt werden können. Dieses Buch behandelt Schaltungstechniken und Architekturen zur Erzielung hoher Durchsatzraten von Algorithmen der Signalverarbeitung. Neben alternativen Schaltungstechniken zur Realisierung der Basisoperationen, Addition, Multiplikation und Division werden CORDIC-Architekturen zur Implementierung transzendenter Funktionen vorgestellt. Zur Konzeption von Systemen mit Parallelverarbeitung und Pipelining wird ein allgemeines Verfahren zur Abbildung von Signalverarbeitungsalgorithmen auf anwendungsspezifischen Architekturen erläutert. Hierzu werden beispielhaft spezielle Architekturen für Filter, Matrixoperationen und die diskrete Fouriertransformation erörtert. Architekturen programmierbarer digitaler Signalprozessoren sowie beispielhafte zugehörige Implementierungen sind eingeschlossen. Das Buch soll sowohl Studenten und Ingenieure der Elektrotechnik als auch der technischen Informatik mit Architekturkonzepten der digitalen Signalverarbeitung vertraut machen.

Darwin Im Reich Der Maschinen

Author: George B. Dyson
Publisher: Springer
ISBN: 3211835881
Release Date: 2001-06
Genre: Computers

"Beim Spiel von Leben und Evolution sitzen drei Spieler am Tisch: Menschen, die Natur und Maschinen. Ich bin entschieden auf der Seite der Natur. Die Natur, vermute ich, ist aber auf der Seite der Maschinen." George Dyson führt vor, dass das Leben, nachdem es sich zunächst durch die biologische Evolution entwickelte, nun noch einmal entsteht, diesmal durch die spontane Evolution der Intelligenz innerhalb unseres rasch expandierenden Informationsnetzes. Das Ergebnis ist eine digitale Wildnis, in der bisher unbekannte Geschöpfe entstehen – Geschöpfe, die uns in Hinblick auf Geschwindigkeit, Intelligenz und Langlebigkeit bald überlegen sein werden. Dieses originelle Buch zeigt, wie die Entstehung der Maschinen mit ihrem Eigenleben – und möglicherweise einem eigenen Geist – schon lange in der Literatur und Wissenschaft vorausgesehen wurde, nachweisbar in den Werken von Hobbes, Samuel Butler, Erasmus Darwin und anderen. Dyson beschreibt diese alternative intellektuelle Geschichte und erzählt, wie frühere Denker das durchgespielt haben, was dann zu den Entdeckungen der wissenschaftlichen Abenteurer des 20. Jahrhunderts, unter ihnen Alan Turing, Norbert Wiener und John von Neumann, wurde. Wie Dyson schreibt, handelt dieses Buch nicht über die Zukunft. Es geht darum, wo wir jetzt stehen und wie wir hierher kamen; was aufregend genug ist. Computer, ursprünglich entwickelt mit der Absicht, die Natur unter die Kontrolle des Menschen zu bringen, helfen nun der Natur dabei, die Gattung neu zu organisieren. Angesichts dessen, wie die Unterscheidungen zwischen Natur und Technologie immer undeutlicher werden, zeichnet sich für Dyson eine Erneuerung des menschlichen Geistes ab gegenüber einer Intelligenz, die größer als die unsere ist.

Strukturen der Syntax

Author: Noam Chomsky
Publisher: Walter de Gruyter
ISBN: 9783110813623
Release Date: 1973-01-01
Genre: Language Arts & Disciplines


Design

Author: Bernhard E. Bürdek
Publisher: Birkhäuser
ISBN: 9783035603989
Release Date: 2015-08-31
Genre: Architecture

Für Studenten, professionelle Designer und interessierte Laien gleichermaßen unverzichtbar: die umfassend überarbeitete und aktualisierte Auflage dieses Standardwerks zur Produktgestaltung. Es zeichnet die Geschichte und die heutige Ausrichtung des Designs nach und vermittelt die wichtigsten Grundlagen der Designtheorie und -methodologie. Aus dem Inhalt: • Design und Geschichte: Bauhaus; Hochschule für Gestaltung Ulm; Braun; Von der Guten Form zur Designkunst • Design und Globalisierung • Design und Methodologie: Erkenntnismethoden im Design • Design und Theorie: Auf dem Weg zu einer disziplinären Designtheorie • Design und Kontext: Vom Corporate Design zum Strategischen Design • Produktsprache und Produktsemantik • Architektur und Design • Design und Gesellschaft • Design und Technik

Logicomix

Author: Apostolos K. Doxiadēs
Publisher:
ISBN: 3855350698
Release Date: 2010
Genre: German comic books, strips, etc


Logische Grundlagen der K nstlichen Intelligenz

Author: Nils J. Nilsson
Publisher: Springer-Verlag
ISBN: 9783322928818
Release Date: 2013-03-09
Genre: Technology & Engineering

Das Buch ist die deutsche Übersetzung des Standardwerkes der Stanforder Professoren Michael R. Genesereth und Nils J. Nilsson.Im Unterschied zu deutschen Lehrbüchern der Informatik zeichnet sich das Buch dadurch aus, daß es einen gut lesbaren Überblick gibt, ohne allzu formalistisch zu werden, gleichwohl aber von hohem Niveau ist und die Ergebnisse jüngster Forschung berücksichtigt. Das Buch empfiehlt sich sowohl für Studenten und Dozenten der Inf ormatik, aber auch für Forscher aus anderen Gebieten, die von den Grundlagen der Künstlichen Intelligenz profitieren möchten.