Books in Artificial intelligence expert systems and knowledge based systems

Artificial Intelligence Planning Systems

1st Edition
June 28, 2014
James Hendler
English
eBook
9 7 8 0 0 8 0 4 9 9 4 4 4

Artificial Intelligence Planning Systems documents the proceedings of the First International Conference on AI Planning Systems held in College Park, Maryland on June 15-17, 1992. This book discusses the abstract probabilistic modeling of action; building symbolic primitives with continuous control routines; and systematic adaptation for case-based planning. The analysis of ABSTRIPS; conditional nonlinear planning; and building plans to monitor and exploit open-loop and closed-loop dynamics are also elaborated. This text likewise covers the modular utility representation for decision-theoretic planning; reaction and reflection in tetris; and planning in intelligent sensor fusion. Other topics include the resource-bounded adaptive agent, critical look at Knoblock's hierarchy mechanism, and traffic laws for mobile robots. This publication is beneficial to students and researchers conducting work on AI planning systems.

Formal Description Techniques, IV

1st Edition
Volume 2
October 22, 2013
K.R. Parker + 1 more
English
eBook
9 7 8 1 4 8 3 2 9 3 3 3 2

Formality is becoming accepted as essential in the development of complex systems such as multi-layer communications protocols and distributed systems. Formality is mandatory for mathematical verification, a procedure being imposed on safety-critical system development. Standard documents are also becoming increasingly formalised in order to capture notions precisely and unambiguously. This FORTE '91 proceedings volume has focussed on the standardised languages SDL, Estelle and LOTOS while, as with earlier conferences, remaining open to other notations and techniques, thus encouraging the continuous evolution of formal techniques. This useful volume contains 29 submitted papers, three invited papers, four industry reports, and four tool reports organised to correspond with the conference sessions.

Decentralized A.I., 2

1st Edition
December 4, 1991
Y. Demazeau + 1 more
English
eBook
9 7 8 0 4 4 4 5 9 7 3 8 0

The purpose of this proceedings is to stimulate exchange and discussion of research in the field of multi-agent systems. A multi-agent system consists of at least two agents that are engaged in some task that may require coordination, cooperation and/or competition. An autonomous agent has its own goals, capabilities and knowledge. The actions of an agent occur in the context of other agents that may have structures and strategies different from the agent's own. Multi-agent problems arise when several autonomous agents share a common environment. These problems may result from limited resources, shared or competing goals, etc. This MAAMAW workshop proceedings emphasizes multi-agent systems of all sorts from very simple to very complex agents and agent organizations.

The KBMT Project

1st Edition
July 1, 1991
Kenneth Goodman + 1 more
English
eBook
9 7 8 0 0 8 0 5 1 8 9 0 9

Machine translation of natural languages is one of the most complex and comprehensive applications of computational linguistics and artificial intelligence. This is especially true of knowledge-based machine translation (KBMT) systems, which require many knowledge resources and processing modules to carry out the necessary levels of analysis, representation and generation of meaning and form. The number of real-world problems, tasks, and solutions involved in developing any realistic-size knowledge-based machine translation system is enormous. It is thus difficult for researchers in the field to learn what a system "really does".This book fills that need with a detailed case study of a KBMT system implemented at the Center for Machine Translation at Carnegie Mellon University. The research consists in part of the creation of a system for translation between English and Japanese. The corpora used in the project were manuals for installing and maintaining IBM personal computers (sponsorship by IBM, through its Tokyo Research Laboratory) Individual chapters describe the interlingua texts used in knowledge-based machine translation, the grammar formalism embodied in the system, the grammars and lexicons and their roles in the translation process, the process of source language analysis, an augmentation module that interactively and automatically resolves ambiguities remaining after source language analysis, and the generator, which produces target language sentences. Detailed appendices illustrate the process from analysis through generation.This book is intended for developers, researchers and advanced students in natural language processing and computational linguistics, including all those who have an interest in machine translation and machine-aided translation.

Computational Intelligence, III

1st Edition
July 1, 1991
G. Valle + 2 more
English
eBook
9 7 8 0 4 4 4 5 9 7 4 0 3

In recent years AI has been experiencing a deep internal debate on the appropriateness of the symbolic-based paradigm and all of its consequences. While various symbolic representation schemes, as well as their integration, have been proposed, their limitations have continuously pushed researchers for improved versions or entirely new ones. New viewpoints such as the complex dynamic-based approach with neural nets can be regarded simply as new problem solving techniques with specific properties.Under this perspective, what seems to be important is the ability to combine heterogeneous representation and problem-solving techniques. Research on heterogeneous, intelligent systems goes hand in hand with research on specific problem solving methods and paradigms, therefore representing their conceptual and practical glueing element. The papers contained in this proceedings are just one instance of such awareness activity in the international scientific community.

