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]  Robert P. W. Duin,et al.  Data domain description using support vectors , 1999, ESANN.

[3]  M.G. Hinchey,et al.  Autonomous and autonomic systems: a paradigm for future space exploration missions , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

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

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

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

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

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

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

[10]  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..

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

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

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

[14]  Youyong Zou.  Agent-Based Services for the Semantic Web , 2004 .

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

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

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

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

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

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

[21]  Walter Truszkowski,et al.  Asteroid exploration with autonomic systems , 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

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

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

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

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

[26]  Marc Ayel,et al.  Validation, verification and test of knowledge-based systems , 1991 .

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

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

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

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

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

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

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

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

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

[36]  Kaile Su,et al.  Symbolic model checking the knowledge of the dining cryptographers , 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..

[37]  F Raimondi,et al.  Symbolic Model Checking of Deontic Interpreted Systems via OBDD's. , 2004 .

[38]  Eric Clayberg,et al.  Eclipse: Building Commercial-Quality Plug-ins , 2004 .

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

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

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

[42]  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..

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

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

[45]  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).

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

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

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

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

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

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

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

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

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

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

[56]  Douglas C. Schmidt,et al.  Building application frameworks: object-oriented foundations of framework design , 1999 .

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

[58]  Grigoris Antoniou.  Verification and correctness issues for nonmonotonic knowledge bases , 1997 .

[59]  William M. Spears,et al.  Distributed, Physics-Based Control of Swarms of Vehicles , 2004 .

[60]  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.

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

[62]  Roy Sterritt,et al.  PAC-MEN: personal autonomic computing monitoring environment , 2004 .

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

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

[65]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

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

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

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

[69]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

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

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

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