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 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 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 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 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 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 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 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 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 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 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 Computer Epistemology written by Tibor Vamos and published by World Scientific. This book was released on 1991-03-22 with total page 247 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is an essay on relevant problems of epistemology (the theory of knowledge) related to computer science. It draws a continuous line between the earliest scientific approaches of epistemology, starting with the Greek Classics and the recent practical and theoretical problems of computer modelling, and by that the appropriate application of computers to our present problems. Uncertainty, logic and language are the key issues of this road leading to some new aspects of cognitive psychology and unification of the different results for a modelling procedure. The book is not a textbook but a critical survey of usual and advertised methods with an evaluation of them from the point of view of their applicability, reliability and limits. Probability, Bayesian, Dempster-Shafer, fuzzy and other approaches are treated in this way in uncertainty, different worlds' concepts, non-monotonic logic and other methods and views in logic. The emphasis in linguistics is put on the meta concept, and in cognitive applications of the pattern concept.Written mostly in an entertaining style, this book provides a more palatable reading of a profound subject.

Download or read book Syntactic and Structural Pattern Recognition written by Gabriel Ferrate and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 456 pages. Available in PDF, EPUB and Kindle. Book excerpt: Thirty years ago pattern recognition was dominated by the learning machine concept: that one could automate the process of going from the raw data to a classifier. The derivation of numerical features from the input image was not considered an important step. One could present all possible features to a program which in turn could find which ones would be useful for pattern recognition. In spite of significant improvements in statistical inference techniques, progress was slow. It became clear that feature derivation was a very complex process that could not be automated and that features could be symbolic as well as numerical. Furthennore the spatial relationship amongst features might be important. It appeared that pattern recognition might resemble language analysis since features could play the role of symbols strung together to form a word. This led. to the genesis of syntactic pattern recognition, pioneered in the middle and late 1960's by Russel Kirsch, Robert Ledley, Nararimhan, and Allan Shaw. However the thorough investigation of the area was left to King-Sun Fu and his students who, until his untimely death, produced most of the significant papers in this area. One of these papers (syntactic recognition of fingerprints) received the distinction of being selected as the best paper published that year in the IEEE Transaction on Computers. Therefore syntactic pattern recognition has a long history of active research and has been used in industrial applications.

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 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.