SNet Reloaded: Roles, Monitoring and Agent Evolution

In previous work, we proposed the prototype environment SNet for the representation and dynamic evaluation of agent-based designs for inter-organizational networks. A key feature of SNet is the automatic translation of extended i* models into the action language ConGolog. In order to run realistic simulations, the resulting agents are deliberative in that they can choose between different courses of action according to some utility measure. When applying SNet to modelling an existing entrepreneurship network, we discovered a number of deficiencies of our current proposal, in particular, the lack of a role concept, the ability to monitor the execution of plans that depend on other agents' contributions and the ability to model agents that evolve over time. In this paper we will sketch the example domain and discuss how these new features can be incorporated in the SNet framework.

[1]  Stephen Marsh,et al.  Formalising Trust as a Computational Concept , 1994 .

[2]  Yves Lespérance,et al.  Agent-Oriented Requirements Engineering Using ConGolog and i* , 2001 .

[3]  Gerhard Lakemeyer,et al.  Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks , 2003, CAiSE.

[4]  Matthias Jarke,et al.  ConceptBase — A deductive object base for meta data management , 1995, Journal of Intelligent Information Systems.

[5]  Stephen Shaoyi Liao,et al.  Intelligent agents and financial risk monitoring systems , 2002, CACM.

[6]  Gerhard Lakemeyer,et al.  Continuous requirements management for organisation networks: a (dis)trust-based approach , 2003, Requirements Engineering.

[7]  Giuseppe De Giacomo,et al.  Execution Monitoring of High-Level Robot Programs , 1998, KR.

[8]  Daniel Gross,et al.  Evolving system architecture to meet changing business goals: an agent and goal-oriented approach , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[9]  John Mylopoulos,et al.  Understanding "why" in software process modelling, analysis, and design , 1994, Proceedings of 16th International Conference on Software Engineering.

[10]  Philippe Mathieu,et al.  Dynamic Skill Learning: A Support to Agent Evolution , 2001 .

[11]  Gerhard Lakemeyer,et al.  SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog , 2002, CAiSE.

[12]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[13]  J. McCarthy Situations, Actions, and Causal Laws , 1963 .

[14]  Hector J. Levesque,et al.  A concurrent programming language based on the situation calculus: Language and implementation , 1999 .

[15]  Matthias Jarke,et al.  Gründerausbildung und Gründernetze im Umfeld technischer Hochschulen : ein wirtschaftsinformatischer Versuch , 2003 .

[16]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..