Download or read book GWAI 85 written by Herbert Stoyan and published by . This book was released on 1986 with total page 490 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book GWAI 87 11th German Workshop on Artificial Intelligence written by Katharina Morik and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 416 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book K nstliche Intelligenz written by Wolfgang Hoeppner and published by Springer. This book was released on 1988-09-14 with total page 352 pages. Available in PDF, EPUB and Kindle. Book excerpt: Der Band enthält alle Beiträge, die für die 12. Jahrestagung 'Künstliche Intelligenz' (GWAI-88) vom Programmkomitee akzeptiert worden sind. Die 29 Fachbeiträge werden von drei eingeladenen Hauptvorträgen ergänzt: B. Bartsch-Spörl untersucht den augenblicklichen Entwicklungsstand von KI-Systemen, die in der Praxis eingesetzt werden, und zeigt Perspektiven für die zukünftige Entwicklung auf; J. Funke geht auf den methodologischen Unterschied zwischen Kognitionswissenschaften und KI-Forschung ein; P. Levi stellt neue Planungsverfahren für mehrere autonome Agenten als Teilgebiete der Robotik dar. Die Fachbeiträge sind in erster Linie den Teilgebieten Wissensrepräsentation und Natürlichsprachliche Systeme zuzuordnen, zwei Bereiche, auf denen in der Bundesrepublik traditionell intensiv geforscht wird. Vier Beiträge stellen neue Methoden aus dem Feld der niederen Bilddeutung vor. Neben diesen Schwerpunkten enthält der Band auch Arbeiten aus den Gebieten Maschinelles Lernen, Kognition, Deduktion und KI-Programmierung. In einer Zeit, in der die KI-Forschung in der Bundesrepublik einen enormen Aufschwung erlebt, ist gerade auch eine kritische Einschätzung der Forschungssituation wünschenswert. Die letzten vier Beiträge des Bandes sind deshalb Positionspapiere zum Thema 'Grenzen der KI', die während einer Podiumsdiskussion auf der GWAI-88 diskutiert wurden. Die Hälfte der Beiträge dieses Bandes ist deutsch, die andere Hälfte englisch abgefaßt.

Download or read book Mongolian written by Juha A. Janhunen and published by John Benjamins Publishing. This book was released on 2012-11-29 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt: Mongolian is the principal language spoken by some five million ethnic Mongols living in Outer and Inner Mongolia, as well as in adjacent parts of Russia and China. The spoken language is divided into a number of mutually intelligible dialects, while for writing two separate written languages are used: Cyrillic Khalkha in Outer Mongolia (the Republic of Mongolia) and Written Mongol in Inner Mongolia (P. R. China). In this grammatical description, the focus is on the standard varieties of the spoken language, as used in broadcasting, education, and everyday casual speech. The dialectology of the language, and its background as a member of the Mongolic language family, are also dicussed. Mongolian is an agglutinating language with a well-developed suffixal morphology. In the areal framework, the language is a typical member of the trans-Eurasian Ural-Altaic complex with features such as vowel harmony, verb-final sentence structure, and complex chains of non-finite verbal phrases.

Download or read book Expert Systems in Production Engineering written by Georg Menges and published by Springer Science & Business Media. This book was released on 2013-03-12 with total page 251 pages. Available in PDF, EPUB and Kindle. Book excerpt: The present volume contains edited versions of the communications presented at an International Workshop on "Expert Systems in Production Engineering", held in Spa, Belgium, in 1986. Introductory papers on Artificial Intelligence and Expert Systems are complemented by case studies of Expert Systems in practice, primarily, in the area of Mechanical Engineering and discussions of the possibilities and the limitations of Expert Systems.

