Generating Abstraction Hierarchies

Generating Abstraction Hierarchies
Author :
Publisher : Springer Science & Business Media
Total Pages : 179
Release :
ISBN-10 : 9781461531524
ISBN-13 : 1461531527
Rating : 4/5 (24 Downloads)

Synopsis Generating Abstraction Hierarchies by : Craig A. Knoblock

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.

Generating Abstraction Hierarchies

Generating Abstraction Hierarchies
Author :
Publisher : Springer Science & Business Media
Total Pages : 194
Release :
ISBN-10 : 0792393104
ISBN-13 : 9780792393108
Rating : 4/5 (04 Downloads)

Synopsis Generating Abstraction Hierarchies by : Craig Knoblock

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.

Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments

Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments
Author :
Publisher : Springer
Total Pages : 184
Release :
ISBN-10 : 9783540726906
ISBN-13 : 354072690X
Rating : 4/5 (06 Downloads)

Synopsis Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments by : Cipriano Galindo

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.

Artificial Intelligence Planning Systems

Artificial Intelligence Planning Systems
Author :
Publisher : Elsevier
Total Pages : 327
Release :
ISBN-10 : 9780080499444
ISBN-13 : 0080499449
Rating : 4/5 (44 Downloads)

Synopsis Artificial Intelligence Planning Systems by : James Hendler

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.

Abstraction, Reformulation and Approximation

Abstraction, Reformulation and Approximation
Author :
Publisher : Springer Science & Business Media
Total Pages : 387
Release :
ISBN-10 : 9783540278726
ISBN-13 : 3540278729
Rating : 4/5 (26 Downloads)

Synopsis Abstraction, Reformulation and Approximation by : Jean-Daniel Zucker

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.

Abstraction in Artificial Intelligence and Complex Systems

Abstraction in Artificial Intelligence and Complex Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 488
Release :
ISBN-10 : 9781461470526
ISBN-13 : 1461470528
Rating : 4/5 (26 Downloads)

Synopsis Abstraction in Artificial Intelligence and Complex Systems by : Lorenza Saitta

Abstraction is a fundamental mechanism underlying both human and artificial perception, representation of knowledge, reasoning and learning. This mechanism plays a crucial role in many disciplines, notably Computer Programming, Natural and Artificial Vision, Complex Systems, Artificial Intelligence and Machine Learning, Art, and Cognitive Sciences. This book first provides the reader with an overview of the notions of abstraction proposed in various disciplines by comparing both commonalities and differences. After discussing the characterizing properties of abstraction, a formal model, the KRA model, is presented to capture them. This model makes the notion of abstraction easily applicable by means of the introduction of a set of abstraction operators and abstraction patterns, reusable across different domains and applications. It is the impact of abstraction in Artificial Intelligence, Complex Systems and Machine Learning which creates the core of the book. A general framework, based on the KRA model, is presented, and its pragmatic power is illustrated with three case studies: Model-based diagnosis, Cartographic Generalization, and learning Hierarchical Hidden Markov Models.

Advances in Artificial Intelligence

Advances in Artificial Intelligence
Author :
Publisher : Springer
Total Pages : 447
Release :
ISBN-10 : 9783642210433
ISBN-13 : 3642210430
Rating : 4/5 (33 Downloads)

Synopsis Advances in Artificial Intelligence by : Cory Butz

This book constitutes the refereed proceedings of the 24th Conference on Artificial Intelligence, Canadian AI 2011, held in St. John’s, Canada, in May 2011. The 23 revised full papers presented together with 22 revised short papers and 5 papers from the graduate student symposium were carefully reviewed and selected from 81 submissions. The papers cover a broad range of topics presenting original work in all areas of artificial intelligence, either theoretical or applied.

Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning
Author :
Publisher : Springer Science & Business Media
Total Pages : 375
Release :
ISBN-10 : 9783540207214
ISBN-13 : 354020721X
Rating : 4/5 (14 Downloads)

Synopsis Logic Programming and Nonmonotonic Reasoning by : Vladimir Lifschitz

This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.

Machine Learning Proceedings 1989

Machine Learning Proceedings 1989
Author :
Publisher : Morgan Kaufmann
Total Pages : 521
Release :
ISBN-10 : 9781483297408
ISBN-13 : 1483297403
Rating : 4/5 (08 Downloads)

Synopsis Machine Learning Proceedings 1989 by : Alberto Maria Segre

Machine Learning Proceedings 1989

IPng, Internet Protocol Next Generation

IPng, Internet Protocol Next Generation
Author :
Publisher : Addison-Wesley Professional
Total Pages : 376
Release :
ISBN-10 : 0201633957
ISBN-13 : 9780201633955
Rating : 4/5 (57 Downloads)

Synopsis IPng, Internet Protocol Next Generation by : Scott O. Bradner

Members of the Internet Engineering Task Force (IETF) and others explain the history and outcome of efforts in developing IPng technology, offering an insider's view of the rationale behind IPng and its ramifications across industries. They review IPng proposals, overview technical criteria and the resulting current IPv6 protocol, and explore IPng's impact in areas such as the military, cable TV, and corporate networking. For technology watchers, technical managers, and networking and communications professionals. Annotation copyright by Book News, Inc., Portland, OR