AAAI proceedings describe innovative concepts, techniques, perspectives, and observations that present promising research directions in artificial intelligence. July 15-19, 1991, Anaheim, California Topics include: Communication and Cooperation. Al and Education. User Interfaces. Natural Language. Distributed Al. Reasoning about Physical Systems. Perception, Planning, and Robotics. Machine Learning.

Stringently reviewed papers presented at the October 1992 meeting held in Cambridge, Mass., address such topics as nonmonotonic logic; taxonomic logic; specialized algorithms for temporal, spatial, and numerical reasoning; and knowledge representation issues in planning, diagnosis, and natural langu

Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations. It deals with the addition, deletion and combination of pieces of information and, more generally, with the revision, updating and fusion of knowledge bases. The book offers an extensive coverage of, and seeks to reconcile, two traditions in the kinematics of belief that often ignore each other - the symbolic and the numerical (often probabilistic) approaches. Moreover, the work encompasses both revision and fusion problems, even though these two are also commonly investigated by different communities. Finally, the book presents the numerical view of belief change, beyond the probabilistic framework, covering such approaches as possibility theory, belief functions and convex gambles. The work thus presents a unified view of belief change operators, drawing from a widely scattered literature embracing philosophical logic, artificial intelligence, uncertainty modelling and database systems. The material is a clearly organised guide to the literature on the dynamics of epistemic states, knowledge bases and uncertain information, suitable for scholars and graduate students familiar with applied logic, knowledge representation and uncertain reasoning.

The field of knowledge-based systems (KBS) has expanded enormously during the last years, and many important techniques and tools are currently available. Applications of KBS range from medicine to engineering and aerospace.This book provides a selected set of state-of-the-art contributions that present advanced techniques, tools and applications. These contributions have been prepared by a group of eminent researchers and professionals in the field.The theoretical topics covered include: knowledge acquisition, machine learning, genetic algorithms, knowledge management and processing under uncertainty, conflict detection and resolution, structured knowledge architectures, and natural language-based man-machine communication.The Applications include: Real-time decision support, system fault diagnosis, quality assessment, manufacturing production, robotic assembly, and robotic welding.The reader can save considerable time in searching the scattered literature in the field, and can find here a powerful set of how-to-do issues and results.

Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. It includes a tutorial background and cutting-edge developments, as well as applications of Knowledge Representation in a variety of AI systems. This handbook is organized into three parts. Part I deals with general methods in Knowledge Representation and reasoning and covers such topics as classical logic in Knowledge Representation; satisfiability solvers; description logics; constraint programming; conceptual graphs; nonmonotonic reasoning; model-based problem solving; and Bayesian networks. Part II focuses on classes of knowledge and specialized representations, with chapters on temporal representation and reasoning; spatial and physical reasoning; reasoning about knowledge and belief; temporal action logics; and nonmonotonic causal logic. Part III discusses Knowledge Representation in applications such as question answering; the semantic web; automated planning; cognitive robotics; multi-agent systems; and knowledge engineering. This book is an essential resource for graduate students, researchers, and practitioners in knowledge representation and AI. * Make your computer smarter* Handle qualitative and uncertain information* Improve computational tractability to solve your problems easily

The National Science Foundation funded the first Coordination Theory and Collaboration Technology initiative to look at systems that support collaborations in business and elsewhere. This book explores the global revolution in human interconnectedness. It will discuss the various collaborative workgroups and their use in technology. The initiative focuses on processes of coordination and cooperation among autonomous units in human systems, in computer and communication systems, and in hybrid organizations of both systems. This initiative is motivated by three scientific issues which have been the focus of separate research efforts, but which may benefit from collaborative research. The first is the effort to discover the principles underlying how people collaborate and coordinate work efficiently and productively in environments characterized by a high degree of decentralized computation and decision making. The second is to gain a better fundamental understanding of the structure and outputs of organizations, industries, and markets which incorporate sophisticated, decentralized information and communications technology as an important component of their operations. The third is to understand problems of coordination in decentralized or open computer systems.

This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August 3-6, 1992. This was the first conference to be devoted to such a topic after a long period when SMC made no appearance in AI conferences, though it used to be welcome in the early days of AI. Some conferences were held recently on mathematics and AI, but none was directly comparable in scope to this conference. Because of the novelty of the domain, authors were given longer allocations of time than usual in which to present their work. As a result, extended and fruitful discussions followed each paper. The introductory chapter in this book, which was not presented during the conference, reflects in many ways the flavor of these discussions and aims to set out the framework for future activities in this domain of research. In addition to the introduction, the volume contains 20 papers.

Annotation This volume contains the papers that were presented at theThird Workshop onAlgorithmic Learning Theory, held in Tokyoin October 1992. In addition to 3invited papers, the volumecontains 19 papers accepted for presentation, selected from29 submitted extended abstracts. The ALT workshops have beenheld annually since 1990 and are organized and sponsored bythe Japanese Society for Artificial Intelligence. The mainobjective of these workshops is to provide an open forum fordiscussions and exchanges of ideasbetween researchers fromvarious backgrounds in this emerging, interdisciplinaryfield of learning theory. The volume is organized into partson learning via query, neural networks, inductive inference, analogical reasoning, and approximate learning.