Download or read book A Concise Introduction to Models and Methods for Automated Planning written by Hector Radanovic and published by Springer Nature. This book was released on 2022-05-31 with total page 132 pages. Available in PDF, EPUB and Kindle. Book excerpt: Planning is the model-based approach to autonomous behavior where the agent behavior is derived automatically from a model of the actions, sensors, and goals. The main challenges in planning are computational as all models, whether featuring uncertainty and feedback or not, are intractable in the worst case when represented in compact form. In this book, we look at a variety of models used in AI planning, and at the methods that have been developed for solving them. The goal is to provide a modern and coherent view of planning that is precise, concise, and mostly self-contained, without being shallow. For this, we make no attempt at covering the whole variety of planning approaches, ideas, and applications, and focus on the essentials. The target audience of the book are students and researchers interested in autonomous behavior and planning from an AI, engineering, or cognitive science perspective. Table of Contents: Preface / Planning and Autonomous Behavior / Classical Planning: Full Information and Deterministic Actions / Classical Planning: Variations and Extensions / Beyond Classical Planning: Transformations / Planning with Sensing: Logical Models / MDP Planning: Stochastic Actions and Full Feedback / POMDP Planning: Stochastic Actions and Partial Feedback / Discussion / Bibliography / Author's Biography

Download or read book A Concise Introduction to Models and Methods for Automated Planning written by Hector Geffner and published by Morgan & Claypool Publishers. This book was released on 2013-06-01 with total page 143 pages. Available in PDF, EPUB and Kindle. Book excerpt: Planning is the model-based approach to autonomous behavior where the agent behavior is derived automatically from a model of the actions, sensors, and goals. The main challenges in planning are computational as all models, whether featuring uncertainty and feedback or not, are intractable in the worst case when represented in compact form. In this book, we look at a variety of models used in AI planning, and at the methods that have been developed for solving them. The goal is to provide a modern and coherent view of planning that is precise, concise, and mostly self-contained, without being shallow. For this, we make no attempt at covering the whole variety of planning approaches, ideas, and applications, and focus on the essentials. The target audience of the book are students and researchers interested in autonomous behavior and planning from an AI, engineering, or cognitive science perspective. Table of Contents: Preface / Planning and Autonomous Behavior / Classical Planning: Full Information and Deterministic Actions / Classical Planning: Variations and Extensions / Beyond Classical Planning: Transformations / Planning with Sensing: Logical Models / MDP Planning: Stochastic Actions and Full Feedback / POMDP Planning: Stochastic Actions and Partial Feedback / Discussion / Bibliography / Author's Biography

Download or read book Knowledge Engineering Tools and Techniques for AI Planning written by Mauro Vallati and published by Springer Nature. This book was released on 2020-03-25 with total page 277 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a comprehensive review for Knowledge Engineering tools and techniques that can be used in Artificial Intelligence Planning and Scheduling. KE tools can be used to aid in the acquisition of knowledge and in the construction of domain models, which this book will illustrate. AI planning engines require a domain model which captures knowledge about how a particular domain works - e.g. the objects it contains and the available actions that can be used. However, encoding a planning domain model is not a straightforward task - a domain expert may be needed for their insight into the domain but this information must then be encoded in a suitable representation language. The development of such domain models is both time-consuming and error-prone. Due to these challenges, researchers have developed a number of automated tools and techniques to aid in the capture and representation of knowledge. This book targets researchers and professionals working in knowledge engineering, artificial intelligence and software engineering. Advanced-level students studying AI will also be interested in this book.

Download or read book Automated Planning and Acting written by Malik Ghallab and published by Cambridge University Press. This book was released on 2016-08-09 with total page 373 pages. Available in PDF, EPUB and Kindle. Book excerpt: Autonomous AI systems need complex computational techniques for planning and performing actions. Planning and acting require significant deliberation because an intelligent system must coordinate and integrate these activities in order to act effectively in the real world. This book presents a comprehensive paradigm of planning and acting using the most recent and advanced automated-planning techniques. It explains the computational deliberation capabilities that allow an actor, whether physical or virtual, to reason about its actions, choose them, organize them purposefully, and act deliberately to achieve an objective. Useful for students, practitioners, and researchers, this book covers state-of-the-art planning techniques, acting techniques, and their integration which will allow readers to design intelligent systems that are able to act effectively in the real world.

Download or read book An Introduction to the Planning Domain Definition Language written by Patrik Haslum and published by Morgan & Claypool Publishers. This book was released on 2019-04-02 with total page 189 pages. Available in PDF, EPUB and Kindle. Book excerpt: Planning is the branch of Artificial Intelligence (AI) that seeks to automate reasoning about plans, most importantly the reasoning that goes into formulating a plan to achieve a given goal in a given situation. AI planning is model-based: a planning system takes as input a description (or model) of the initial situation, the actions available to change it, and the goal condition to output a plan composed of those actions that will accomplish the goal when executed from the initial situation. The Planning Domain Definition Language (PDDL) is a formal knowledge representation language designed to express planning models. Developed by the planning research community as a means of facilitating systems comparison, it has become a de-facto standard input language of many planning systems, although it is not the only modelling language for planning. Several variants of PDDL have emerged that capture planning problems of different natures and complexities, with a focus on deterministic problems. The purpose of this book is two-fold. First, we present a unified and current account of PDDL, covering the subsets of PDDL that express discrete, numeric, temporal, and hybrid planning. Second, we want to introduce readers to the art of modelling planning problems in this language, through educational examples that demonstrate how PDDL is used to model realistic planning problems. The book is intended for advanced students and researchers in AI who want to dive into the mechanics of AI planning, as well as those who want to be able to use AI planning systems without an in-depth explanation of the algorithms and implementation techniques they use.

