Peter Baumgartner – författare

Few developments in the intellectual life of the past quarter-century have provoked more controversy than the attempt to engineer human-like intelligence by artificial means. Born of computer science, this effort has sparked a continuing debate among the psychologists, neuroscientists, philosophers,and linguists who have pioneered--and criticized--artificial intelligence. Are there general principles, as some computer scientists had originally hoped, that would fully describe the activity of both animal and machine minds, just as aerodynamics accounts for the flight of birds and airplanes? In the twenty substantial interviews published here, leading researchers address this and other vexing questions in the field of cognitive science. The interviewees include Patricia Smith Churchland (Take It Apart and See How It Runs), Paul M. Churchland (Neural Networks and Commonsense), Aaron V. Cicourel (Cognition and Cultural Belief), Daniel C. Dennett (In Defense of AI), Hubert L. Dreyfus (Cognitivism Abandoned), Jerry A. Fodor (The Folly of Simulation), John Haugeland (Farewell to GOFAI?), George Lakoff (Embodied Minds and Meanings), James L.McClelland (Toward a Pragmatic Connectionism), Allen Newell (The Serial Imperative), Stephen E. Palmer (Gestalt Psychology Redux), Hilary Putnam (Against the New Associationism), David E. Rumelhart (From Searching to Seeing), John R. Searle (Ontology Is the Question), Terrence J. Sejnowski (The Hardware Really Matters), Herbert A. Simon (Technology Is Not the Problem), Joseph Weizenbaum (The Myth of the Last Metaphor), Robert Wilensky (Why Play the Philosophy Game?), Terry A.Winograd (Computers and Social Values), and Lotfi A. Zadeh (The Albatross of Classical Logic). Speaking Minds can complement more traditional textbooks but can also stand alone as an introduction to the field. Originally published in 1995. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions.The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Few developments in the intellectual life of the past quarter-century have provoked more controversy than the attempt to engineer human-like intelligence by artificial means. Born of computer science, this effort has sparked a continuing debate among the psychologists, neuroscientists, philosophers,and linguists who have pioneered--and criticized--artificial intelligence. Are there general principles, as some computer scientists had originally hoped, that would fully describe the activity of both animal and machine minds, just as aerodynamics accounts for the flight of birds and airplanes? In the twenty substantial interviews published here, leading researchers address this and other vexing questions in the field of cognitive science. The interviewees include Patricia Smith Churchland (Take It Apart and See How It Runs), Paul M. Churchland (Neural Networks and Commonsense), Aaron V. Cicourel (Cognition and Cultural Belief), Daniel C. Dennett (In Defense of AI), Hubert L. Dreyfus (Cognitivism Abandoned), Jerry A. Fodor (The Folly of Simulation), John Haugeland (Farewell to GOFAI?), George Lakoff (Embodied Minds and Meanings), James L.McClelland (Toward a Pragmatic Connectionism), Allen Newell (The Serial Imperative), Stephen E. Palmer (Gestalt Psychology Redux), Hilary Putnam (Against the New Associationism), David E. Rumelhart (From Searching to Seeing), John R. Searle (Ontology Is the Question), Terrence J. Sejnowski (The Hardware Really Matters), Herbert A. Simon (Technology Is Not the Problem), Joseph Weizenbaum (The Myth of the Last Metaphor), Robert Wilensky (Why Play the Philosophy Game?), Terry A.Winograd (Computers and Social Values), and Lotfi A. Zadeh (The Albatross of Classical Logic). Speaking Minds can complement more traditional textbooks but can also stand alone as an introduction to the field. Originally published in 1995. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions.The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Few developments in the intellectual life of the past quarter-century have provoked more controversy than the attempt to engineer human-like intelligence by artificial means. Born of computer science, this effort has sparked a continuing debate among the psychologists, neuroscientists, philosophers,and linguists who have pioneered--and criticized--artificial intelligence. Are there general principles, as some computer scientists had originally hoped, that would fully describe the activity of both animal and machine minds, just as aerodynamics accounts for the flight of birds and airplanes? In the twenty substantial interviews published here, leading researchers address this and other vexing questions in the field of cognitive science.The interviewees include Patricia Smith Churchland (Take It Apart and See How It Runs), Paul M. Churchland (Neural Networks and Commonsense), Aaron V. Cicourel (Cognition and Cultural Belief), Daniel C. Dennett (In Defense of AI), Hubert L. Dreyfus (Cognitivism Abandoned), Jerry A. Fodor (The Folly of Simulation), John Haugeland (Farewell to GOFAI?), George Lakoff (Embodied Minds and Meanings), James L. McClelland (Toward a Pragmatic Connectionism), Allen Newell (The Serial Imperative), Stephen E. Palmer (Gestalt Psychology Redux), Hilary Putnam (Against the New Associationism), David E. Rumelhart (From Searching to Seeing), John R. Searle (Ontology Is the Question), Terrence J. Sejnowski (The Hardware Really Matters), Herbert A. Simon (Technology Is Not the Problem), Joseph Weizenbaum (The Myth of the Last Metaphor), Robert Wilensky (Why Play the Philosophy Game?), Terry A.Winograd (Computers and Social Values), and Lotfi A. Zadeh (The Albatross of Classical Logic). Speaking Minds can complement more traditional textbooks but can also stand alone as an introduction to the field.Originally published in 1995.The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners.Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems. They are the starting point in this monograph,in which several theory reasoning versions are defined and related to each other. A major contribution of the book is a new technique of linear completion allowing for the automatic construction of background reasoners from a wide range of axiomatically given theories. The emphasis is on theoretical investigations, but implementation techniques based on Prolog are also covered.

