LoveReading

Becoming a member of the LoveReading community is free.

No catches, no fine print just unadulterated book loving, with your favourite books saved to your own digital bookshelf.

New members get entered into our monthly draw to win £100 to spend in your local bookshop Plus lots lots more…

Find out more

Artificial intelligence

See below for a selection of the latest books from Artificial intelligence category. Presented with a red border are the Artificial intelligence books that have been lovingly read and reviewed by the experts at Lovereading. With expert reading recommendations made by people with a passion for books and some unique features Lovereading will help you find great Artificial intelligence books and those from many more genres to read that will keep you inspired and entertained. And it's all free!

Artificial Intelligence and Education, Volume One

Artificial Intelligence and Education, Volume One

Author: Robert W. Lawler Format: Paperback / softback Release Date: 05/01/1987

The Robots Dilemma

The Robots Dilemma

Author: Zenon Walter Pylyshyn Format: Hardback Release Date: 01/01/1987

Each of the chapters in this volume devotes considerable attention to defining and elaborating the notion of the frame problem-one of the hard problems of artificial intelligence. Not only do the chapters clarify the problems at hand, they shed light on the different approaches taken by those in artificial intelligence and by certain philosophers who have been concerned with related problems in their field. The book should therefore not be read merely as a discussion of the frame problem narrowly conceived, but also as a general analysis of what could be a major challenge to the design of computer systems exhibiting general intelligence.

Understanding Computers and Cognition

Understanding Computers and Cognition

Author: Terry Winograd, Fernando Flores Format: Paperback / softback Release Date: 01/01/1987

This volume is a theoretical and practical approach to the design of computer technology.

Automated Theorem Proving

Automated Theorem Proving

Author: Wolfgang Bibel Format: Paperback / softback Release Date: 01/01/1987

Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of typesetting was financally supported within ESPRIT pro ject 415. Munchen, September 1986 W. Bibel PREFACE Among the dreams of mankind is the one dealing with the mechanization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity. On the other hand, the incredi ble advances in computer technology let it appear as a real possibility.

The Semantics of Destructive Lisp

The Semantics of Destructive Lisp

Author: Ian A. Mason Format: Hardback Release Date: 30/06/1986

While the semantics of 'pure' lisp is well understood, the same cannot be said for the lisp that people actually use, due to the presence of so-called 'destructive operations' in programs, operations like RPLACA and RPLACD that destructively manipulate data. Such destructive operations have caused considerable difficulty in bridging the gap between theory program verification, and program transformation. In this book, Ian A. Mason aims at squaring theory with practice by first developing a theory that respects practice and then improving practice within this theory. Mason's theory is based on a new notion of memory structure that is adequate to model such destructive operations. Within this framework, he investigates various equivalence relations between expressions in first order lisp. This fragment of lisp includes the destructive operations of RPLACA and RPLACD. Mason then defines some important equivalence relations in lisp programs within this model theoretic framework. Throughout the work, Mason makes a distinction between intensional relations and extensional relations.

The Semantics of Destructive Lisp

The Semantics of Destructive Lisp

Author: Ian A. Mason Format: Paperback / softback Release Date: 30/06/1986

While the semantics of 'pure' lisp is well understood, the same cannot be said for the lisp that people actually use, due to the presence of so-called 'destructive operations' in programs, operations like RPLACA and RPLACD that destructively manipulate data. Such destructive operations have caused considerable difficulty in bridging the gap between theory program verification, and program transformation. In this book, Ian A. Mason aims at squaring theory with practice by first developing a theory that respects practice and then improving practice within this theory. Mason's theory is based on a new notion of memory structure that is adequate to model such destructive operations. Within this framework, he investigates various equivalence relations between expressions in first order lisp. This fragment of lisp includes the destructive operations of RPLACA and RPLACD. Mason then defines some important equivalence relations in lisp programs within this model theoretic framework. Throughout the work, Mason makes a distinction between intensional relations and extensional relations.

Kognitive Aspekte Der Mensch-Computer-Interaktion

Kognitive Aspekte Der Mensch-Computer-Interaktion

Author: Gerhard Dirlich Format: Microfilm Release Date: 01/03/1986