Download or read book Computational Logic Logic Programming and Beyond written by Antonis C. Kakas and published by Springer. This book was released on 2003-08-02 with total page 638 pages. Available in PDF, EPUB and Kindle. Book excerpt: Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d’Œtre. The diversity of interests covered here reflects the variety of Bob’s concerns. Read on. It is an intellectual feast. Before you begin, permit me to send him a brief personal, but public, message: Bob, how right you were, and how wrong I was. I should explain. When Bob arrived in Edinburgh in 1967 resolution was as yet fairly new, having taken several years to become at all widely known. Research groups to investigate various aspects of resolution sprang up at several institutions, the one organized by Bernard Meltzer at Edinburgh University being among the first. For the half-dozen years that Bob was a leading member of Bernard’s group, I was a frequent visitor to it, and I saw a lot of him. We had many discussions about logic, computation, and language.

Download or read book Begr ndungsverwaltung written by Herbert Stoyan and published by Springer Science & Business Media. This book was released on 2013-03-07 with total page 161 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dieses Buch enthält die schriftlichen Ausarbeitungen von Vorträgen, die am 9. Oktober 1986 auf einem Workshop über Reason Maintenance gehalten worden sind. Der Begriff Begründungsverwaltung als Übersetzung von Reason Maintenance soll die Gleichzeitigkeit der Aspekte der Speicherung und Aufbewahrung der Begründungen und der Erhaltung der Gültigkeit von Aussagen auf Grund der gültigen Begründungen ausdrücken. Reason Maintenance ist eine Fortführung und Verallgemeinerung von Truth Maintenance. Truth-Maintenance-Systeme sind Programmsysteme, die Speicher von Aussagen realisieren, die weitgehend nur auf aussagenlogischer Ebene formalisiert sind. Sie verwalten Aussagenmengen und ihre Bewertungen. Annahmen und einfache Konsequenzen aus ihnen werden in einer Weise aufbewahrt, da€ eine widerspruchsfreie Aussagenmenge zu jedem konkreten Zeitpunkt erkennbar ist. Die Technik, mit der dieses Ziel erreicht wird, besteht in der Repräsentation der Beziehungen zwischen den Aussagen und in der Aufbewahrung der Prämissen, Implikationen und Schlu€regeln, die zur Ableitung einer bestimmten Aussage verwendet worden sind. Der Zweck dieser Systeme ist demnach Konsistenzerhaltung durch Begründungsverwaltung. Die vorliegenden Arbeiten repräsentieren den deutschen Wissensstand auf diesem Teilgebiet der Künstlichen Intelligenz unter Betonung des Ansatzes von de Kleer. Damit führt dieser Band den Leser an wesentliche aktuelle Forschungsergebnisse heran.

Download or read book Second Generation Expert Systems written by Jean-Marc David and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 763 pages. Available in PDF, EPUB and Kindle. Book excerpt: Second Generation Expert Systems have been a very active field of research during the last years. Much work has been carried out to overcome drawbacks of first generation expert systems. This book presents an overview and new contributions from people who have played a major role in this evolution. It is divided in several sections that cover the main topics of the subject: - Combining Multiple Reasoning Paradigms - Knowledge Level Modelling - Knowledge Acquisition in Second Generation Expert Systems - Explanation of Reasoning - Architectures for Second Generation Expert Systems. This book can serve as a reference book for researchers and students and will also be an invaluable help for practitioners involved in KBS developments.

Download or read book Handbook of Tableau Methods written by Marcello D'Agostino and published by Springer Science & Business Media. This book was released on 1999-03-31 with total page 682 pages. Available in PDF, EPUB and Kindle. Book excerpt: Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways. Traditionally, a logic is presented via the following three components: 1. an intuitive non-formal motivation, perhaps tie it in to some application area 2. a semantical interpretation 3. a proof theoretical formulation. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on. The tableau methodology, invented in the 1950s by Beth and Hintikka and later per fected by Smullyan and Fitting, is today one of the most popular, since it appears to bring together the proof-theoretical and the semantical approaches to the pre of a logical system and is also very intuitive. In many universities it is sentation the style first taught to students. Recently interest in tableaux has become more widespread and a community crystallised around the subject. An annual tableaux conference is being held and proceedings are published. The present volume is a Handbook a/Tableaux pre senting to the community a wide coverage of tableaux systems for a variety of logics. It is written by active members of the community and brings the reader up to frontline research. It will be of interest to any formal logician from any area.

