Paolo Traverso - Böcker

AI's next big challenge is to master the cognitive abilities needed by intelligent agents that perform actions. Such agents may be physical devices such as robots, or they may act in simulated or virtual environments through graphic animation or electronic web transactions. This book is about integrating and automating these essential cognitive abilities: planning what actions to undertake and under what conditions, acting (choosing what steps to execute, deciding how and when to execute them, monitoring their execution, and reacting to events), and learning about ways to act and plan. This comprehensive, coherent synthesis covers a range of state-of-the-art approaches and models -deterministic, probabilistic (including MDP and reinforcement learning), hierarchical, nondeterministic, temporal, spatial, and LLMs -and applications in robotics. The insights it provides into important techniques and research challenges will make it invaluable to researchers and practitioners in AI, robotics, cognitive science, and autonomous and interactive systems.

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.

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

This book constitutes the refereed proceedings of the XVIIth International Conference of the Italian Association for Artificial Intelligence, AI*IA 2018, held in Trento, Italy, in November 2018. The 41 full papers were carefully reviewed and selected from 67 submissions.  The papers have been organized in the following topical sections: Agents and Multi-Agent Systems; Applications of AI; Knowledge Engineering, Ontologies and the Semantic Web; Knowledge Representation and Reasoning; Machine Learning; Natural Language Processing; Planning and Scheduling; and Recommendation Systems and Decision Making.

This book constitutes revised selected papers from  the 12th International Conference on Web Information Systems and Technologies, WEBIST 2016, held in Rome, Italy, April 23-25, 2016, organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC).The purpose of the WEBIST series of conferences is to bring together researches, engineers and practitioners interested in technological advances and business applications of web-based information systems.The 9 full papers presented in this volume were carefully reviewed and selected originally 123 paper submissions. They contribute to the understanding of relevant trends of current research on Web Information Systems and Technologies, comprising recommender systems, sentiment analysis, ranking, and Web applications and Web architecture.

This book constitutes revised selected papers from the 13th International Conference on Web Information Systems and Technologies, WEBIST 2017, held in Porto, Portugal, in April 2017.The purpose of the WEBIST series of conferences is to bring together researches, engineers and practitioners interested in technological advances and business applications of web-based information systems.The 12 full papers presented in this volume were carefully reviewed and selected from originally 77 paper submissions. They contribute to the understanding of relevant trends of current research on Web information systems and technologies, comprising unified interfaces, Progressive Web Apps (PWAs) as well as a mobile device taxonomy, XML and open data processing, the history of Web engineering, web development for end-users, access control, Web platform assessment, rule engines, and scientific blogging.

This volume contains the proceedings of the Third International Conference on Service-Oriented Computing (ICSOC 2005), that took place in Amsterdam, The Netherlands, December 12-15, 2005. The 2005 edition had the important and ambitious goal of bringing together the different communities working in Web services and service-oriented computing. By attracting excellent contributions from different scientific communities, ICSOC aims at creating a scientific venue where participants can share ideas and compare their approaches to tackling the many still-open common research challenges. The commitment to cross-area fertilization was put into practice by having a very diversified Program Committee and by the presence of several area coordinators, leaders in the respective communities who encouraged and supervised submissions in each area. This is also the first edition to feature a successful workshop and demo program, with selected demos also presented in a paper-like fashion so that they get the attention they deserve. In addition, ICSOC 2005 inherited from previous editions a strong industrial presence, both in the conference organization and in the program. This is very important due to the industrial relevance and the many challenges of service oriented technologies.

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998.The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields.

This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008. The 30 revised full papers presented together with the 10 posters were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on agents; natural language processing and text analysis; machine learning and information retrieval; knowledge representation and reasoning; constraints, heuristics and search; applications; posters.

The First Future Internet Symposium was held during September 28–30, 2008 in Vienna, Austria. FIS 2008 provided a forum for leading researchersand pr- titioners to meet and discuss the wide-ranging scienti?c and technical issues related to the design of a new Internet. The sentiment shared in Vienna was that we are at the beginning of something very exciting and challenging and that FIS 2008 has played a role in forming a community to address this. With overa billionusers,today’s Internet is arguablythe most successful- man artifact ever created. The Internet’s physical infrastructure, software, and content now play an integralpart in the lives of everyoneon the planet, whether they interact with it directly or not. Now nearing its ?fth decade, the Int- net has shown remarkable resilience and ?exibility in the face of ever-increasing numbers of users, data volume, and changing usage patterns, but faces gr- ing challenges in meetings the needs of our knowledge society. Globally, many major initiatives are underway to address the need for more scienti?c research, physical infrastructure investment, better education, and better utilization of the Internet. Japan, the USA and Europe are investing heavily in this area. The EU is shaping around the idea of the Future Internet its research programmes for the Seventh Framework. EU commissioners, national government ministers, industry leadersand researchersmet in Bled, Slovenia during March 31–April2, 2008, to begin developing a vision of a future Internet that will meet Europe’s needs a decade from now, and beyond. Abroadprogrammeofscienti?cresearchisessentialtosupportingtheaimsof the Future Internetinitiative.