Kognitive Aspekte der Mensch-Computer-Interaktion war das Thema des ersten Workshops des Arbeitskreises Kognition im FachausschuB 1. 2 KUnstliche Intelligenz und Mustererkennung , Gesellschaft fUr Infor- matik und des MUnchener Arbeitskreises fUr KUnstliche Intelligenz und Cognitive Science. Er wurde am 12. und 13. April 1984 in den R umen der Carl Friedrich von Siemens Stiftung von 35 Teilnehmern aus Hochschulen, Forschungsinstituten und Industrie durchgefUhrt. Der vorliegende Band enth lt 15 Beitr ge aus der Perspektive von Psychologen, Informatikern und Systemdesignern, die aus den Uberarbeiteten Vortr gen entstanden sind. Dabei konnten viele Anregungen aus der gemeinsamen Diskussion aller Teilnehmer aufgegriffen werden. FUr die fruchtbare Arbei- atmosph re w hrend des Workshops waren die hohe Motivation und die groBe Aktivit t der Teilnehmer sowie der stimulierende Charakter des Tagungsortes wichtige Faktoren. Wir dank en allen Teilnehmern und Forderern. Dezember 1985 Die Herausgeber TEILNEHMER DES WORKSHOPS David Ackermann, ETH ZUrich Stephan Bayer1, Universitat MUnchen Helmut von Benda, TU MUnchen (jetzt Universitat Er1angen-NUrnberg) Klaus F.

Komplexes Problemlosen

Komplexes Problemlosen

Author: Joachim Funke Format: Paperback / softback Release Date: 01/01/1986

Die vorliegende Arbeit besteht aus drei Teilen. Nach einer kurzen EinfUhrung (Kapitel 1) erfolgt in einem ersten Teil eine Bestandsauf- nahme gegenwartiger BemUhungen im Bereich des komplexen Problemlosens (Kapitel 2 und 3). Unter komplexem Problemlosen werden dabei diejeni- gen Prozesse verstanden, die bei der Steuerung unbekannter, dynami- scher, computersimulierter Systeme ablaufen. Neben einem kurzen histo- rischen RUckblick wird versucht, die Vielfalt der Untersuchungspara- digmen aufzuzeigen und dabei Trennendes wie auch Gemeinsames deutlich werden zu lassen. Thesenartig werden Probleme dieser Arbeiten aufge- zeigt und erste Ansatze zu deren Bewaltigung genannt. Der zweite Teil (Kapitel 4) vertieft verschiedene dieser Probleme an einem konkreten Beispiel, dem TAILORSHOP . Neben der detaillierten Schilderung des computersimulierten Systems werden Fragen wie die nach der Optimierbarkeit des Gleichungssystems ebenso behandelt wie gene- relle Themen, etwa die Prazisierung des Transparenz-Konzepts oder das Problem moglicher Versuchsleitereffekte. 1m dritten Teil (Kapitel 5 und 6) geht es um das Aufzeigen eines konstruktiven Wegs aus dem diagnostizierten, unbefriedigenden Zustand gegenwartiger ForschungsbemUhungen. Eine formale Darstellung kogni- tionspsychologischer Konzepte mit Hilfe von Kausal odellen solI zei- gen, daB auch fUr die Erforschung des Problemlosens in komplexen Situationen ein Begriffsinventar zur VerfUgung steht, das zum einen eine exaktere Beschreibung des Untersuchungsgegenstandes erlaubt, zum anderen eben dadurch die Moglichkeit gibt, prazisere Theorien Uber den Umgang des Menschen mit einfachen wie komplexen Systemen zu formulie- reno Ein erster Ansatz zu einer derartigen Theorie wird vorgelegt.

Logic Programming

Logic Programming

Author: I. Balbin Format: Paperback / softback Release Date: 31/12/1985

Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devoted entirely to Logic Programming began to appear. Consequently, much of the work done during this first crucial decade in Marseilles, Edinburgh, London, Budapest and Stockholm (to name a few) is often overlooked or difficult to trace. There are now two main regular conferences on Logic Programming, and at least five journals: The Journal of Logic Programming, New Generation Computing, Automated Reasoning, The Journal of SJmbolic Computation, and Future Generation Computer Systems. Logic Programming, however, has its roots in Automated Theorem Proving and via the expanding area of expert systems, strongly influences researchers in such varied fields as Civil Engineering, Chemistry, Law, etc. Consequently, many papers related to Logic Programming appear in a wide variety of journals and proceedings of conferences in other disciplines. This is particularly true of Computer Science where a revolution is taking place in hardware design, programming languages, and more recently databases. One cannot overestimate the importance of such a bibliography.

Wissensbasierte Systeme

Wissensbasierte Systeme

Author: W. Brauer Format: Paperback / softback Release Date: 01/10/1985

