𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Search in Artificial Intelligence

✍ Scribed by Vipin Kumar, Laveen N. Kanal (auth.), Laveen Kanal, Vipin Kumar (eds.)


Publisher
Springer-Verlag New York
Year
1988
Tongue
English
Leaves
490
Series
Symbolic Computation
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


Search is an important component of problem solving in artificial intelligence (AI) and, more generally, in computer science, engineering and operations research. Combinatorial optimization, decision analysis, game playing, learning, planning, pattern recognition, robotics and theorem proving are some of the areas in which search algbrithms playa key role. Less than a decade ago the conventional wisdom in artificial intelligence was that the best search algorithms had already been invented and the likelihood of finding new results in this area was very small. Since then many new insights and results have been obtained. For example, new algorithms for state space, AND/OR graph, and game tree search were discovered. Articles on new theoretical developments and experimental results on backtracking, heuristic search and constraint propagaΒ­ tion were published. The relationships among various search and combinatorial algorithms in AI, Operations Research, and other fields were clarified. This volume brings together some of this recent work in a manner designed to be accessible to students and professionals interested in these new insights and developments.

✦ Table of Contents


Front Matter....Pages i-x
The CDP: A Unifying Formulation for Heuristic Search, Dynamic Programming, and Branch-and-Bound....Pages 1-27
An Algebra for Search Problems and Their Solutions....Pages 28-90
A General Branch-and-Bound Formulation for AND/OR Graph and Game Tree Search....Pages 91-130
Average-Case Analysis of Heuristic Search in Tree-Like Networks....Pages 131-165
The Optimality of A*....Pages 166-199
Network Search Algorithms with Modifiable Heuristics....Pages 200-222
Optimal Path-Finding Algorithms....Pages 223-267
Developments with GPS....Pages 268-286
Tree Search and ARC Consistency in Constraint Satisfaction Algorithms....Pages 287-342
Backtrack-Free and Backtrack-Bounded Search....Pages 343-369
Network-Based Heuristics for Constraint-Satisfaction Problems....Pages 370-425
Fundamental Properties of Networks of Constraints: A New Formulation....Pages 426-449
Comparison of the Minimax and Product Back-Up Rules in a Variety of Games....Pages 450-471
Back Matter....Pages 473-482

✦ Subjects


Artificial Intelligence (incl. Robotics)


πŸ“œ SIMILAR VOLUMES


Search Methods in Artificial Intelligenc
✍ Deepak Khemani πŸ“‚ Library πŸ“… 2024 πŸ› Independently Published 🌐 English

"Artificial Intelligence as a subject has grabbed a lot of attention after getting a place in the All India Council for Technical Education's (AICTE) list of emerging areas. It was included as an elective/core subject in the undergraduate curriculum of the computer science program by many universiti

Artificial Intelligence in Manufacturing
✍ J. Paulo Davim πŸ“‚ Library πŸ“… 2009 πŸ› Nova Science Publishers, Incorporated 🌐 English

Artificial intelligence is a subfield of computer science concerned with understanding the nature of intelligence and constructing computer systems capable of intelligent action. Artificial intelligence can be applied to all systems and manufacturing processes.This book aims to provide the research

Artificial Intelligence Through Search
✍ Christopher James Thornton, Benedict du Boulay (auth.) πŸ“‚ Library πŸ“… 1992 πŸ› Springer Netherlands 🌐 English

<p>This is an important textbook on artificial intelligence that uses the unifying thread of search to bring together most of the major techniques used in symbolic artificial intelligence. The authors, aware of the pitfalls of being too general or too academic, have taken a practical approach in tha

Artificial Intelligence in Education
✍ S.P. Lajoie πŸ“‚ Library πŸ“… 1999 πŸ› IOS Press 🌐 English

This volume will be the proceedings for the 9th International Conference on Artificial Intelligence in Education (AI-ED 1999). This is one of a series of international conferences in this area and it is designed to report on state of the art research in the field of AI in education. This field is in