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 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 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 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 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 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 Natural Language at the Computer written by Albrecht Blaser and published by Springer Science & Business Media. This book was released on 1988 with total page 184 pages. Available in PDF, EPUB and Kindle. Book excerpt: Volume 19 of Group III (Crystal and Solid State Physics) deals with the magnetic properties of metals, alloys and metallic compounds. The amount of information available in this field is so substantial that several subvolumes are needed to cover it all. The first subvolumes treat the intrinsic magnetic properties, i. e. those magnetic properties which depend only on the chemical composition and the crystal structure. So far, subvolumes III/19a, III/19b and III/19c have appeared. Data on the properties that depend on the preparation of the samples measured, as for instance, thin films or amorphous alloys and the magnetic alloys used in technical applications, are being compiled in the last subvolumes of III/19. In the first of these, subvolume III/19g, magnetic properties are given for several major types of crystalline and amorphous thin magnetic films that are supported by a substrate and for which a more or less coherent group of data is available. The properties of sputtered metallic amorphous films containing 3d transition elements will be dealt with in the following subvolume.
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 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 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 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 The Generic Book written by Gregory N. Carlson and published by University of Chicago Press. This book was released on 1995-08 with total page 473 pages. Available in PDF, EPUB and Kindle. Book excerpt: In an attempt to address the theoretical gap between linguistics and philosophy, a group of semanticists, calling itself the Generic Group, has worked to develop a common view of genericity. Their research has resulted in this book, which consists of a substantive introduction and eleven original articles on important aspects of the interpretation of generic expressions. The introduction provides a clear overview of the issues and synthesizes the major analytical approaches to them. Taken together, the papers that follow reflect the current state of the art in the semantics of generics, and afford insight into various generic phenomena.
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 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 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.
