Fast, Neat and Under Control: Inverse Steering Behaviors for Physical Autonomous Agents

Steering behaviors are a set of motion based reactive procedures used for navigating autonomous agents in their environment. Combinations of steering behaviors can be used to create complex behaviors. One problem inherent to existing approaches to arbitrating between single behaviors is that their combination may lead to suboptimal, undesired, or even catastrophic results in certain situations. In our paper we present a solution to these problems by introducing inverse steering behaviors for controlling physical agents. Inverse steering behaviors change the original concept of steering behaviors and facilitate improved arbitration between different options by using cost based heuristics. We also show a concrete application of inverse steering behaviors, namely the implementation of a dribbling skill with sophisticated obstacle avoidance for a RoboCup soccer agent.

[1]  Jürgen Dix,et al.  Super logic programs , 2000, TOCL.

[2]  Ulrich Furbach,et al.  Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations , 2001, Handbook of Automated Reasoning.

[3]  Jürgen Dix,et al.  Relating defeasible and normal logic programming through transformation properties , 2000, Theor. Comput. Sci..

[4]  Bernd Thomas,et al.  MIA A Multi-Agent Location Based Information Systems for Mobile Users in 3G Networks , 2003 .

[5]  Andreas Winter,et al.  Towards a Common Query Language for Reverse Engineering , 2002 .

[6]  Jürgen Ebert,et al.  Conceptual Modelling and Web Site Generation using Graph Technology , 2007 .

[7]  Manuela M. Veloso,et al.  Task Decomposition and Dynamic Role Assignment for Real-Time Strategic Teamwork , 1998, ATAL.

[8]  Ian Frank,et al.  Soccer Server: A Tool for Research on Multiagent Systems , 1998, Appl. Artif. Intell..

[9]  Toshiaki Arai,et al.  Multiagent systems specification by UML statecharts aiming at intelligent manufacturing , 2002, AAMAS '02.

[10]  Jürgen Ebert,et al.  Program comprehension in multi-language systems , 1998, Proceedings Fifth Working Conference on Reverse Engineering (Cat. No.98TB100261).

[11]  Andreas Winter,et al.  Exchanging Graphs with GXL , 2001, GD.

[12]  Jürgen Ebert,et al.  A Formalization of SOCCA , 1999 .

[13]  Norbert Eisinger,et al.  A Confluent Connection Calculus , 2000, Intellectics and Computational Logic.

[14]  Craig W. Reynolds.  Flocks, herds, and schools: a distributed behavioral model , 1987, SIGGRAPH.

[15]  Jürgen Dix,et al.  Transformation-based bottom-up computation of the well-founded model , 1996, Theory and Practice of Logic Programming.

[16]  Marcello Balduccini,et al.  Logic Programming And Nonmonotonic Reasoning , 1997, Lecture Notes in Computer Science.

[17]  Oliver Obst,et al.  Qualitative Velocity and Ball Interception , 2002, KI.

[18]  Ulrich Furbach,et al.  Automatic Classification for the Identification of Relationships in a Meta-Data Repository , 2003, Discovery Science.

[19]  Ulrich Furbach,et al.  Model-Guided Proof Debugging , 1998 .

[20]  Takashi Chikayama,et al.  Simulating the Collision Avoidance Behavior of Pedestrians , 2000 .

[21]  Margret Groß-Hardt,et al.  Processing of Concept Based Queries for XML Data , 2002 .

[22]  Luís Paulo Reis,et al.  Situation Based Strategic Positioning for Coordinating a Team of Homogeneous Agents , 2000, Balancing Reactivity and Social Deliberation in Multi-Agent Systems.

[23]  Nicholas Kushmerick,et al.  Adaptive Information Extraction: Core Technologies for Information Agents , 2003, AgentLink.

[24]  Kurt Lautenbach,et al.  Reproducibility of the Empty Marking , 2002, ICATPN.

[25]  Jan Murray.  Specifying agents with UML in robotic soccer , 2002, AAMAS '02.

[26]  Craig W. Reynolds.  Steering Behaviors For Autonomous Characters , 1999 .

[27]  Oliver Obst,et al.  Towards a Logical Approach for Soccer Agents Engineering , 2000, RoboCup.

[28]  Peter Baumgartner,et al.  The Taming of the (X)OR , 2000, Computational Logic.

[29]  Oliver Obst.  Specifying Rational Agents with Statecharts and Utility Functions , 2001, RoboCup.

[30]  Manfred Rosendahl,et al.  Specification of Symbols and Implementation of Their Constraints in JKogge , 2000 .

[31]  Kurt Lautenbach,et al.  Logical Reasoning and Petri Nets , 2003, ICATPN.

[32]  Oliver Obst,et al.  Spatial Agents Implemented in a Logical Expressible Language , 1999, RoboCup.

[33]  Joseph Douglas Horton,et al.  Merge Path Improvements for Minimal Model Hyper Tableaux , 1999, TABLEAUX.

