A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms

  • 11h 27m
  • Henri Prade, Odile Papini, Pierre Marquis
  • Springer
  • 2020

The purpose of this book is to provide an overview of AI research, ranging from basic work to interfaces and applications, with as much emphasis on results as on current issues. It is aimed at an audience of master students and Ph.D. students, and can be of interest as well for researchers and engineers who want to know more about AI. The book is split into three volumes:

  • - the first volume brings together twenty-three chapters dealing with the foundations of knowledge representation and the formalization of reasoning and learning (Volume 1. Knowledge representation, reasoning and learning)
  • - the second volume offers a view of AI, in fourteen chapters, from the side of the algorithms (Volume 2. AI Algorithms)
  • - the third volume, composed of sixteen chapters, describes the main interfaces and applications of AI (Volume 3. Interfaces and applications of AI).

This second volume presents the main families of algorithms developed or used in AI to learn, to infer, to decide. Generic approaches to problem solving are presented: ordered heuristic search, as well as metaheuristics are considered. Algorithms for processing logic-based representations of various types (first-order formulae, propositional formulae, logic programs, etc.) and graphical models of various types (standard constraint networks, valued ones, Bayes nets, Markov random fields, etc.) are presented. The volume also focuses on algorithms which have been developed to simulate specific ‘intelligent” processes such as planning, playing, learning, and extracting knowledge from data. Finally, an afterword draws a parallel between algorithmic problems in operation research and in AI.

In this Book

  • General Presentation of the Guided Tour of Artificial Intelligence Research
  • Foreword—Algorithms for Artificial Intelligence
  • Heuristically Ordered Search in State Graphs
  • Meta-Heuristics and Artificial Intelligence
  • Automated Deduction
  • Logic Programming
  • Reasoning with Propositional Logic—From SAT Solvers to Knowledge Compilation
  • Constraint Reasoning
  • Valued Constraint Satisfaction Problems
  • Belief Graphical Models for Uncertainty Representation and Reasoning
  • Languages for Probabilistic Modeling Over Structured and Relational Domains
  • Planning in Artificial Intelligence
  • Artificial Intelligence for Games
  • Designing Algorithms for Machine Learning and Data Mining
  • Formal Concept Analysis—From Knowledge Discovery to Knowledge Processing
  • Constrained Clustering—Current and New Trends
  • Afterword—Artificial Intelligence and Operations Research
SHOW MORE
FREE ACCESS

YOU MIGHT ALSO LIKE

Rating 4.5 of 129 users Rating 4.5 of 129 users (129)
Rating 4.6 of 18 users Rating 4.6 of 18 users (18)