GWAI-85


Book Description







Expert Systems in Production Engineering


Book Description

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.




Information and Communications Security


Book Description

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.




Computational Logic: Logic Programming and Beyond


Book Description

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.




Second Generation Expert Systems


Book Description

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.




Expert Judgment and Expert Systems


Book Description

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.




KADS


Book Description

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.




Syntactic and Structural Pattern Recognition


Book Description

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.




Natural Language at the Computer


Book Description

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.