Generating Abstraction Hierarchies PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Generating Abstraction Hierarchies PDF full book. Access full book title Generating Abstraction Hierarchies by Craig A. Knoblock. Download full books in PDF and EPUB format.
Author: Craig A. Knoblock
Publisher: Springer Science & Business Media
ISBN: 1461531527
Category : Computers
Languages : en
Pages : 179
Get Book Here
Book Description
Generating Abstraction Hierarchies presents a completely automated approach to generating abstractions for problem solving. The abstractions are generated using a tractable, domain-independent algorithm whose only inputs are the definition of a problem space and the problem to be solved and whose output is an abstraction hierarchy that is tailored to the particular problem. The algorithm generates abstraction hierarchies that satisfy the `ordered monotonicity' property, which guarantees that the structure of an abstract solution is not changed in the process of refining it. An abstraction hierarchy with this property allows a problem to be decomposed such that the solution in an abstract space can be held invariant while the remaining parts of a problem are solved. The algorithm for generating abstractions is implemented in a system called ALPINE, which generates abstractions for a hierarchical version of the PRODIGY problem solver. Generating Abstraction Hierarchies formally defines this hierarchical problem solving method, shows that under certain assumptions this method can reduce the size of a search space from exponential to linear in the solution size, and describes the implementation of this method in PRODIGY. The abstractions generated by ALPINE are tested in multiple domains on large problem sets and are shown to produce shorter solutions with significantly less search than problem solving without using abstraction. Generating Abstraction Hierarchies will be of interest to researchers in machine learning, planning and problem reformation.
Author: Craig A. Knoblock
Publisher: Springer Science & Business Media
ISBN: 1461531527
Category : Computers
Languages : en
Pages : 179
Get Book Here
Book Description
Generating Abstraction Hierarchies presents a completely automated approach to generating abstractions for problem solving. The abstractions are generated using a tractable, domain-independent algorithm whose only inputs are the definition of a problem space and the problem to be solved and whose output is an abstraction hierarchy that is tailored to the particular problem. The algorithm generates abstraction hierarchies that satisfy the `ordered monotonicity' property, which guarantees that the structure of an abstract solution is not changed in the process of refining it. An abstraction hierarchy with this property allows a problem to be decomposed such that the solution in an abstract space can be held invariant while the remaining parts of a problem are solved. The algorithm for generating abstractions is implemented in a system called ALPINE, which generates abstractions for a hierarchical version of the PRODIGY problem solver. Generating Abstraction Hierarchies formally defines this hierarchical problem solving method, shows that under certain assumptions this method can reduce the size of a search space from exponential to linear in the solution size, and describes the implementation of this method in PRODIGY. The abstractions generated by ALPINE are tested in multiple domains on large problem sets and are shown to produce shorter solutions with significantly less search than problem solving without using abstraction. Generating Abstraction Hierarchies will be of interest to researchers in machine learning, planning and problem reformation.
Author: Cipriano Galindo
Publisher: Springer
ISBN: 354072690X
Category : Technology & Engineering
Languages : en
Pages : 184
Get Book Here
Book Description
This book focuses on the performance of mobile robots through the use of multi-hierarchical symbolic representations of the environment. To perform deliberative actions, a robot must possess some symbolic representation of its workspace, but representations of real environments can become so large that they must be conveniently arranged to facilitate and, in some cases, make possible their use. Practical solutions tested on real robots, for example a robotic wheelchair, are provided.
Author: James Hendler
Publisher: Elsevier
ISBN: 0080499449
Category : Computers
Languages : en
Pages : 327
Get Book Here
Book Description
Artificial Intelligence Planning Systems documents the proceedings of the First International Conference on AI Planning Systems held in College Park, Maryland on June 15-17, 1992. This book discusses the abstract probabilistic modeling of action; building symbolic primitives with continuous control routines; and systematic adaptation for case-based planning. The analysis of ABSTRIPS; conditional nonlinear planning; and building plans to monitor and exploit open-loop and closed-loop dynamics are also elaborated. This text likewise covers the modular utility representation for decision-theoretic planning; reaction and reflection in tetris; and planning in intelligent sensor fusion. Other topics include the resource-bounded adaptive agent, critical look at Knoblock's hierarchy mechanism, and traffic laws for mobile robots. This publication is beneficial to students and researchers conducting work on AI planning systems.
Author: Jean-Daniel Zucker
Publisher: Springer Science & Business Media
ISBN: 3540278729
Category : Computers
Languages : en
Pages : 387
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 6th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2005, held in Airth Castle, Scotland, UK in July 2005. The 17 revised full papers and 8 extended abstracts were carefully reviewed and selected for inclusion in the book. Also included are 3 invited papers and 8 research summaries. All current aspects of abstraction, reformulation, and approximation in the context of human common-sense reasoning, problem solving, and efficiently reasoning in complex domains are addressed. Among the application fields of these techniques are automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving.
Author: Bruno Buchberger
Publisher: Springer
ISBN: 3540302107
Category : Computers
Languages : en
Pages : 295
Get Book Here
Book Description
AISC 2004, the 7th International Conference on Artificial Intelligence and Symbolic Computation, was the latest in the series of specialized biennial conferences founded in 1992 by Jacques Calmet of the Universitat ̈ Karlsruhe and John Campbell of University College London with the initial title Artificial Intelligence and Symbolic Mathematical Computing (AISMC).The M disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 proceedings said, the organizers of the current meeting decided to drop the adjective 'mathematical' and to emphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended profile of the series, and will figure in the call for papers for AISC 2006,which is intended to take place in China. The distribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an effect that emerged because we were concerned to select the best relevant papers that were offered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchers over the entire spectrum of AISC, as expressed by the 1998 quotation above,to be in touch with us about their interests and the possibility of eventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the field of AISC. Additionally, there are two reasons for optimism about the continuation of this situation.
Author: Ramon López de Mántaras
Publisher: IOS Press
ISBN: 9781586034528
Category : Computers
Languages : en
Pages : 1184
Get Book Here
Book Description
This is the Golden Age for Artificial Intelligence. The world is becoming increasingly automated and wired together. This also increases the opportunities for AI to help people and commerce. Almost every sub field of AI had now been used in substantial applications. Some of the fields highlighted in this publication are: CBR Technology; Model Based Systems; Data Mining and Natural Language Techniques. Not only does this publication show the activities, capabilities and accomplishments of the sub fields, it also focuses on what is happening across the field as a whole.
Author: Hujun Yin
Publisher: Springer Science & Business Media
ISBN: 3540772251
Category : Computers
Languages : en
Pages : 1192
Get Book Here
Book Description
Annotation This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2007, held in Birmingham, UK, in December 2007. The 170 revised full papers presented were carefully reviewed and selected from more than 270 submissions. The papers are organized in topical sections on learning and information processing, data mining and information management, bioinformatics and neuroinformatics, agents and distributed systems, financial engineering and modeling, agent-based approach to service sciences, as well as neural-evolutionary fusion algorithms and their applications.
Author: Qiang Yang
Publisher: Springer Science & Business Media
ISBN: 3642606180
Category : Computers
Languages : en
Pages : 263
Get Book Here
Book Description
"The central fact is that we are planning agents." (M. Bratman, Intentions, Plans, and Practical Reasoning, 1987, p. 2) Recent arguments to the contrary notwithstanding, it seems to be the case that people-the best exemplars of general intelligence that we have to date do a lot of planning. It is therefore not surprising that modeling the planning process has always been a central part of the Artificial Intelligence enterprise. Reasonable behavior in complex environments requires the ability to consider what actions one should take, in order to achieve (some of) what one wants and that, in a nutshell, is what AI planning systems attempt to do. Indeed, the basic description of a plan generation algorithm has remained constant for nearly three decades: given a desciption of an initial state I, a goal state G, and a set of action types, find a sequence S of instantiated actions such that when S is executed instate I, G is guaranteed as a result. Working out the details of this class of algorithms, and making the elabora tions necessary for them to be effective in real environments, have proven to be bigger tasks than one might have imagined.
Author: Cristiano Castelfranchi
Publisher: Springer Science & Business Media
ISBN: 9783540582663
Category : Computers
Languages : en
Pages : 364
Get Book Here
Book Description
This volume contains thoroughly refereed versions of the best papers presented at the 4th European Workshop on Modelling Automomous Agents in a Multi-Agent World, held July 29 - 31, 1992 in S. Martino al Cimino, Italy. The book opens with an introductory survey by the volume editors not only on the collection of papers but also on the history and present situation of Distributed Artificial Intelligence (DAI) and its interdisciplinary relations to social sciences, artificial life, and economics. The 19 technical papers are organized into sections on artificial life and reactive systems, economics and game theory, coordination and multi-agent planning, and DAI tools and applications.
Author: Nada Lavrač
Publisher: Springer Science & Business Media
ISBN: 9783540592860
Category : Computers
Languages : en
Pages : 388
Get Book Here
Book Description
This volume constitutes the proceedings of the Eighth European Conference on Machine Learning ECML-95, held in Heraclion, Crete in April 1995. Besides four invited papers the volume presents revised versions of 14 long papers and 26 short papers selected from a total of 104 submissions. The papers address all current aspects in the area of machine learning; also logic programming, planning, reasoning, and algorithmic issues are touched upon.