Reasoning About Plans

1st Edition
June 28, 2014
James Allen + 3 more
English
eBook
9 7 8 1 4 8 3 2 9 5 9 6 1

This book presents four contributions to planning research within an integrated framework. James Allen offers a survey of his research in the field of temporal reasoning, and then describes a planning system formalized and implemented directly as an inference process in the temporal logic. Starting from the same logic, Henry Kautz develops the first formal specification of the plan recognition process and develops a powerful family of algorithms for plan recognition in complex situations. Richard Pelavin then extends the temporal logic with model operators that allow the representation to support reasoning about complex planning situations involving simultaneous interacting actions, and interaction with external events. Finally, Josh Tenenberg introduces two different formalisms of abstraction in planning systems and explores the properties of these abstraction techniques in depth.

Uncertainty in Artificial Intelligence

1st Edition
June 28, 2014
Bruce D'Ambrosio + 2 more
English
eBook
9 7 8 1 4 8 3 2 9 8 5 6 6

Uncertainty in Artificial Intelligence: Proceedings of the Seventh Conference (1991) covers the papers presented at the Seventh Conference on Uncertainty in Artificial Intelligence, held on July 13-15, 1991 at the University of California at Los Angeles (UCLA). The book focuses on the processes, technologies, developments, and approaches involved in artificial intelligence. The selection first offers information on combining multiple-valued logics in modular expert systems; constraint propagation with imprecise conditional probabilities; and Bayesian networks applied to therapy monitoring. The text then examines some properties of plausible reasoning; theory refinement on Bayesian networks; combination of upper and lower probabilities; and a probabilistic analysis of marker-passing techniques for plan-recognition. The publication ponders on symbolic probabilistic inference (SPI) with continuous variables, SPI with evidence potential, and local expression languages for probabilistic dependence. Topics include local expression languages for probabilistic knowledge, evidence potential algorithm, symbolic inference with evidence potential, and SPI with continuous variables algorithm. The manuscript also takes a look at the compatibility of quantitative and qualitative representations of belief and a method for integrating utility analysis into an expert system for design evaluation under uncertainty. The selection is a valuable source of data for researchers interested in artificial intelligence.

Artificial Intelligence in Chemistry

1st Edition
Volume 73
October 22, 2013
Z. Hippe
English
eBook
9 7 8 1 4 8 3 2 9 1 6 7 3

This comprehensive overview of the application of artificial intelligence methods (AI) in chemistry contains an in-depth summary of the most interesting achievements of modern AI, namely, problem-solving in molecular structure elucidation and in syntheses design.The book provides a brief history of AI as a branch of computer science. It also gives an overview of the basic methods employed for searching the solution space (thoroughly exemplified by chemical problems), together with a profound and expert discussion on many questions that may be raised by modern chemists wishing to apply computer-assisted methods in their own research. Moreover, it includes a survey of the most important literature references, covering all essential research in automated interpretation of molecular spectra to elucidate a structure and in syntheses design. A glossary of basic terms from computer technology for chemists is appended. This book is intended to make the emerging field of artificial intelligence understandable and accessible for chemists, who are not trained in computer methods for solving chemical problems. The author discusses step-by-step basic algorithms for structure elucidation and many aspects of the automated design of organic syntheses in order to integrate this fascinating technology into current chemical knowledge.

Artificial Intelligence and Computer Vision

1st Edition
June 17, 1991
Y.A. Feldman + 1 more
English
eBook
9 7 8 0 4 4 4 5 9 9 2 8 5

Current research in artificial intelligence and computer vision presented at the Israeli Symposium are combined in this volume to present an invaluable resource for students, industry and research organizations. Papers have been contributed from researchers worldwide, showing the growing interest of the international community in the work done in Israel. The papers selected are varied, reflecting the most contemporary research trends.

Artificial Neural Networks

1st Edition
June 28, 2014
K. Mäkisara + 3 more
English
eBook
9 7 8 1 4 8 3 2 9 8 0 0 9

This two-volume proceedings compiles a selection of research papers presented at the ICANN-91. The scope of the volumes is interdisciplinary, ranging from mathematics and engineering to cognitive sciences and biology. European research is well represented. Volume 1 contains all the orally presented papers, including both invited talks and submitted papers. Volume 2 contains the plenary talks and the poster presentations.

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health