| 1. |
- Akkermans, Hans, et al.
(författare)
-
An Integrated Structured Analysis Approach to Intelligent Agent Communication
- 1998
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Intelligent multi-agent systems offer promising approaches for knowledge-intensive distributed applications. Now that such systems are becoming applied on a wider industrial scale, there is a practical need for structured analysis and design methods, similarly as exist for more conventional information and knowledge systems. This is still lacking for intelligent agent software. In this paper, we describe how the process of agent communication specification can be carried out through a structured analysis approach. The structured analysis approach we propose is an integrated extension of the CommonKADS methodology, a widely used standard for knowledge analysis and systems development. Our approach is based on and illustrated by a large-scale multi-agent application for distributed energy load management in industries and households, called Homebots, which is discussed as an extensive industrial case study.
|
|
| 2. |
- Akkermans, Hans, et al.
(författare)
-
Homebots : Intelligent Decentralized Services for Energy Management
- 1996
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- The deregulation of the European energy market, combined with emerging ad-vanced capabilities of information technology, provides strategic opportunities for new knowledge-oriented services on the power grid. HOMEBOTS is the name we have coined for one of these innovative services: decentralized power load management at the customer side, automatically carried out by a ‘society’ of interactive house-hold, industrial and utility equipment. They act as independent intelligent agents that communicate and negotiate in a computational market economy. The knowl-edge and competence aspects of this application are discussed, using an improved version of task analysis according to the COMMONKADS knowledge methodology. Illustrated by simulation results, we indicate how customer knowledge can be mo-bilized to achieve joint goals of cost and energy savings. General implications for knowledge creation and its management are discussed.
|
|
| 3. |
|
|
| 4. |
- Akkermans, Hans, et al.
(författare)
-
Pragmatics of Agent Communication
- 1998
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- The process of agent communication modeling has not yet received much attention in the knowledge systems area. Conventional knowledge systems are rather simple with respect to their communication structure: often it is a straightforward question-and-answer sequence between system and end user. However, this is different in recent intelligent multi-agent systems. Therefore, agent communication aspects are now in need of a much more advanced treatment in knowledge management, acquisition and modeling. In general, a much better integration between the respective achievements of multi-agent and knowledge-based systems modeling is an important research goal. In this paper, we describe how agent communications can be specified as an extension of well-known knowledge modeling techniques. The emphasis is on showing how a structured process of communication requirements analysis proceeds, based on existing results from agent communication languages. The guidelines proposed are illustrated by and based on a large-scale industrial multi-agent application for distributed energy load management in industries and households, called Homebots. Homebots enable cost savings in energy consumption by coordinating their actions through an auction mechanism.
|
|
| 5. |
- Brazier, Frances, et al.
(författare)
-
Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation
- 1998
-
Konferensbidrag (refereegranskat)abstract
- A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that part of the proofs can be reused in relation to reuse of components.
|
|
| 6. |
- 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.
|
|
| 7. |
- Carlsson, Anders, et al.
(författare)
-
Resilient Smart Grids
- 2014
-
Ingår i: 2014 FIRST INTERNATIONAL SCIENTIFIC-PRACTICAL CONFERENCE PROBLEMS OF INFOCOMMUNICATIONS SCIENCE AND TECHNOLOGY (PIC S&T). - : IEEE. ; , s. 79-82
-
Konferensbidrag (refereegranskat)abstract
- The usefulness of configurable and shared experiment platforms in design and implementation of future Resilient Smart Grids is demonstrated. A set of antagonistic threats is identified and remotely controlled experiments to harness those are presented and assessed.
|
|
| 8. |
- Carlsson, Anders, et al.
(författare)
-
The art of war in the cyber world
- 2018
-
Ingår i: 2017 4th International Scientific-Practical Conference Problems of Infocommunications Science and Technology, PIC S and T 2017 - Proceedings. - : Institute of Electrical and Electronics Engineers Inc.. - 9781538609835 ; , s. 42-44
-
Konferensbidrag (refereegranskat)abstract
- The paper focus on cyber weapons used in Advanced Persistent Threat (ATP) attacks in present and future cyber warfare. The combined use of propaganda and cyber warfare supports military operations on the ground and is exemplified with the ongoing Russian hybrid warfare in Ukraine. New models and methods to develop future trustworthy critical infrastructures in our societies are presented. Some mitigation ideas to meet the challenges of future hybrid warfare are also discussed. © 2017 IEEE.
|
|
| 9. |
- Carlsson, Anders, et al.
(författare)
-
Virtual Security Labs Supporting Distance Education in ReSeLa Framework
- 2019
-
Ingår i: Advances in Intelligent Systems and Computing. - Cham : Springer Verlag. - 9783030119348 ; , s. 577-587
-
Konferensbidrag (refereegranskat)abstract
- To meet the high demand of educating the next generation of MSc students in Cyber security, we propose a well-composed curriculum and a configurable cloud based learning support environment ReSeLa. The proposed system is a result of the EU TEMPUS project ENGENSEC and has been extensively validated and tested. © 2019, Springer Nature Switzerland AG.
|
|
| 10. |
- 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.
|
|
