Truth Maintenance Systems
Truth Maintenance Systems

Author: João P. Martins

Publisher: Springer Science & Business Media

Published: 1991-07-24

Total Pages: 196

ISBN-13: 9783540543053

DOWNLOAD EBOOK

The Truth Maintenance Workshop was held in August 1990 during the European Conference on Artificial Intelligence in Stockholm, Sweden. Ten selected papers, eight of them presented at the workshop, are included in this volume. The papers can be grouped into four main areas: - Meta-level control: the goal here is to specify some meta-criteria to control the behavior of the TMS. - Extensions of TMS: here the aim is to incorporate new mechanisms into TMS-like systems. - Foundations: there is now much interest in providing formal descriptions of TMS, proving results about them, and relating them with other non-monotonic formalisms. - Belief revision: TMS can be considered as providing support to manage the more general problem of belief revision.

Distributed Reason Maintenance for Multiagent Systems
Distributed Reason Maintenance for Multiagent Systems

Author: Gerhard K. Kraetzschmar

Publisher: Springer Science & Business Media

Published: 1997-10

Total Pages: 314

ISBN-13: 9783540636069

DOWNLOAD EBOOK

This book provides a systematic in-depth investigation of a class of multiple-context assumption-based multiagent reasoning problems, typical, e.g., for distributed planning, scheduling, and control. First, logical and architectural foundations are provided to construct the two systems XFRMS and MXFRMS allowing the development of more complex utilities. Then the technology developed for XFRMS in the single-agent case is further enhanced to the multiagent situation. The multiagent RMS MXFRMS provides, along with XFRMS, a solid foundation for building more complex utilities, such as plan or schedule maintenance systems. In the final chapter, the software engineer confronted with the task of building a practicable multiagent system can find a discussion of potential uses and future extensions of the systems provided.

Expert Systems
Expert Systems

Author: Cornelius T. Leondes

Publisher: Elsevier

Published: 2001-09-26

Total Pages: 2125

ISBN-13: 0080531458

DOWNLOAD EBOOK

This six-volume set presents cutting-edge advances and applications of expert systems. Because expert systems combine the expertise of engineers, computer scientists, and computer programmers, each group will benefit from buying this important reference work. An "expert system" is a knowledge-based computer system that emulates the decision-making ability of a human expert. The primary role of the expert system is to perform appropriate functions under the close supervision of the human, whose work is supported by that expert system. In the reverse, this same expert system can monitor and double check the human in the performance of a task. Human-computer interaction in our highly complex world requires the development of a wide array of expert systems. Expert systems techniques and applications are presented for a diverse array of topics including Experimental design and decision support The integration of machine learning with knowledge acquisition for the design of expert systems Process planning in design and manufacturing systems and process control applications Knowledge discovery in large-scale knowledge bases Robotic systems Geograhphic information systems Image analysis, recognition and interpretation Cellular automata methods for pattern recognition Real-time fault tolerant control systems CAD-based vision systems in pattern matching processes Financial systems Agricultural applications Medical diagnosis

Knowledge Intensive CAD
Knowledge Intensive CAD

Author: Martti Mäntylä

Publisher: Springer

Published: 2016-01-09

Total Pages: 338

ISBN-13: 0387349308

DOWNLOAD EBOOK

Knowledge-Intensive CAD clarifies and elaborates the concepts of knowledge-intensive design and CAD. In today's advanced manufacturing environment, CAD systems should not only assist designers and engineers during product design, but also in design information for use in later stages of the process such as production, distribution and operation. This book focuses on the sharing of knowledge across life-cycle stages and organizational boundaries.

AIME 89
AIME 89

Author: Jim Hunter

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 361

ISBN-13: 3642934374

DOWNLOAD EBOOK

The Second European Conference on Artificial Intelligence in Medicine followed the successful meeting in Marseilles in 1987. As for AIME 87, the goal of AIME 89 was to promote scientific interchange within and between all subfields of AI in medicine, among researchers from all over the world, and especially from Europe. There were sessions on: knowledge elicidation and acquisition, architectures for medical knowledge-based systems, clinical applications, methodology, reasoning based on physiological models, and uncertainty. It is clear form the quality of papers presented, that the rate of development which took place between the Pavia meeting of 1985 and AIME 87 has been well maintained. With the launch of the European Community's exploratory programme in Advanced Informatics in Medicine in Europe, 1989 is clearly a very important year for this discipline. AIME 89 provided an important forum which demonstrated progress in some of the more difficult methodological problems, and advances in the application of these techniques to real-world medicine. This volume should be consulted by anyone who wishes to appreciate the state of the art in Medical AI in Europe.

