Michael Beetz - Böcker

This book aims at sharing knowledge about the technological opportunities and the main research challenges regarding robotics for logistics in supermarkets and retail stores, from the perspectives of the end-users, logistic companies, technology providers, and robotic researchers.

This book aims at sharing knowledge about the technological opportunities and the main research challenges regarding robotics for logistics in supermarkets and retail stores, from the perspectives of the end-users, logistic companies, technology providers, and robotic researchers.

This book constitutes the refereed proceedings of the 6th International Conference on Social Robotics, ICSR 2014, held in Sydney, NSW, Australia, in October 2014. knowledge representation and reasoning frameworks for robot social intelligence; cognitive architectures that support social intelligence for robots;

This book constitutes the thoroughly refereed post-proceedings of an international seminar on Plan-Based Control of Robotic Agents held at Dagstuhl Castle, Germany in October 2001. The 16 full papers included in the book have gone through two rounds of reviewing and revision and present an up-to-date survey of the state of the art on research in plan-based control of robotic agents. Besides general issues from robotics, agent systems, control, AI planning, algorithmic learning, and problem solving are plan-based high-level control, probabilistic reasoning, plan transformation, and resource adaptive reasoning key topics addressed in the papers.

Robotic agents, such as autonomous office couriers or robot tourguides, must be both reliable and efficient. Thus, they have to flexibly interleave their tasks, exploit opportunities, quickly plan their course of action, and, if necessary, revise their intended activities.This book makes three major contributions to improving the capabilities of robotic agents:- first, a plan representation method is introduced which allows for specifying flexible and reliable behavior - second, probabilistic hybrid action models are presented as a realistic causal model for predicting the behavior generated by modern concurrent percept-driven robot plans - third, the system XFRMLEARN capable of learning structured symbolic navigation plans is described in detail.

In this book, the author presents a new computational model of forestalling common flaws in autonomous robot behavior. To this end, robots are equipped with structured reactive plans (SRPs) which are concurrent control programs that can not only be interpreted but also be reasoned about and manipulated. The author develops a representation for SRPs in which declarative statements for goals, perceptions, and beliefs make the structure and purpose of SRPs explicit and thereby simplify and speed up reasoning about SRPs and their projections; furthermore a notation is introduced allowing for transforming and manipulating SRPs. Using this notation, a planning system can diagnose and forestall common flaws in robot plans that cannot be dealt with in other planning representations. Finally the language for writing SRPs is extended into a high-level language that can handle both planning and execution actions.

The 30th Annual German Conference on Arti?cial Intelligence (KI-2007) took place in the University of Osnabru ¨ck, September 10–13, 2007. In this volume, you will ?nd papers or abstracts of its six invited talks, 25 full papers, and 21 posters. The full papers were selected from 81 submissions, resulting in an acceptance rate of 32%. AsusualataKIconference,anentiredaywasreservedfortargetedworkshops – ten of them this year – and two tutorials. They are not coveredin this volume, but the conference Web sitewww.ki2007.uos.de will keep providing information and references to their contents. Some topic clusters are apparent in the overall conference program, which re?ect recent trends in AI research, convolved with foci of work in Germany and Europe. Examples are learning and data mining, robotics and perception, knowledge representation and reasoning, planning and search – all of them including a healthy number of approaches dealing with uncertainty, contradiction, and incompleteness of knowledge. All in all, KI-2007 provided a cross section of modern AI research and application work. KI-2007 also constituted a “small anniversary,” being the 30th exemplar of its kind. The invited talk by Wolfgang Bibel (accompanied by a paper in this volume) picked up on that occasion by recalling what the ?eld of automated deduction was like 30 and more years ago – in general, and in Germany. He also paid homage to Gerd Veenker, who organizedthe ?rst KI conference (which had a di?erent name at the time) in 1975 and whose ?eld of research was deduction.

Die Symbolanalyse versteht sich als eine übergreifende Aufgabe der Geistes-, Kultur- und Sozialwissenschaften. Somit handelt es sich von der Anlage her um eine lehrbuchartige Einführung, die sich zugleich als methodisches Manifest eines offenen Forschungsprogramms versteht, an das sich eine Reihe künftiger Projekte anschließen sollen.