Download or read book Artificial Intelligence Research and Development written by A. Nebot and published by IOS Press. This book was released on 2016-09-21 with total page 328 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Catalan Association for Artificial Intelligence (ACIA) was formed in 1994 with the aim of promoting cooperation between researchers in artificial intelligence within the Catalan speaking community. This objective has been achieved and widened since the association held their first conference in 1998, and the annual conference of the association has become an international event presenting and discussing the latest research in AI, which attracts AI researchers from around the world. This book presents the proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence (CCIA 2016), held in Barcelona, Spain, on 19-21 October. From a total of 50 original contributions, 16 long papers and 22 short papers were accepted for presentation at the conference on the basis of their relevance, originality and technical validity. The book is divided into 7 sections: Invited Talks (synopsis only); Vision and Robotics; Logic, Constraint Satisfaction and Qualitative Theory; Classification and Clustering; Modelling; Planning and Recommender Systems; Lexical Knowledge Representation and Natural Language Processing. Providing an overview of the latest developments in the field, this book will be of interest to all those whose work involves research into, and the application of, artificial intelligence.

Download or read book Automated Planning written by Malik Ghallab and published by Elsevier. This book was released on 2004-05-21 with total page 635 pages. Available in PDF, EPUB and Kindle. Book excerpt: Automated planning technology now plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. These real-world applications create new opportunities for synergy between theory and practice: observing what works well in practice leads to better theories of planning, and better theories lead to better performance of practical applications. Automated Planning mirrors this dialogue by offering a comprehensive, up-to-date resource on both the theory and practice of automated planning. The book goes well beyond classical planning, to include temporal planning, resource scheduling, planning under uncertainty, and modern techniques for plan generation, such as task decomposition, propositional satisfiability, constraint satisfaction, and model checking. The authors combine over 30 years experience in planning research and development to offer an invaluable text to researchers, professionals, and graduate students. Provides a thorough understanding of AI planning theory and practice, and how they relate to each other Covers all the contemporary topics of planning, as well as important practical applications of planning, such as model checking and game playing Presents case studies and applications in planning engineering, space, robotics, CAD/CAM, process control, emergency operations, and games Provides lecture notes, examples of programming assignments, pointers to downloadable planning systems and related information online

Download or read book AI IA 2019 Advances in Artificial Intelligence written by Mario Alviano and published by Springer Nature. This book was released on 2019-11-16 with total page 611 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the XVIIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2019, held in Rende, Italy, in November 2019. The 41 full papers were carefully reviewed and selected from 67 submissions. The papers have been organized in the following topical sections: Knowledge Representation for AI, AI and Computation, Machine Learning for AI, and AI and Humans.

Download or read book ECAI 2023 written by K. Gal and published by IOS Press. This book was released on 2023-10-18 with total page 3328 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrate innovative applications and uses of advanced AI technology. ECAI 2023 received 1896 submissions – a record number – of which 1691 were retained for review, ultimately resulting in an acceptance rate of 23%. The 390 papers included here, cover topics including machine learning, natural language processing, multi agent systems, and vision and knowledge representation and reasoning. PAIS 2023 received 17 submissions, of which 10 were accepted after a rigorous review process. Those 10 papers cover topics ranging from fostering better working environments, behavior modeling and citizen science to large language models and neuro-symbolic applications, and are also included here. Presenting a comprehensive overview of current research and developments in AI, the book will be of interest to all those working in the field.

Download or read book Introduction to Symbolic Plan and Goal Recognition written by Reuth Reuth Mirsky and published by Springer Nature. This book was released on 2022-05-31 with total page 100 pages. Available in PDF, EPUB and Kindle. Book excerpt: Plan recognition, activity recognition, and goal recognition all involve making inferences about other actors based on observations of their interactions with the environment and other agents. This synergistic area of research combines, unites, and makes use of techniques and research from a wide range of areas including user modeling, machine vision, automated planning, intelligent user interfaces, human-computer interaction, autonomous and multi-agent systems, natural language understanding, and machine learning. It plays a crucial role in a wide variety of applications including assistive technology, software assistants, computer and network security, human-robot collaboration, natural language processing, video games, and many more. This wide range of applications and disciplines has produced a wealth of ideas, models, tools, and results in the recognition literature. However, it has also contributed to fragmentation in the field, with researchers publishing relevant results in a wide spectrum of journals and conferences. This book seeks to address this fragmentation by providing a high-level introduction and historical overview of the plan and goal recognition literature. It provides a description of the core elements that comprise these recognition problems and practical advice for modeling them. In particular, we define and distinguish the different recognition tasks. We formalize the major approaches to modeling these problems using a single motivating example. Finally, we describe a number of state-of-the-art systems and their extensions, future challenges, and some potential applications.

