Author: American Association for Artificial Intelligence
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 868

Get Book Here

Book Description

Author: Cognitive Science Society (U.S.). Conference
Publisher: Psychology Press
ISBN: 9780805809381
Category : Psychology
Languages : en
Pages : 554

Get Book Here

Book Description
First published in 1990. Routledge is an imprint of Taylor & Francis, an informa company.

Author: Ian Gent
Publisher:
ISBN: 9784274903632
Category : Computer algorithms
Languages : en
Pages : 568

Get Book Here

Book Description

Author: Nils J. Nilsson
Publisher: Morgan Kaufmann
ISBN: 1558604677
Category : Computers
Languages : en
Pages : 537

Get Book Here

Book Description
Nilsson employs increasingly capable intelligent agents in an evolutionary approach--a novel perspective from which to view and teach topics in artificial intelligence.

Author: Ian Miguel
Publisher: Springer Science & Business Media
ISBN: 9781852337643
Category : Computers
Languages : en
Pages : 346

Get Book Here

Book Description
First, I would like to thank my principal supervisor Dr Qiang Shen for all his help, advice and friendship throughout. Many thanks also to my second supervisor Dr Peter Jarvis for his enthusiasm, help and friendship. I would also like to thank the other members of the Approximate and Qualitative Reasoning group at Edinburgh who have also helped and inspired me. This project has been funded by an EPSRC studentship, award num ber 97305803. I would like, therefore, to extend my gratitude to EPSRC for supporting this work. Many thanks to the staff at Edinburgh University for all their help and support and for promptly fixing any technical problems that I have had . My whole family have been both encouraging and supportive throughout the completion of this book, for which I am forever indebted. York, April 2003 Ian Miguel Contents List of Figures XV 1 Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. 1 Solving Classical CSPs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1. 2 Applicat ions of Classical CSP . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1. 3 Limitations of Classical CSP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1. 3. 1 Flexible CSP 6 1. 3. 2 Dynamic CSP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1. 4 Dynamic Flexible CSP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 1. 5 Flexible Planning: a DFCSP Application . . . . . . . . . . . . . . . . . . 8 1. 6 Structure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 1. 7 Contributions and their Significance 11 2 The Constraint Satisfaction Problem 13 2. 1 Constraints and Constraint Graphs . . . . . . . . . . . . . . . . . . . . . . . 13 2. 2 Tree Search Solution Techniques for Classical CSP . . . . . . . . . . 16 2. 2. 1 Backtrack . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2. 2. 2 Backjumping . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2. 2. 3 Conflict-Directed Backjumping . . . . . . . . . . . . . . . . . . . . . 19 2. 2. 4 Backmarking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Author:
Publisher: IOS Press
ISBN:
Category :
Languages : en
Pages : 4947

Get Book Here

Book Description

Author: Alexander Nareyek
Publisher: Springer Science & Business Media
ISBN: 3540428984
Category : Business & Economics
Languages : en
Pages : 179

Get Book Here

Book Description
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Local Search for Planning and Scheduling, held at a satellite workshop of ECAI 2000 in Berlin, Germany in August 2000. The nine revised full papers presented together with an invited survey on meta-heuristics have gone through two rounds of reviewing and improvement. The papers are organized in topical sections on combinatorial optimization, planning with resources, and related approaches.

Author: Maximos A. Kaliakatsos-Papakostas
Publisher: Elsevier Inc. Chapters
ISBN: 0128068965
Category : Computers
Languages : en
Pages : 21

Get Book Here

Book Description
Automatic music composition has blossomed with the introduction of intelligent methodologies in computer science. Thereby, many methodologies for automatic music composition have been or could be described as “intelligent,” but what exactly is it that makes them intelligent? Furthermore, is there any categorization of intelligent music composition (IMC) methodologies that is both consistent and descriptive? This chapter aims to provide some insights on what IMC methodologies are, through proposing and analyzing a detailed categorization of them. Toward this perspective, methodologies that incorporate bioinspired intelligent algorithms (such as cellular automata, L-systems, genetic algorithms, swarm intelligence, among others) as well as their combinations are considered and briefly reviewed. At the same time, a consistent categorization of these methodologies is proposed, taking into account the utilization of their intelligent algorithm in accordance to their overall compositional aims. To this end, three main categories can be defined: the “unsupervised,” the “supervised,” and the “interactive” IMC methodologies.

Author: Xin-She Yang
Publisher: Newnes
ISBN: 0124051774
Category : Computers
Languages : en
Pages : 445

Get Book Here

Book Description
Swarm Intelligence and bio-inspired computation have become increasing popular in the last two decades. Bio-inspired algorithms such as ant colony algorithms, bat algorithms, bee algorithms, firefly algorithms, cuckoo search and particle swarm optimization have been applied in almost every area of science and engineering with a dramatic increase of number of relevant publications. This book reviews the latest developments in swarm intelligence and bio-inspired computation from both the theory and application side, providing a complete resource that analyzes and discusses the latest and future trends in research directions. It can help new researchers to carry out timely research and inspire readers to develop new algorithms. With its impressive breadth and depth, this book will be useful for advanced undergraduate students, PhD students and lecturers in computer science, engineering and science as well as researchers and engineers. - Focuses on the introduction and analysis of key algorithms - Includes case studies for real-world applications - Contains a balance of theory and applications, so readers who are interested in either algorithm or applications will all benefit from this timely book.

Author: John E. Laird
Publisher: MIT Press
ISBN: 0262538539
Category : Computers
Languages : en
Pages : 391

Get Book Here

Book Description
The definitive presentation of Soar, one AI's most enduring architectures, offering comprehensive descriptions of fundamental aspects and new components. In development for thirty years, Soar is a general cognitive architecture that integrates knowledge-intensive reasoning, reactive execution, hierarchical reasoning, planning, and learning from experience, with the goal of creating a general computational system that has the same cognitive abilities as humans. In contrast, most AI systems are designed to solve only one type of problem, such as playing chess, searching the Internet, or scheduling aircraft departures. Soar is both a software system for agent development and a theory of what computational structures are necessary to support human-level agents. Over the years, both software system and theory have evolved. This book offers the definitive presentation of Soar from theoretical and practical perspectives, providing comprehensive descriptions of fundamental aspects and new components. The current version of Soar features major extensions, adding reinforcement learning, semantic memory, episodic memory, mental imagery, and an appraisal-based model of emotion. This book describes details of Soar's component memories and processes and offers demonstrations of individual components, components working in combination, and real-world applications. Beyond these functional considerations, the book also proposes requirements for general cognitive architectures and explicitly evaluates how well Soar meets those requirements.