This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloß Rheinfels, St. Goar, Germany in May 1995.Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, non-clausal proof procedures, linear logic, higher-order logic, and applications

The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners.Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems. They are the starting point in this monograph,in which several theory reasoning versions are defined and related to each other. A major contribution of the book is a new technique of linear completion allowing for the automatic construction of background reasoners from a wide range of axiomatically given theories. The emphasis is on theoretical investigations, but implementation techniques based on Prolog are also covered.

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol verification, system descriptions, modal logics, description logics, equational theories, theorem proving, CASC, the 4th IJCAR ATP system competition, logical frameworks, and tree automata.

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol verification, system descriptions, modal logics, description logics, equational theories, theorem proving, CASC, the 4th IJCAR ATP system competition, logical frameworks, and tree automata.

Es war an einem gewöhnlichen Dienstagnachmittag, als Philippe und Fred sich auf ein Bierchen und einen Gedankenaustausch im Landgasthof treffen wollten. Das Wetter war garstig, und Philippe, der als erster die Gaststätte betrat, wählte für das Treffen die Dorfstube, da ihm diese zusagte, und er das rustikale Ambiente schätzte. Der Landgasthof selber wurde vor langer Zeit erbaut und hat seit 1999 sein heutiges Aussehen. Die Dorfstube mit den Fotos aller Gemeinderatspräsidenten von Schönbühl seit 1897 lädt zum Verweilen ein. Und so ist es tatsächlich.Philippe bestellte sich bei der freundlichen Bedienung eine Flasche «Reist Bier» aus Bäriswil (BE), einem kleinen Nachbarsdorf von Schönbühl, welches nicht überall erhältlich gemacht werden kann, aber umso besser schmeckt. Schon nach dem ersten Schluck traf auch Fred ein und die beiden begrüssten sich herzlich. Sie hatten sich schon viel zu lange nicht mehr gesehen. Fred war längere Zeit Korrespondent für das Schweizer Radio und Fernsehen (SRF) und berichtete regelmässig aus Nah und Fern. Nun war er nach Bern zurückgekehrt, wo er, wie schon früher, dem Bundesrat mit seinem messerscharfen Verstand und seiner besonderen Fähigkeit, das Zeitgeschehen nicht nur richtig einzuordnen, sondern erst noch gekonnt aufs Papier bringen zu können, zur Verfügung stand. -«Nun erzähl aber du Fred, wie es dir in der Zwischenzeit ergangen ist?» «Eigentlich ganz gut, dann aber doch wieder nicht so, wie ich es mir erhofft habe. Du weisst, dass meine Mutter vor einiger Zeit verstorben ist, und nun habe ich auch noch die Mitteilung erhalten, dass meine Schwester ebenfalls gestorben ist. Die Meldung habe ich von einem Notar und nicht von meinem Schwager erhalten … aus welchem Grund auch immer. Aus der letztwilligen Verfügung meiner Schwester geht nun hervor, dass sie mich als Erbe ausgeschlossen hat. – Gut, damit kann ich leben. Was mich hingegen stutzig macht, ist die Art und Weise, wie ich von ihrem Tod erfahren habe. ...