Download or read book Logics in Artificial Intelligence written by Eduardo Fermé and published by Springer. This book was released on 2014-09-16 with total page 719 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. They are organized in topical sections named: description logics; automated reasoning; logics for uncertain reasoning; non-classical logics; answer-set programming; belief revision; dealing with inconsistency in ASP and DL; reason about actions and causality; system descriptions; short system descriptions; and short papers. The book also contains 4 full paper invited talks.

Download or read book Coordination Organizations Institutions Norms and Ethics for Governance of Multi Agent Systems XIV written by Andreas Theodorou and published by Springer Nature. This book was released on 2022-10-14 with total page 167 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes revised selected papers from the thoroughly refereed proceedings of the International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV, COINE 2021, held in London, UK, May 3, 2021. The 9 full papers included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Invited talk; conceptual frameworks architectures for collaboration and coordination; and modelling and understanding social behaviour using COINE technologies.

Download or read book Proceedings of the Third International Scientific Conference Intelligent Information Technologies for Industry IITI 18 written by Ajith Abraham and published by Springer. This book was released on 2018-12-05 with total page 450 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book contains papers presented in the main track of IITI 2018, the Third International Scientific Conference on Intelligent Information Technologies for Industry held in Sochi, Russia on September 17–21. 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). IITI 2018 was devoted to practical models and industrial applications related to intelligent information systems. It was considered as 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 were also included into proceedings.

Download or read book Biologically Inspired Cognitive Architectures 2018 written by Alexei V. Samsonovich and published by Springer. This book was released on 2018-08-23 with total page 362 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book focuses on original approaches intended to support the development of biologically inspired cognitive architectures. It bridges together different disciplines, from classical artificial intelligence to linguistics, from neuro- and social sciences to design and creativity, among others. The chapters, based on contributions presented at the Ninth Annual Meeting of the BICA Society, held in on August 23-24, 2018, in Prague, Czech Republic, discuss emerging methods, theories and ideas towards the realization of general-purpose humanlike artificial intelligence or fostering a better understanding of the ways the human mind works. All in all, the book provides engineers, mathematicians, psychologists, computer scientists and other experts with a timely snapshot of recent research and a source of inspiration for future developments in the broadly intended areas of artificial intelligence and biological inspiration.

Download or read book Artificial Intelligence for Knowledge Management Energy and Sustainability written by Eunika Mercier-Laurent and published by Springer Nature. This book was released on 2022-02-27 with total page 231 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book features a selection of extended papers presented at the 9th IFIP WG 12.6 International Workshop on Artificial Intelligence for Knowledge Management, AI4KM 2021, and the 1st International Workshop on Energy and Sustainability, AIES 2021, named AI4KMES 2021 and held in conjunction with IJCAI 2021 in August 2021. The conference was planned to take place in Montréal, Canada, but changed to an online event due to the COVID-19 pandemic. The 15 papers included in this book were carefully reviewed and selected from 17 submissions. They deal with knowledge management and sustainability challenges, focusing on methodological, technical and organizational aspects of AI used for facing related complex problems. This year's topic was AI for Knowledge Management, Energy and Sustainable Future.

Download or read book Intelligent Systems and Applications written by Kohei Arai and published by Springer. This book was released on 2018-11-07 with total page 1292 pages. Available in PDF, EPUB and Kindle. Book excerpt: Gathering the Proceedings of the 2018 Intelligent Systems Conference (IntelliSys 2018), this book offers a remarkable collection of chapters covering a wide range of topics in intelligent systems and computing, and their real-world applications. The Conference attracted a total of 568 submissions from pioneering researchers, scientists, industrial engineers, and students from all around the world. These submissions underwent a double-blind peer review process, after which 194 (including 13 poster papers) were selected to be included in these proceedings. As intelligent systems continue to replace and sometimes outperform human intelligence in decision-making processes, they have made it possible to tackle many problems more effectively. This branching out of computational intelligence in several directions, and the use of intelligent systems in everyday applications, have created the need for such an international conference, which serves as a venue for reporting on cutting-edge innovations and developments. This book collects both theory and application-based chapters on all aspects of artificial intelligence, from classical to intelligent scope. Readers are sure to find the book both interesting and valuable, as it presents state-of-the-art intelligent methods and techniques for solving real-world problems, along with a vision of future research directions.

Download or read book Artificial Intelligence written by Sergei O. Kuznetsov and published by Springer. This book was released on 2018-09-07 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 16th Russian Conference on Artificial Intelligence, RCAI 2018, Moscow, Russia, in September 2018. The 22 full papers presented along with 4 short papers in this volume were carefully reviewed and selected from 75 submissions. The conference deals with a wide range of topics, including data mining and knowledge discovery, text mining, reasoning, decision making, natural language processing, vision, intelligent robotics, multi-agent systems, machine learning, ontology engineering.