Formal Approaches to Agent-Based Systems

Norms specifying constraints over institutions are stated in such a form that allows them to regulate a wide range of situations over time without need for modification. To guarantee this stability, the formulation of norms need to abstract from a variety of concrete aspects, which are instead relevant for the actual operationalization of institutions. If agent institutions are to be built, which comply with a set of abstract requirements, how can those requirements be translated in more concrete constraints the impact of which can be described directly in the institution? In this work we make use of logical methods in order to provide a formal characterization of the translation rules that operate the connection between abstract and concrete norms. On the basis of this characterization, a comprehensive formalization of the notion of institution is also provided.

[1]  Ora Lassila,et al.  Enabling Semantic Web Programming by Integrating RDF and Common Lisp , 2001, SWWS.

[2]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[3]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[4]  Michael Wooldridge,et al.  Model checking agentspeak , 2003, AAMAS '03.

[5]  Jaime Ramírez,et al.  Knowledge Base Semantic Verification based on Contexts Propagation , 2001 .

[6]  Deborah L. McGuinness,et al.  An Environment for Merging and Testing Large Ontologies , 2000, KR.

[7]  C. C. Jorgensen,et al.  Feedback Linearized Aircraft Control Using Dynamic Cell Structure , 1998 .

[8]  Johann Schumann,et al.  Toward V&V of neural network based controllers , 2002, WOSS '02.

[9]  Joseph Y. Halpern,et al.  Model Checking vs. Theorem Proving: A Manifesto , 1991, KR.

[10]  Ron van der Meyden,et al.  Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract) , 1999, FSTTCS.

[11]  Yixin Diao,et al.  ABLE: A toolkit for building multiagent autonomic systems , 2002, IBM Syst. J..

[12]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[13]  Kent Beck,et al.  Contributing to Eclipse - principles, patterns, and plug-ins , 2003, The Eclipse series.

[14]  William M. Spears,et al.  Using artificial physics to control agents , 1999, Proceedings 1999 International Conference on Information Intelligence and Systems (Cat. No.PR00446).

[15]  Bernd Fritzke,et al.  Growing cell structures--A self-organizing network for unsupervised and supervised learning , 1994, Neural Networks.

[16]  Amir Pnueli,et al.  On the Formal Semantics of Statecharts (Extended Abstract) , 1987, LICS.

[17]  Gaurav S. Sukhatme,et al.  Mobile Sensor Network Deployment using Potential Fields : A Distributed , Scalable Solution to the Area Coverage Problem , 2002 .

[18]  L. Cheng,et al.  Programmed cell death by default in embryonic cells, fibroblasts, and cancer cells. , 1995, Molecular biology of the cell.

[19]  Allen Ginsberg.  Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy , 1988, AAAI.

[20]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[21]  William M. Spears,et al.  Analysis of a Phase Transition in a Physics-Based Multiagent System , 2002, FAABS.

[22]  Alejandro L. Garcia.  Numerical methods for physics , 1994 .

[23]  Rodney M. Goodman,et al.  Swarm robotic odor localization , 2001, Proceedings 2001 IEEE/RSJ International Conference on Intelligent Robots and Systems. Expanding the Societal Role of Robotics in the the Next Millennium (Cat. No.01CH37180).

[24]  E. Clarke,et al.  Symbolic Model Checking : IO * ’ States and Beyond * , 1992 .

[25]  Pedro Meseguer,et al.  Incremental Verification of Rule-Based Expert Systems , 1992, ECAI.

[26]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[27]  I. Timm,et al.  Agent-Based Services for the Semantic Web , 2001 .

[28]  Franz Baader,et al.  An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.

[29]  Michael Kifer,et al.  FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine , 2000, Computational Logic.

[30]  Tucker R. Balch,et al.  Behavior-based formation control for multirobot teams , 1998, IEEE Trans. Robotics Autom..

[31]  Didier Keymeulen,et al.  A Reactive Robot Navigation System Based on a Fluid Dynamics Metaphor , 1990, PPSN.

[32]  Keith L. Doty,et al.  Kinetics of Robotics: The Development of Universal Metrics in Robotic Swarms , 1997 .

[33]  Konstantinos Sagonas,et al.  XSB as an efficient deductive database engine , 1994, SIGMOD '94.

[34]  Yang Liu,et al.  Stability analysis of M-dimensional asynchronous swarms with a fixed communication topology , 2003, IEEE Trans. Autom. Control..

[35]  Richard M. Murray,et al.  DISTRIBUTED COOPERATIVE CONTROL OF MULTIPLE VEHICLE FORMATIONS USING STRUCTURAL POTENTIAL FUNCTIONS , 2002 .

[36]  Robert P. W. Duin,et al.  Data domain description using support vectors , 1999, ESANN.

[37]  Donald W. Loveland,et al.  A machine program for theorem-proving , 2011, CACM.

[38]  T. Schelling.  Micromotives and Macrobehavior , 1978 .

[39]  Michael Swartwout.  Engineering data summaries for space missions , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[40]  James A. Hendler,et al.  Trust Networks on the Semantic Web , 2003, WWW.

[41]  F. Reif,et al.  Fundamentals of Statistical and Thermal Physics , 1965 .

[42]  Giosue Vitaglione,et al.  Scalability and Per-formance of JADE Message Transport System , 2002 .

[43]  Anneke Kleppe,et al.  The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[44]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[45]  Didier Keymeulen,et al.  The fluid dynamics applied to mobile robot motion: the stream field method , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[46]  Michael Gruninger,et al.  Methodology for the Design and Evaluation of Ontologies , 1995, IJCAI 1995.

[47]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[48]  Roy Sterritt,et al.  Pulse monitoring: extending the health-check for the autonomic grid , 2003, IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings..

[49]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[50]  Hongyan Wang,et al.  Social potential fields: A distributed behavioral control for autonomous robots , 1995, Robotics Auton. Syst..

[51]  Carlos José Pereira de Lucena,et al.  A component-based model for building reliable multi-agent systems , 2003, 28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings..

[52]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[53]  York Sure,et al.  A Methodology for Ontology‐Based Knowledge Management , 2003 .

[54]  Robin R. Murphy,et al.  Introduction to AI Robotics , 2000 .

[55]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[56]  Michael Wooldridge,et al.  Model Checking Knowledge and Time , 2002, SPIN.

[57]  Stanislaw Ambroszkiewicz,et al.  On the concepts of rationalizability in games , 2000, Ann. Oper. Res..

[58]  Norman W. Paton,et al.  Supporting production rules using ECA rules in an object-oriented context , 1995, Inf. Softw. Technol..

[59]  Kenneth L. McMillan,et al.  Applying SAT Methods in Unbounded Symbolic Model Checking , 2002, CAV.

[60]  Rob Sherwood,et al.  Lessons Learned During Implementation and Early Operations of the DS1 Beacon Monitor Experiment , 2000 .

[61]  Michael Wooldridge,et al.  Computationally grounded theories of agency , 2000, Proceedings Fourth International Conference on MultiAgent Systems.