Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems

We are interested in principles for designing and building open distributed systems consisting of multiple cyber-physical agents, specifically, where a coherent global view is unattainable and timely consensus is impossible. Such agents attempt to contribute to a system goal by making local decisions to sense and effect their environment based on local information. In this paper we propose a model, formalized in the Maude rewriting logic system, that allows experimenting with and reasoning about designs of such systems. Features of the model include communication via sharing of partially ordered knowledge, making explicit the physical state as well as the cyber perception of this state, and the use of a notion of soft constraints developed by Martin Wirsing and his team to specify agent behavior. The paper begins with a discussion of desiderata for such models and concludes with a small case study to illustrate the use of the modeling framework.

[1]  Makoto Yokoo,et al.  Adopt: asynchronous distributed constraint optimization with quality guarantees , 2005, Artif. Intell..

[2]  Richard H. Lathrop,et al.  Knowledge-Based Avoidance of Drug-Resistant HIV Mutants , 1998, AI Mag..

[3]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[4]  Flemming Nielson,et al.  A Calculus for Quality , 2012, FACS.

[5]  Peter Csaba Ölveczky,et al.  Semantics and pragmatics of Real-Time Maude , 2007, High. Order Symb. Comput..

[6]  Flemming Nielson,et al.  Safety versus Security in the Quality Calculus , 2013, Theories of Programming and Formal Methods.

[7]  M.-O. Stehr,et al.  Planning and learning algorithms for routing in Disruption-Tolerant Networks , 2008, MILCOM 2008 - 2008 IEEE Military Communications Conference.

[8]  Martin Wirsing,et al.  Which Soft Constraints do you Prefer? , 2009, WRLA.

[9]  Martin Wirsing,et al.  Software-Intensive Systems and New Computing Paradigms - Challenges and Visions , 2008, Software-Intensive Systems and New Computing Paradigms.

[10]  Farhad Arbab,et al.  Preference and Similarity-Based Behavioral Discovery of Services , 2012, WS-FM.

[11]  Boi Faltings,et al.  A Scalable Method for Multiagent Constraint Optimization , 2005, IJCAI.

[12]  Mathijs de Weerdt,et al.  Introduction to planning in multiagent systems , 2009, Multiagent Grid Syst..

[13]  Carolyn L. Talcott,et al.  A distributed logic for Networked Cyber-Physical Systems , 2013, Sci. Comput. Program..

[14]  Gul Agha,et al.  Formal Modeling: Actors, Open Systems, Biological Systems , 2011, Lecture Notes in Computer Science.

[15]  Jan Faigl,et al.  AR-Drone as a Platform for Robotic Research and Education , 2011, Eurobot Conference.

[16]  Makoto Yokoo,et al.  The Distributed Constraint Satisfaction Problem: Formalization and Algorithms , 1998, IEEE Trans. Knowl. Data Eng..

[17]  Jim Woodcock,et al.  Theories of Programming and Formal Methods , 2013, Lecture Notes in Computer Science.

[18]  Carolyn L. Talcott,et al.  Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision , 2011, Formal Modeling: Actors, Open Systems, Biological Systems.

[19]  Kazuhiro Ogata,et al.  Specification, Algebra, and Software , 2014, Lecture Notes in Computer Science.

[20]  Martin Wirsing,et al.  Towards a System Model for Ensembles , 2011, Formal Modeling: Actors, Open Systems, Biological Systems.

[21]  Edmund H. Durfee,et al.  A Survey of Research in Distributed, Continual Planning , 1999, AI Mag..

[22]  Carolyn L. Talcott,et al.  Application patterns for cyber-physical systems , 2013, 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA).

[23]  Carolyn L. Talcott,et al.  A Rewriting Logic Framework for Soft Constraints , 2006, WRLA.

[24]  Francesco Bullo,et al.  Distributed Control of Robotic Networks , 2009 .

[25]  Kim G. Larsen,et al.  A modal specification theory for components with data , 2011, Sci. Comput. Program..

[26]  Li Meng,et al.  Aerodynamic parameter estimation of an Unmanned Aerial Vehicle based on extended kalman filter and its higher order approach , 2010, 2010 2nd International Conference on Advanced Computer Control.

[27]  Nicolas Petit,et al.  The Navigation and Control technology inside the AR.Drone micro UAV , 2011 .

[28]  David Obdrzalek,et al.  Research and Education in Robotics - EUROBOT 2011 - International Conference, Prague, Czech Republic, June 15-17, 2011. Proceedings , 2011, Eurobot Conference.

[29]  Gustavo Arroyo Figueroa,et al.  Advances in Artificial Intelligence and Its Applications , 2015, Lecture Notes in Computer Science.

[30]  Owen Brown,et al.  The Value Proposition for Fractionated Space Architectures , 2006 .

[31]  Jorge Cortes,et al.  Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms , 2009 .

[32]  Martin Wirsing,et al.  Engineering of Software-Intensive Systems: State of the Art and Research Challenges , 2008, Software-Intensive Systems and New Computing Paradigms.

[33]  Fabio Gadducci,et al.  Soft Constraints for Lexicographic Orders , 2013, MICAI.

[34]  Carolyn L. Talcott,et al.  Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing , 2014, Specification, Algebra, and Software.