Download or read book Fehlertolerierende Rechensysteme Fault Tolerant Computing Systems written by Fevzi Belli and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 401 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dieser Band enthält die 38 Beiträge der 3. GI/ITG/GMA-Fachtagung über "Fehlertolerierende Rechensysteme". Unter den 10 aus dem Ausland eingegangenen Beiträgen sind 4 eingeladene Vorträge. Insgesamt dokumentiert dieser Tagungsband die Entwicklung der Konzeption und Implementierung fehlertoleranter Systeme in den letzten drei Jahren vor allem in Europa. Sämtliche Beiträge sind neue Forschungs- oder Entwicklungsergebnisse, die vom Programmausschuß der Tagung aus 70 eingereichten Beiträgen ausgewählt wurden.

Download or read book Expert Judgment and Expert Systems written by Jeryl L. Mumpower and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 360 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume is an outgrowth of a NATO Advanced Research Workshop on "Expert Judgment and Expert Systems," held in Porto, Portugal, August 1986. Support for the Workshop was provided by the NATO Division of Scientific Affairs, the U.S. Army Research Institute, and the U.S. National Science Foundation. The Workshop brought together researchers from the fields of psychology, decision analysis, and artificial intelligence. The purposes were to assess similarities, differences, and complementarities among the three approaches to the study of expert judgment; to evaluate their relative strengths and weaknesses; and to propose profitable linkages between them. Each of the papers in the present volume is directed toward one or more of those goals. We wish to express our appreciation and thanks to the following persons for their support and assistance: John Adams, Vincent T. Covello, Luis da Cunha, Claire Jeseo, B. Michael Kantrowitz, Margaret Lally, Judith Orasanu, R. M. Rodrigues, and Sandor P. Schuman.

Download or read book Information and Communications Security written by Tatsuaki Okamoto and published by Springer Science & Business Media. This book was released on 2001-10-24 with total page 798 pages. Available in PDF, EPUB and Kindle. Book excerpt: ICICS 2001, the Third International Conference on Information and Commu- cations Security, was held in Xi’an, China, 13-16 November 2001. Among the preceding conferences, ICICS’97 was held in Beijing, China, 11-14 November 1997 and ICICS’99 in Sydney, Australia, 9-11 November 1999. The ICICS’97 and ICICS’99 proceedings were released as volumes 1334 and 1726 of Springer- Verlag’s Lecture Notes in Computer Science series. ICICS 2001 was sponsored by the Chinese Academy of Sciences (CAS), the - tional Natural Science Foundation of China, and the China Computer Fe- ration. The conference was organized by the Engineering Research Center for Information Security Technology of the Chinese Academy of Sciences (ERCIST, CAS) in co-operation with the International Association for Cryptologic Re- arch (IACR), the International Communications and Information Security - sociation (ICISA), and the Asiacrypt Steering Committee. The format of ICICS 2001 was selected to cover the complete spectrum of - formation and communications security, and to promote participant interaction. The sessions were designed to promote interaction between the major topics of the conference: theoretical foundations of security, secret sharing, network - curity, authentication and identi?cation, boolean functions and stream ciphers, security evaluation, signatures, block ciphers and public-key systems, infor- tion hiding, protocols and their analysis, and cryptanalysis. The 29-member Program Committee considered 134 submissions from 23 di- rent countries and regions, among them 56 papers were accepted for presentation.

Download or read book 10th International Conference on Automated Deduction written by Mark E. Stickel and published by Springer Science & Business Media. This book was released on 1990-07-17 with total page 708 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.