The dictionary lists the general vocabulary - nouns, verbs, adverbs, adjectives - which occurs in practically all technical texts. This vocabulary should be mastered by all those who actively or passively work with technical texts since it provides the structures into which the technical terms of various fields of technology are embedded. The keywords are provided with numerous model sentences illustrating their usage and offering the user a variety of suggestions for his / her own formulations.

The dictionary lists the general vocabulary - nouns, verbs, adverbs, adjectives - which occurs in practically all technical texts. This vocabulary should be mastered by all those who actively or passively work with technical texts since it provides the structures into which the technical terms of various fields of technology are embedded. The keywords are provided with numerous model sentences illustrating their usage and offering the user a variety of suggestions for his / her own formulations.

The dictionary lists the general vocabulary - nouns, verbs, adverbs, adjectives - which occurs in practically all technical texts. This vocabulary should be mastered by all those who actively or passively work with technical texts since it provides the structures into which the technical terms of various fields of technology are embedded. The keywords are provided with numerous model sentences illustrating their usage and offering the user a variety of suggestions for his / her own formulations.

Erinnerungen und Erfahrungen sind etwas Wunderbares. Sie lassen Wünsche und Vorstellungen verschmelzen und schaffen so die Möglichkeit, Neues zu entdecken und zu verwirklichen. Voraussetzung dazu ist die Bereitschaft, offen und neugierig zu bleiben und die Herausforderungen des Lebens anzunehmen und zwar so, wie sie sich einem präsentieren: Unvoreingenommen und dies trotz oder vielleicht auch wegen der Erfahrungen.

Philippe hängt gedanklich zurück. Ein Fall aus seiner beruflichen Tätigkeit holt ihn in all seinen Schattierungen wieder ein und führt ihn nach Appenzell. Im Garten des Kapuzinerklosters wird eine männliche Person tot aufgefunden. Die Todesursache ist unklar und ein Verbrechen kann nicht ausgeschlossen werden. Philippe ist nun derjenige, der seinen Kollegen in Appenzell mit Rat und Tat zu Seite stehen soll. Und Bundesrat Luigi Albertini wird Opfer eines abscheulichen Verbrechens. Im Hintergrund spielt sich allerdings noch Abstruseres ab. In Bern wird die stellvertretende Kommandantin der Kantonspolizei Bern Opfer eines Mordanschlages. Einmal mehr ist es an Philippe hier Licht ins Dunkel zu bringen. Louis Canal, der Schurke von Toulon, und Serge, der Randständige von Bern, helfen ihm dabei.

"Wir haben verlernt, die Augen auf etwas ruhen zu lassen. Deshalb erkennen wir so wenig." (Jean Giono, † 9.10.1970) Der Autor möchte dies aufgreifen und dem Zeitgeist mit einer Prise Humor begegnen. ...Zwei Ratten trafen sich im Untergrund. Die eine hiess Amira, was auf Arabisch «Prinzessin» bedeutet, die andere nannte sich «Okami» oder auf Japanisch Wolf. Wie sie zueinander gefunden hatten, blieb schleierhaft, war nun aber mal so. Und schon bald kamen die beiden ins Gespräch. «Du Okami, was denkst du ist wichtiger: natürliche oder künstliche Intelligenz?» «Ist doch ganz klar: KI!» So die Antwort von Okami. «Und wie kommst du darauf?» Dies die Folgefrage von Amira. «Weil heutzutage doch alles künstlich ist. Sieh dir doch nur die Menschen an. Bald alle lassen an sich rumschnipseln, sei dies durch Liften oder Aufspritzen oder dann lassen sie ihre schlaffen Muskeln mit Anabolika aufpeppen. Alles Eisenfresser, sag ich dir.» «Eisenfresser?» «Ja klar. Alles aufgeblasene Wichtigtuer.» «Wow, das tönt aber ganz schön hart.» «Ja, aber es ist so.»Okami hatte sich ganz schön in Rage geredet und Amira konnte nur noch staunen. So kannte sie Okami gar nicht. Irgend etwas musste vorgefallen sein, und sie wusste nicht was. Sie überlegte hin und her, kam auf keinen grünen Zweig, worauf sie Okami fragte, weshalb er denn so aufgebracht sei. Dieser zückte sein iPhone, das er vor kurzem in einem Senkloch gefunden hatte, und er zeigte ihr den Inhalt einer Rezension, wie sie vom Copiloten von Microsoft zusammengestellt wurde. – Jetzt lies mal das …

