Author: Derek Long
Publisher:
ISBN:
Category :
Languages : en
Pages : 449
Book Description
ICAPS
ICAPS Proceedings
Author:
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 330
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 330
Book Description
ICAPS
ICAPS Proceedings, Thirteenth International Conference on Automated Planning, and Scheduling
Author: Enrico Giunchiglia
Publisher:
ISBN: 9781577351870
Category : Artificial intelligence
Languages : en
Pages : 306
Book Description
Publisher:
ISBN: 9781577351870
Category : Artificial intelligence
Languages : en
Pages : 306
Book Description
Proceedings of the Twentieth International Conference on Automated Planning and Scheduling (ICAPS-10)
Author: Ronen Brafman
Publisher:
ISBN: 9781577354499
Category :
Languages : en
Pages : 292
Book Description
Publisher:
ISBN: 9781577354499
Category :
Languages : en
Pages : 292
Book Description
Proceedings of the Nineteenth International Conference on Automated Planning and Scheduling (ICAPS-09)
Author: Alfonso Gerevini
Publisher:
ISBN: 9781577354062
Category :
Languages : en
Pages : 404
Book Description
Publisher:
ISBN: 9781577354062
Category :
Languages : en
Pages : 404
Book Description
Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006)
Author: Derek Long
Publisher:
ISBN: 9781577352709
Category :
Languages : en
Pages : 470
Book Description
Publisher:
ISBN: 9781577352709
Category :
Languages : en
Pages : 470
Book Description
ICAPS 2012
Author:
Publisher:
ISBN: 9781577355625
Category : Artificial intelligence
Languages : en
Pages : 374
Book Description
Considerable effort has been spent extending the scope of planning beyond propositional domains to include, for example, time and numbers. Each extension has been designed as a separate specific semantic enrichment of the underlying planning model, with its own syntax and customised integration into a planning algorithm. Inspired by work on SAT Modulo Theories (SMT) in the SAT community, we develop a modelling language and planner that treat arbitrary first order theories as parameters. We call the approach Planning Modulo Theories (PMT). We introduce a modular language to represent PMT problems and demonstrate its benefits over PDDL in expressivity and compactness. We present a generalisation of the hmax heuristic that allows our planner, PMTPlan, to automatically reason about arbitrary theories added as modules. Over several new and existing benchmarks, exploiting different theories, we show that PMTPlan can significantly out-perform an existing planner using PDDL models.
Publisher:
ISBN: 9781577355625
Category : Artificial intelligence
Languages : en
Pages : 374
Book Description
Considerable effort has been spent extending the scope of planning beyond propositional domains to include, for example, time and numbers. Each extension has been designed as a separate specific semantic enrichment of the underlying planning model, with its own syntax and customised integration into a planning algorithm. Inspired by work on SAT Modulo Theories (SMT) in the SAT community, we develop a modelling language and planner that treat arbitrary first order theories as parameters. We call the approach Planning Modulo Theories (PMT). We introduce a modular language to represent PMT problems and demonstrate its benefits over PDDL in expressivity and compactness. We present a generalisation of the hmax heuristic that allows our planner, PMTPlan, to automatically reason about arbitrary theories added as modules. Over several new and existing benchmarks, exploiting different theories, we show that PMTPlan can significantly out-perform an existing planner using PDDL models.
A Guided Tour of Artificial Intelligence Research
Author: Pierre Marquis
Publisher: Springer Nature
ISBN: 3030061671
Category : Computers
Languages : en
Pages : 529
Book Description
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.
Publisher: Springer Nature
ISBN: 3030061671
Category : Computers
Languages : en
Pages : 529
Book Description
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.
Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16)
Author: Ajith Abraham
Publisher: Springer
ISBN: 3319338161
Category : Technology & Engineering
Languages : en
Pages : 487
Book Description
This volume of Advances in Intelligent Systems and Computing contains papers presented in the main track of IITI 2016, the First International Conference on Intelligent Information Technologies for Industry held in May 16-21 in Sochi, Russia. The conference was jointly co-organized by Rostov State Transport University (Russia) and VŠB – Technical University of Ostrava (Czech Republic) with the participation of Russian Association for Artificial Intelligence (RAAI) and Russian Association for Fuzzy Systems and Soft Computing (RAFSSC). The volume is devoted to practical models and industrial applications related to intelligent information systems. The conference has been a meeting point for researchers and practitioners to enable the implementation of advanced information technologies into various industries. Nevertheless, some theoretical talks concerning the-state-of-the-art in intelligent systems and soft computing are included in the proceedings as well.
Publisher: Springer
ISBN: 3319338161
Category : Technology & Engineering
Languages : en
Pages : 487
Book Description
This volume of Advances in Intelligent Systems and Computing contains papers presented in the main track of IITI 2016, the First International Conference on Intelligent Information Technologies for Industry held in May 16-21 in Sochi, Russia. The conference was jointly co-organized by Rostov State Transport University (Russia) and VŠB – Technical University of Ostrava (Czech Republic) with the participation of Russian Association for Artificial Intelligence (RAAI) and Russian Association for Fuzzy Systems and Soft Computing (RAFSSC). The volume is devoted to practical models and industrial applications related to intelligent information systems. The conference has been a meeting point for researchers and practitioners to enable the implementation of advanced information technologies into various industries. Nevertheless, some theoretical talks concerning the-state-of-the-art in intelligent systems and soft computing are included in the proceedings as well.