Download or read book Cooperative Interfaces to Information Systems written by Leonard Bolc and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: Information systems are large repositories of factual and inferential knowledge intended to be queried and maintained by a wide variety of users with different backgrounds and work tasks. The community of potential information system users is growing rapidly with advances in hardware and software technology that permit computer/communications support for more and more application areas. Unfortunately, it is often felt that progress in user interface technology has not quite matched that of other areas. Technical solutions such as computer graphics, natural language processing, or man-machine-man communications in office systems are not enough by themselves. They should be complemented by system features that ensure cooperative behavior of the interfaces, thus reducing the training and usage effort required for successful interaction. In analogy to a human dialog partner, we call an interface cooperative if it does not just accept user requests passively or answer them literally, but actively attempts to understand the users' intentions and to help them solve their applica tion problems. This leads to the central question addressed by this book: What makes an information systems interface cooperative, and how do we provide capabilities leading to cooperative interfaces? Many answers are possible. A first aspect concerns the formulation and accep tance of user requests. Many researchers assume that such requests should be formulated in natural language.

Download or read book Conscious Experience written by Thomas Metzinger and published by Imprint Academic. This book was released on 1995 with total page 580 pages. Available in PDF, EPUB and Kindle. Book excerpt: The contributions to this book are original articles, representing a cross-section of current philosophical work on consciousness and thereby allowing students and readers from other disciplines to acquaint themselves with the very latest debate, so that they can then pursue their own research interests more effectively. The volume includes a bibliography on consciousness in philosophy, cognitive science and brain research, covering the last 25 years and consisting of over 1000 entries in 18 thematic sections, compiled by David Chalmers and Thomas Metzinger.

Download or read book KADS written by Guus Schreiber and published by Academic Press. This book was released on 1993-05-05 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt: KADS is a structured methodology for the development of knowledge based systems which has been adopted throughout the world by academic and industrial professionals alike. KADS approaches development as a modeling activity. Two key characteristics of KADS are the use of multiple models to cope with the complexity of knowledge engineering and the use of knowledge-level descriptions as an immediate model between system design and expertise data. The result is that KADS enables effective KBS construction by building a computational model of desired behavior for a particular problem domain. KADS contains three section: the Theoretical Basis of KADS, Languages and Tools, and Applications. Together they form a comprehensive sourcebook of the how and why of the KADS methodology. KADS will be required reading for all academic and industrial professionals concerned with building knowledge-based systems. It will also be a valuable source for students of knowledge acquisition and KBS. * SPECIAL FEATURES: * KADS is the most widely used commercial structured methodology for KBS development in Europe and is becoming one of the few significant AI exports to the US. * Describes KADS from its Theoretical Basis, through Language and Tool Developments, to real Applications.

Download or read book Expert Systems and Decision Support in Medicine written by Otto Rienhoff and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 584 pages. Available in PDF, EPUB and Kindle. Book excerpt: The 33rd Annual Meeting of the German Association for Medical Documentation, Informatics and Statistics was combined with a Special Topic Conference of the European Federation for Medical Informatics and takes place at Hannover, F. R. of Germany, from September 26 to 29, 1988. It was planned and initililly prepared by the late Prof. P. L Reichertz, who headed the Hannover institute from 1969 to 1987. To commemorate his contribution to the development of medicine the conference was devoted to him "Peter Reichertz Memorial Conference on Expert Systems and Decision Support in Medicine" Since computers in the early Fifties were first applied to support medical reasoning, various phases of euphoria and resi~ation have . followed. Every new methodology which became technically possible was and will be applied to the old questlon of how to diagnose diseases more reliably. Artificial Intelligence is just one new approach to the old challenge. Over the years some· authors have been very optimistic and put forward opinions which motivated the common press to coin the phrase 'Dr. med. computer'. Papers printed under this heading rebuffed the majority of physiCians for many years. Today we know that medical decision making is a most complex buman performance. And 30 years of research on decision support have given us only limited insight into the underlying processes. Most of the principal methodological questions were already asked very early on.