Irland und Schottland stecken voller Geheimnisse. Philippe Baumann erhält vom Eidgenössischen Departement für auswärtige Angelegenheiten (EDA) den Auftrag hier Licht ins Dunkel zu bringen. Im Vordergrund steht das Rätsel um Covid-19. Der Auftrag führt Philippe nach Ballymore / County Kerry ganz im Westen Irlands. Dort stösst er auf Paul Simson, eine Koryphäe im Bereich der Computertechnologie, welcher in der Lage ist, die Datenherrschaft über die ganze Welt an sich zu ziehen. Der hierfür notwendige Codier Schlüssel befindet sich auf einem handelsüblichen SanDisk. Es handelt sich dabei um das Original; eine Kopie davon gibt es nicht. Paul möchte mit der ganzen Sache nichts mehr zu tun haben und er händigt Philippe den Stick aus.Und ...In der Schweiz stösst Philippe auf eine Pressemitteilung, wo die Schweiz als «la République bananière» bezeichnet wird. Dem Bundesanwalt wird von der zuständigen Aufsichtsbehörde vorgeworfen, mehrfach gelogen und illoyal gehandelt zu haben. Aber nicht nur dies; auch eine andere, «alte» Geschichte ruft Philippe auf den Plan. Hier soll er abermals Licht ins Dunkel bringen. Louis Canal, der «Schurke» von Toulon, liefert ihm die hierfür entscheidenden Hinweise. Und genau diese sind es, die Philippe ins Verderben stürzen. Ein unbedachtes Vorgehen von ihm führt nämlich dazu, dass er während eines Waldspazierganges mit seinem Hund in der Nähe seines Wohnortes hinterrücks niedergemacht wird und blutüberströmt liegenbleibt. Über Wochen und Monate hinweg liegt er im Koma im Spital und erholt sich nur langsam. Die ganze Geschichte holt Philippe im Traum immer wieder ein, und dies sind wohl die Nachwehen vom Erlebten. - Fachleute nennen dies: Posttraumatische Belastungsstörung.

Philippe startete die Kaffeemaschine und drückte nach der Aufwärmphase auf das entsprechende Symbol für einen Kaffee Crème. Der wohlriechende Duft, der ihm in die Nase stieg, entschädigte ihn für vieles, nicht aber für den sibyllinischen Satz von Sergej: Das Bild ist geimpft!Was meinte Sergej wohl damit? Philippe hatte keine Ahnung und er wollte sich das Ganze in aller Ruhe durch den Kopf gehen lassen. Er setzte sich dazu in den Sessel in seinem Büro und fing an zu grübeln; dabei musste er wohl wieder eingeschlafen sein. Auf wundersame Art und Weise kam ihm Louis in den Sinn, den er von früher her kannte, und der ihm schon das eine oder andere Mal mit Rat und Tat zur Seite gestanden war.Louis war ein Mann aus dem «Untergrund». Nein, keine Ratte, aber er lebte auf der anderen Seite der «normalen» Gesellschaft. Er wusste mehr über alles und alle zu berichten, als irgendjemand anderer. Er war eine wandelnde ''Säule'', ähnlich einer ''Litfasssäule''. Louis war auf seine Art und Weise unbezahlbar! Mit Nachnamen hiess Louis Canal; viele nannten ihn allerdings nur «Louis die Kanaille» oder den «Schurken» von Toulon.In seinem Traum erklärte Louis nun Philippe, was Sergej mit seinem Spruch: Das Bild ist geimpft! gemeint hatte, und das Ganze hatte es in sich …