New Directions for Intelligent Tutoring Systems
New Directions for Intelligent Tutoring Systems

Author: Ernesto Costa

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 301

ISBN-13: 3642776817

DOWNLOAD EBOOK

This book is a result of the NATO Advanced Research Workshop on New Directions for Intelligent Tutoring Systems, held in Sintra, Portugal, October 6-10, 1990. The main idea behind the workshop was to bring together scientists with different concerns about Intelligent Tutoring Systems (ITS) in order to discuss the positive and negative aspects of the current architecture paradigm (expert module, student module, instructional module, and interface module) and, eventually, propose some modifications or radical changes to it. This was a consequence of the increasing malaise felt currently by researchers in the area of artificial intelligence and education and in particular by those concerned with ITS. One symptom of this state of affairs is the fact that people have started talking about Intelligent Learning Environ ments (lLE) instead of ITS. To understand the reasons for this situation we promoted the discussion of questions like: - To what extent do we need the technology of expert systems in ITS? Which other relevant AI techniques and methodologies are urgently needed? - Is ITS a tool for knowledge communication or is it rather a belief system? - How can the research already done on interactions among agents be utilized? - Is it possible to find a fonnal theory to describe and solve the current problems with ITS? The book contains the revised versions of the papers presented at the workshop. The new texts reflect the discussions that took place at the meeting.

Maintenance Systems and Documentation
Maintenance Systems and Documentation

Author: Anthony Kelly

Publisher: Elsevier

Published: 2006-07-10

Total Pages: 255

ISBN-13: 0080462626

DOWNLOAD EBOOK

Managing Systems and Documentation addresses the main systems necessary for the successful operation of a maintenance organization, such as performance control, work control and documentation. It shows how they can be modelled, their function and operating principles, and the main problems encountered in operation. It is the third of three stand-alone companion books with the aim of providing better understanding of maintenance operations, in order to identify problems and prescribe effective solutions.This is one of three stand-alone volumes designed to provide maintenance professionals in any sector with a better understanding of maintenance management, enabling the identification of problems and the delivery of effective solutions.* The third of three stand-alone companion books, focusing on the main systems necessary for the successful operation of a maintenance organization* Covers the maintenance of plant, production and operations assets in industry and service sectors, including manufacturing, food and process engineering, minerals and mining, transport, power and IT* Includes review questions, exercises and case studies* Clearly specified objectives and learning outcomes are given for each chapter, including a route map to link each chapter to the rest of the topics covered

Operational Expert System Applications in Canada
Operational Expert System Applications in Canada

Author: Ching Y. Suen

Publisher: Elsevier

Published: 2014-06-28

Total Pages: 193

ISBN-13: 1483295702

DOWNLOAD EBOOK

This book is part of a new series on operational expert systems worldwide. Expert systems are now widely used in different parts of the world for various applications. The past four years have witnessed a steady growth in the development and deployment of expert systems in Canada. Research in this field has also gained considerable momentum during the past few years. However, the field of expert systems is still young in Canada. This book contains 13 chapters contributed by 31 experts from both universities and industries across Canada covering a wide range of applications related to electric power and circuit boards, health and medicine, the legal field, transportation and decision making.

Fuzzy Logic and Soft Computing
Fuzzy Logic and Soft Computing

Author: Bernadette Bouchon-Meunier

Publisher: World Scientific

Published: 1995

Total Pages: 512

ISBN-13: 9789810223458

DOWNLOAD EBOOK

Soft computing is a new, emerging discipline rooted in a group of technologies that aim to exploit the tolerance for imprecision and uncertainty in achieving solutions to complex problems. The principal components of soft computing are fuzzy logic, neurocomputing, genetic algorithms and probabilistic reasoning.This volume is a collection of up-to-date articles giving a snapshot of the current state of the field. It covers the whole expanse, from theoretical foundations to applications. The contributors are among the world leaders in the field.