Artificial Intelligence: Methodology, Systems, Applications

by Allan Ramsay

This book on AI research and development presents a wide range of topics of interest, including automated theorem proving, reasoning about action and change, reasoning about time and space, constraint satisfaction, reasoning on uncertainty and with fuzzy sets, analogy and induction, machine learning. Logics for logics for knowledge, belief and intention, multi-valued logics, modal and temporal logics, epistemic logics, fuzzy logics. Languages, structures and algorithms for logic programming, inductive logic programming, constraint programming, multi-agent systems, connectionist systems, genetic algorithms, parallel processing for AI. Knowledge-based languages and systems for representing knowledge, object-based knowledge representation systems, knowledge acquisition, validation of knowledge-based systems. Natural language syntax, semantics, discourse, speech recognition and understanding, natural language generation, natural language front ends. Perception and computer vision, object recognition, stereo vision, active vision, robotics systems, robot programming, robot motion planning, mobile robotics, behavior-based reactive robots. Principles of AI AI for decision systems, AI in education, AI in engineering design, AI in manufacturing control, AI in medicine, AI in molecular biology, AI in environmental sciences.

352 pages, Paperback

First published January 1, 1996