Db der sogenannte Computer sich zum Segen der Menschheit auswirken wird, weiB heute noch niemand. Vermutlich wird einiges durch ihn besser, anderes schlechter werden. Sicher wird er das Bild des Menschen verandern. Das liegt daran, daB der Computer nicht nur mit Zahlen rechnen kann, sondern auch derart programmiert werden kann, daB er nach auBen hin Fahigkeiten zeigt, die bei oberfiachlicher Betrachtung als bezeichnend fiir menschliche Intelligenz erscheinen. Das macht auf den Laien groBen Eindruck, und zu den Laien gehoren auch die meisten Juristen, Politiker, Journalisten und Kaufieute. In den USA, einer dort verbreiteten Neigung zu antropomorphen Wendungen nachkommend, folgte auf 'Electronic Brain' 1956 der Ausdruck 'Artificial Intelligence'. Der ungliicklich gewahlte Ausdruck kann vom Laien dahingehend miBverstanden werden, daB man friiher oder spater auf menschliche Intelligenz verzichten konne, wolle oder miisse. Solchen Angsten wird durch {Jbertreibungen gelegentlich Vorschub geleistet (H. A. Simon 1967: A man, viewed as a behaving system, is quite simple. The apparent complexity of his behaviour over time is largely a refiection of the complexity of the environment in which he finds himself). Selbst E. Feigenbaum, ein erklarter Propagandist der Maschinellen Intelligenz , ist da viel vorsich- tiger: making a computer behave in ways that mimic intelligent human behaviour . Da. rin Jiegt kein Totalitatsanspruch. H. Zemanek driickt es so aus: the term is an abbreviation for artificial generation of results which normally are produced by an intelligent mind .

Perspektiven der Kognitionspsychologie

Perspektiven der Kognitionspsychologie

Author: Odmar Neumann Format: Paperback / softback Release Date: 01/09/1985

Kognitionspsychologie ist ein neuer, kaum zwei Jahrzehnte alter Name fur eme freilich alte Sache. Die Psychologie der Erkenntnisfunktionen hat schon in der philosophischen Vorgeschichte der Psychologie ein abgesondertes - wohl auch manchmal ein als absonderlich wahrgenommenes - Dasein neben den anderen, leichter zuganglichen Sparten unseres Fachs gefuhrt. David Humes 1742 erschienene Inquiry concerning human understanding beginnt mit einer hubschen Kenn- zeichnung dieser Eigenart: Moral philosophy, or the science of human nature, may be treated after two different manners; each of which has its peculiar merit, and may contribute to the entertainment, instruction, and reformation of mankind. The one considers man chiefly as born for action; and as influenced in his measures by taste and sentiment; pursuing one object, and avoiding another, according to the value which these objects seem to possess . . . . Die Vertreter dieser Richtung werden beschrieben als borrowing all helps from poetry and eloquence, and treating their subject in an easy and obvious manner, and such as is best fitted to please the imagination, and engage the affections . Dem stehen diejenigen gegeniiber, (who) . . . with a narrow scrutiny examine (human nature) . . ., in order to find those principles, which regulate our understanding, excite our sentiments, and make us approve or blame any particular object, action, or behaviour . . . While they attempt this arduous task, they are deterred by no difficul- ties . . .

Messung, Modellierung und Bewertung von Rechensystemen

Messung, Modellierung und Bewertung von Rechensystemen

Author: Heinz Beilner Format: Paperback / softback Release Date: 01/09/1985

In verteilten Systemen sind zwischen den Stellen Nachrichten auszutauschen. Die Zeiten, welche fur diese Nachrichtentransporte benotigt werden, konnen dazu fuhren, dass Nachrich- ten bereits veraltet sind, wenn sie interpretiert werden; dies kann den Wert der gewonnen Informationen mindern. Diese allgemeine AufgabensteIlung haben wir fur die Berechnung und Bewertung von Permu- tationsstrategien formuliert und abgehandelt. Fur diesen Anwendungsbereich konnten die Charakteristika der AufgabensteIlung leicht formuliert werden, weil fur die Anderungsge- schwindigkeiten der betrachteten Nachrichten und fur die Bewertung der gewonnenen Infor- mationen naheliegende Funktionen benutzt werden konnen. Die angegebene Problemstellung der Wertminderung von Informationen durch Interpretation veralteter Nachrichten ist fur viele praktische Anwendungen von Interesse. Man denke etwa an eine Bank, welche die Konten ihrer Kunden verteilt fuhrt. Die Schwierigkeiten prakti- scher Anwendungen liegen in der exakten Formulierung der AufgabensteIlung; sie erfordert Kenntnis der Anderungsgeschwindigkeit der betrachteten Nachrichten und anerkannte Bewer- tungsfunktionen fur Informationen. Die Durchfuhrung entsprechender Analysen sollte, wenn diese Voraussetzungen erfullt sind, keine besonderen Schwierigkeiten bereiten. Die angegebene Problemstellung ist auch im Zusammenhang mit der Entwicklung von ver- teilten Systemen von Interesse. Fur die Kommunikation in verteilten Systemen werden zahl- reiche Verfahren diskutiert; sie unterscheiden sich insbesondere bzgl. der zeitlichen Kopp- lung der Kommunikationspartner. Die hier angegebene Problemstellung kann als Grundlage fur die Auswahl angemessener Kommunikationsverfahren herangezogen werden. Dies weist erneut auf die Notwendigkeit hin, quantitative Analysen zur Begrundung von Entwicklungs- Entscheidungen heranzuziehen. LITERATUR Andrews, G.R., Schneider, F.B.