Synopsis
This book on AI research and development presents a wide range of topics of interest, including automated reasoning: 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 AI: logics for knowledge, belief and intention, multi-valued logics, modal and temporal logics, epistemic logics, fuzzy logics. Languages, structures and algorithms for AI: logic programming, inductive logic programming, constraint programming, multi-agent systems, connectionist systems, genetic algorithms, parallel processing for AI. Knowledge-based systems: languages and systems for representing knowledge, object-based knowledge representation systems, knowledge acquisition, validation of knowledge-based systems. Natural language processing: syntax, semantics, discourse, speech recognition and understanding, natural language generation, natural language front ends. Perception and action: computer vision, object recognition, stereo vision, active vision, robotics systems, robot programming, robot motion planning, mobile robotics, behavior-based reactive robots. Principles of AI applications: 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.
"About this title" may belong to another edition of this title.