[34]  Peter Baumgartner,et al.  Living Book -- Deduction, Slicing, and Interaction , 2004 .

[35]  Ulrich Furbach,et al.  Disjunctive Logic Program = Horn Program + Control Program , 1998, JELIA.

[36]  Oliver Obst,et al.  Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments: A Response to a Technical Challenge , 2003, RoboCup.

[37]  Julio Rosenblatt,et al.  DAMN: a distributed architecture for mobile navigation , 1997, J. Exp. Theor. Artif. Intell..

[38]  Peter Baumgartner,et al.  The Model Evolution Calculus , 2003, CADE.

[39]  Dirk Helbing,et al.  Simulating dynamical features of escape panic , 2000, Nature.

[40]  Margret Groß-Hardt,et al.  Concept based querying of semistructured data , 2002, XSW.

[41]  Peter Baumgartner,et al.  First-order logic Davis-Putnam-Logemann-Loveland procedure , 2003 .

[42]  Bernt Kullbach.  Bericht über den 2. Workshop Software-Reengineering (WSR 2000) am 11. und 12. Mai 2000 in Bad Honnef , 2000, Softwaretechnik-Trends.

[43]  Hans-Ulrich Kobialka,et al.  Speed-Dependent Obstacle Avoidance by Dynamic Active Regions , 2003, RoboCup.

[44]  Andreas Schmid,et al.  Solution for the Counting to Infinity Problem of Distance Vector Routing , 1998 .

[45]  Peter Baumgartner,et al.  Abductive Coreference by Model Construction , 1999 .

[46]  Yoram Koren,et al.  Potential field methods and their inherent limitations for mobile robot navigation , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[47]  Andy Schürr,et al.  GXL: toward a standard exchange format , 2000, Proceedings Seventh Working Conference on Reverse Engineering.

[48]  Manuela M. Veloso,et al.  Motion Control in Dynamic Multi-Robot Environments , 1999, RoboCup.

[49]  Guillermo R. Simari,et al.  lntroducing generalized specificity in logic programming , 2000 .

[50]  Manfred Kamp.  Managing a multi-file, multi-language software repository for program comprehension tools: a generic approach , 1998, Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242).

[51]  Volker Riediger,et al.  Folding: an approach to enable program understanding of preprocessed languages , 2001, Proceedings Eighth Working Conference on Reverse Engineering.

[52]  Jens Woch,et al.  Implementation of a Schema-TAG-Parser , 1999 .

[53]  Manuela M. Veloso,et al.  Motion control in dynamic multi-robot environments , 1999, Proceedings 1999 IEEE International Symposium on Computational Intelligence in Robotics and Automation. CIRA'99 (Cat. No.99EX375).

[54]  Jürgen Ebert,et al.  GUPRO - Generic Understanding of Programs , 2002, Electron. Notes Theor. Comput. Sci..

[55]  Stephan Philippi,et al.  Modelling a concurrent ray-tracing algorithm using object-oriented Petri-Nets , 2001 .

[56]  Jürgen Ebert,et al.  GraX-an interchange format for reengineering tools , 1999, Sixth Working Conference on Reverse Engineering (Cat. No.PR00303).

[57]  Yoram Koren,et al.  Real-time obstacle avoidance for fact mobile robots , 1989, IEEE Trans. Syst. Man Cybern..

[58]  Ulrich Furbach,et al.  AI--A multiple book review , 2003, Artif. Intell..

[59]  Peter Stone,et al.  Anticipation: A Key for Collaboration in a Team of Agents , 1999 .

[60]  Bernd Thomas,et al.  Bottom-Up Learning of Logic Programs for Information Extraction from Hypertext Documents , 2003, PKDD.

[61]  Peter Baumgartner,et al.  Living Book – Deduction, Slicing, and Interaction , 2004, Journal of Automated Reasoning.

[62]  Peter Baumgartner,et al.  Model Elimination with Simplification and its Application to Software Verification , 1998, Tool Support for System Specification, Development and Verification.

[63]  Peter Baumgartner,et al.  Automated Deduction Techniques for the Management of Personalized Documents , 2003, Annals of Mathematics and Artificial Intelligence.

[64]  Craig W. Reynolds.  Interaction with Groups of Autonomous Characters , 2000 .

[65]  J. Ebert,et al.  A Generalization of the Hyperspace Approach Using Meta-Models , 2003 .

[66]  Andreas Winter,et al.  Querying as an enabling technology in software reengineering , 1999, Proceedings of the Third European Conference on Software Maintenance and Reengineering (Cat. No. PR00090).

[67]  Victor W. Marek,et al.  The Logic Programming Paradigm , 1999, Artificial Intelligence.

[68]  Oliver Obst,et al.  Simulation League: The Next Generation , 2003, RoboCup.

[69]  Frieder Stolzenburg,et al.  Loop-Detection in Hyper-Tableaux by Powerful Model Generation , 1999, J. Univers. Comput. Sci..