Books in Artificial intelligence expert systems and knowledge based systems

141-149 of 149 results in All results

Probabilistic Reasoning in Intelligent Systems

• 1st Edition
• September 1, 1988
• Judea Pearl
• English
• Paperback 978-1-55860-479-7

  9 7 8 - 1 - 5 5 8 6 0 - 4 7 9 - 7
• eBook 978-0-08-051489-5

  9 7 8 - 0 - 0 8 - 0 5 1 4 8 9 - 5

Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the theoretical foundations and computational methods that underlie plausible reasoning under uncertainty. The author provides a coherent explication of probability as a language for reasoning with partial belief and offers a unifying perspective on other AI approaches to uncertainty, such as the Dempster-Shafer formalism, truth maintenance systems, and nonmonotonic logic.The author distinguishes syntactic and semantic approaches to uncertainty--and offers techniques, based on belief networks, that provide a mechanism for making semantics-based systems operational. Specifically, network-propagation techniques serve as a mechanism for combining the theoretical coherence of probability theory with modern demands of reasoning-systems technology: modular declarative inputs, conceptually meaningful inferences, and parallel distributed computation. Application areas include diagnosis, forecasting, image interpretation, multi-sensor fusion, decision support systems, plan recognition, planning, speech recognition--in short, almost every task requiring that conclusions be drawn from uncertain clues and incomplete information.Probabilistic Reasoning in Intelligent Systems will be of special interest to scholars and researchers in AI, decision theory, statistics, logic, philosophy, cognitive psychology, and the management sciences. Professionals in the areas of knowledge-based systems, operations research, engineering, and statistics will find theoretical and computational tools of immediate practical use. The book can also be used as an excellent text for graduate-level courses in AI, operations research, or applied probability.

Readings in Computer Vision

• 1st Edition
• June 1, 1987
• Martin A. Fischler + 1 more
• English
• eBook 978-0-08-051581-6

  9 7 8 - 0 - 0 8 - 0 5 1 5 8 1 - 6

The field of computer vision combines techniques from physics, mathematics, psychology, artificial intelligence, and computer science to examine how machines might construct meaningful descriptions of their surrounding environment. The editors of this volume, prominent researchers and leaders of the SRI International AI Center Perception Group, have selected sixty papers, most published since 1980, with the viewpoint that computer vision is concerned with solving seven basic problems:Reconstructing 3D scenes from 2D imagesDecomposing images into their component partsRecognizing and assigning labels to scene objectsDeducing and describing relations among scene objectsDetermining the nature of computer architectures that can support the visual functionRepresenting abstractions in the world of computer memoryMatching stored descriptions to image representationEach chapter of this volume addresses one of these problems through an introductory discussion, which identifies major ideas and summarizes approaches, and through reprints of key research papers. Two appendices on crucial assumptions in image interpretation and on parallel architectures for vision applications, a glossary of technical terms, and a comprehensive bibliography and index complete the volume.

Approximate Reasoning in Intelligent Systems, Decision and Control

• 1st Edition
• April 12, 1987
• E. Sanchez + 1 more
• English
• eBook 978-1-4832-9438-4

  9 7 8 - 1 - 4 8 3 2 - 9 4 3 8 - 4

Documents realistic applications of approximate reasoning techniques, with emphasis placed on operational systems. The papers presented explore new areas of practical decision-making and control systems by considering important aspects of fuzzy logic theory and the latest developments in the field of expert systems. Specific fields of application covered include modelling and control, management, planning, diagnostics, finance and software. Contains 12 papers.

Artificial Intelligence in Real-Time Control 1989

• 1st Edition
• January 12, 1987
• Hua-Tian Li + 2 more
• English
• eBook 978-1-4832-9833-7

  9 7 8 - 1 - 4 8 3 2 - 9 8 3 3 - 7

Papers presented at the workshop are representative of the state-of-the art of artificial intelligence in real-time control. The issues covered included the use of AI methods in the design, implementation, testing, maintenance and operation of real-time control systems. While the focus was on the fundamental aspects of the methodologies and technologies, there were some applications papers which helped to put emerging theories into perspective. The four main subjects were architectural issues; knowledge - acquisition and learning; techniques; and scheduling, monitoring and management.

Lexical Ambiguity Resolution

• 1st Edition
• January 1, 1987
• Steven L. Small + 2 more
• English
• eBook 978-0-08-051013-2

  9 7 8 - 0 - 0 8 - 0 5 1 0 1 3 - 2

