| 1. |
- Brazier, Frances, et al.
(författare)
-
Compositional verification of a multi-agent system for one-to-many negotiation
- 2004
-
Ingår i: Applied intelligence (Boston). - DORDRECHT : KLUWER ACADEMIC PUBL. - 0924-669X .- 1573-7497. ; 20:2, s. 95-117
-
Tidskriftsartikel (refereegranskat)abstract
- Verification of multi-agent systems hardly occurs in design practice. One of the difficulties is that required properties for a multi-agent system usually refer to multi-agent behaviour which has nontrivial dynamics. To constrain these multi-agent behavioural dynamics, often a form of organisational structure is used, for example, for negotiating agents, by following strict protocols. The claim is that these negotiation protocols entail a structured process that is manageable with respect to analysis, design and execution of such a multi-agent system. In this paper this is shown by a case study: verification of a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. A compositional verification method for multi-agent systems is applied that allows to (1) logically relate dynamic properties of the multi-agent system as a whole to dynamic properties of agents, and (2) logically relate dynamic properties of agents to properties of their subcomponents. Given that properties of these subcomponents can be verified by more standard methods, these logical relationships provide proofs of the dynamic properties of the multi-agent system as a whole.
|
|
| 2. |
- Carlsson, Bengt, et al.
(författare)
-
Arms Race Within Information Ecosystems
- 2001
-
Ingår i: Lecture Notes in Computer Science. - : Springer Verlag. - 0302-9743 .- 1611-3349. ; 2182, s. 202-207
-
Tidskriftsartikel (refereegranskat)abstract
- Interacting agents of exploiters and users within an information ecosystem may be regarded both as biological beings and as part of an economic system of infohabitants. A protection system can be implemented as a filter governing the access to assets. Typically we will have a chain of attacks and countermeasures concerning this access to the desired assets. We model this process as an arms race. We base our model on a process model of a protection system based on exposure time. A user's reaction against an exploiter measure could either be a direct response to the measure or an attempt to anticipate future attacks by more general means of defeating the protection of the exploiter agent. When anticipating future attacks and countermeasures, both users and exploiters will improve their methods and tools due to an arms race. Our arms race model refines the competition as modeled in computational markets to model aspects which typically arise when societies grow beyond what can be controlled in a centralized manner. A dynamic, evolving and robust ecosystem of autonomous agents is sometimes a preferred and possible outcome of the arms race as a hardening process.
|
|
| 3. |
- Carlsson, Bengt, et al.
(författare)
-
The rise and fall of Napster-an evolutionary approach
- 2001
-
Konferensbidrag (refereegranskat)abstract
- The paper addresses dynamics in information ecosystems due to competition between selfish agents to get control of protectable resources. In our case study we investigate the first arms race on Internet triggered by the Napster introduction of an easy to use service for sharing files with music content among users. We set up a model for investigation of possible scenarios emerging from the Napster and Gnutella peer-to-peer tools for information sharing. We also introduce a formal model for analyzing the Napster scenario in the cases of selfish or altruistic users. The prediction provided by our model is in line with what really happened in the Napster case. The model also shows that the outcome was indeed unavoidable if we have selfish users.
|
|
| 4. |
- Fredriksson, Martin, et al.
(författare)
-
A framework for systemic coordination in open computational systems
- 2002
-
Konferensbidrag (refereegranskat)abstract
- The material presented in this paper is focused on the characteristics of open computational systems and, in particular, the issue of coordinating behavior in such systems, i.e. systemic coordination. Firstly, we introduce a conceptual framework for characterizing systemic coordination at different levels abstraction. Secondly, challenges and opportunities of this framework is outlined as a matter of exploiting a Service-oriented layered architecture for communicating entities (SOLACE) in combination with a particular coordination model (TuCSoN). In the context of systems engineering, we consider SOLACE and TuCSoN to be examples of the basic tools required for support of systemic coordination, i.e., the continuous process of construction and observation of open computational systems and their evolving interaction space. Finally, we outline the impact of these tools on empirical aspects of systemic coordination.
|
|
| 5. |
- Fredriksson, Martin, et al.
(författare)
-
A methodological perspective on engineering of agent societies
- 2002
-
Ingår i: Engineering societies in the agents' world, Lecture notes in artificial intelligence. - : Springer verlag. ; , s. 10-24
-
Bokkapitel (refereegranskat)abstract
- We propose a new methodological approach for engineering of agent societies. This is needed due to the emergence of the Embedded Internet. We argue that such communication platforms call for a methodology that focuses on the concept of open computational systems, grounded in general system theory, and natural systems from an engineering perspective. In doing so, it stands clear that forthcoming research in this problem domain initially have to focus on cognitive primitives, rather than domain specific interaction protocols, in construction of agent societies.
|
|
| 6. |
- Fredriksson, Martin, et al.
(författare)
-
A methodological perspective on engineering of agent societies
- 2001
-
Konferensbidrag (refereegranskat)abstract
- We propose a new methodological approach for engineering of agent societies. This is needed due to the emergence of the Embedded Internet. We argue that such communication platforms call for a methodology that focuses on the concept of open computational systems, grounded in general system theory, and natural systems from an engineering perspective. In doing so, it stands clear that forthcoming research in this problem domain initially have to focus on cognitive primitives, rather than domain specific interaction protocols, in construction of agent societies.
|
|
| 7. |
|
|
| 8. |
- Fredriksson, Martin, et al.
(författare)
-
First international workshop on theory and practice of open computational systems
- 2003
-
Konferensbidrag (refereegranskat)abstract
- This report summarizes the presentations and related discussions of the first international workshop on Theory and practice of open computational systems (TAPOCS) at the twelfth international workshop on Enabling technologies: Infrastructure for collaborative enterprises (WETICE). The balance between two topics of open computational systems in particular was in focus during the workshop discussions: theory and practice. As such, we introduced these topics by means of a presentation on Visions of open computational systems and concluded them by means of a presentation on an envisioned Roadmap of open computational systems.
|
|
| 9. |
- Fredriksson, Martin, et al.
(författare)
-
Methodological principles in construction and observation of open computational systems.
- 2002
-
Konferensbidrag (refereegranskat)abstract
- Research and development of information systems for defense and warfare have changed most dramatically during the last decade; from weapons of mass destruction to sustainable systems of services. The involved information systems can be comprised by a wide range of complex, interacting, and proactive services. Consequently, construction and observation of complex multiagent systems is an important issue to pursue. We argue that methodological principles of the involved systems most appropriately can be dealt with in terms of open computational systems. In this paper we therefore introduce the general characteristics of open computational systems and briefly outline a practical case of such systems in a network-centric warfare setting, in order to identify particular issues of the proposed approach and related tools.
|
|
| 10. |
- Fredriksson, Martin, et al.
(författare)
-
Online engineering and open computational systems
- 2004
-
Ingår i: Methodologies and Software Engineering for Agent Systems The Agent-Oriented Software Engineering Handbook. - : Kluwer Academic Publishers. - 9781402080579 ; , s. 377-388
-
Bokkapitel (refereegranskat)
|
|