The most frequently used words in English are highly ambiguous; for example, Webster's Ninth New Collegiate Dictionary lists 94 meanings for the word "run" as a verb alone. Yet people rarely notice this ambiguity. Solving this puzzle has commanded the efforts of cognitive scientists for many years. The solution most often identified is "context": we use the context of utterance to determine the proper meanings of words and sentences. The problem then becomes specifying the nature of context and how it interacts with the rest of an understanding system. The difficulty becomes especially apparent in the attempt to write a computer program to understand natural language. Lexical ambiguity resolution (LAR), then, is one of the central problems in natural language and computational semantics research.A collection of the best research on LAR available, this volume offers eighteen original papers by leading scientists. Part I, Computer Models, describes nine attempts to discover the processes necessary for disambiguation by implementing programs to do the job. Part II, Empirical Studies, goes into the laboratory setting to examine the nature of the human disambiguation mechanism and the structure of ambiguity itself.A primary goal of this volume is to propose a cognitive science perspective arising out of the conjunction of work and approaches from neuropsychology, psycholinguistics, and artificial intelligence--thereby encouraging a closer cooperation and collaboration among these fields.Lexical Ambiguity Resolution is a valuable and accessible source book for students and cognitive scientists in AI, psycholinguistics, neuropsychology, or theoretical linguistics.

Distributed Artificial Intelligence

• 1st Edition
• January 1, 1987
• Michael N. Huhns
• English
• eBook 978-0-323-13759-1

  9 7 8 - 0 - 3 2 3 - 1 3 7 5 9 - 1

Distributed Artificial Intelligence presents a collection of papers describing the state of research in distributed artificial intelligence (DAI). DAI is concerned with the cooperative solution of problems by a decentralized group of agents. The agents may range from simple processing elements to complex entities exhibiting rational behavior. The book is organized into three parts. Part I addresses ways to develop control abstractions that efficiently guide problem-solving; communication abstractions that yield cooperation; and description abstractions that result in effective organizational structure. Part II describes architectures for developing and testing DAI systems. Part III discusses applications of DAI in manufacturing, office automation, and man-machine interactions. This book is intended for researchers, system developers, and students in artificial intelligence and related disciplines. It can also be used as a reference for students and researchers in other disciplines, such as psychology, philosophy, robotics, and distributed computing, who wish to understand the issues of DAI.

Common LISP

• 2nd Edition
• June 15, 1984
• Guy Steele
• English
• eBook 978-0-08-050226-7

  9 7 8 - 0 - 0 8 - 0 5 0 2 2 6 - 7

The defacto standard - a must-have for all LISP programmers.In this greatly expanded edition of the defacto standard, you'll learn about the nearly 200 changes already made since original publication - and find out about gray areas likely to be revised later. Written by the Vice- Chairman of X3J13 (the ANSIcommittee responsible for the standardization of Common Lisp) and co-developer of the language itself, the new edition contains the entire text of the first edition plus six completely new chapters. They cover: - CLOS, the Common Lisp Object System, with new features to support function overloading and object-oriented programming, plus complete technical specifications * Loops, a powerful control structure for multiple variables * Conditions, a generalization of the error signaling mechanism * Series and generators * Plus other subjects not part of the ANSI standards but of interest to professional programmers. Throughout, you'll find fresh examples, additional clarifications, warnings, and tips - all presented with the author's customary vigor and wit.

Representation and Understanding

• 1st Edition
• September 28, 1975
• Jerry Bobrow
• English
• eBook 978-1-4832-9915-0

  9 7 8 - 1 - 4 8 3 2 - 9 9 1 5 - 0

Language, Thought, and Culture: Advances in the Study of Cognition: Representation and Understanding: Studies in Cognitive Science focuses on the principles, processes, and methodologies involved in artificial intelligence. The selection first offers information on the dimensions of representation, foundations for semantic networks, and reflections on the formal description of behavior. Discussions focus on relativity of behavioral description, hierarchical organization of processes, problems in knowledge representation, and inference, access, and self-awareness. The text then takes a look at the synthesis, analysis, and contingent knowledge in specialized understanding systems, some principles of memory schemata, and representing knowledge for recognition. The book examines frame representations and declarative/procedural controversy, schema for stories, and structure of episodes in memory. Topics include long-term memory, conceptual dependency, understanding paragraphs, simple story grammar, and first attempt at synthesis. The publication then ponders on concepts for representing mundane reality in plans and multiple representations of knowledge for tutorial reasoning. The selection is highly recommended for researchers interested in exploring artificial intelligence.

Symbolic Logic and Mechanical Theorem Proving

• 1st Edition
• May 28, 1973
• Chin-Liang Chang + 1 more
• English
• Hardback 978-0-12-170350-9

  9 7 8 - 0 - 1 2 - 1 7 0 3 5 0 - 9
• eBook 978-0-08-091728-3

  9 7 8 - 0 - 0 8 - 0 9 1 7 2 8 - 3

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.