Specifying Open Agent Systems: A Survey

Artikis, Alexander; Pitt, Jeremy

doi:10.1007/978-3-642-02562-4_2

Cited by 17 publications

(13 citation statements)

References 45 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While the scope of the validity is limited to the class of models that fulfill the constraints imposed by such axioms, it is required to add a planner mechanism in the code of each agent so as to reason about its actions at runtime. Adding a planning component into agent models: (1) can be expensive and might increase the code of the agents [Yolum and Singh 2002a]; (2) can be inefficient when the system has a large state space [Artikis and Pitt 2009]; and (3) doesn't guarantee that agents will behave towards the satisfaction of their commitments in open systems. Although developing modal operators is far from easy, it allows us to: (1) qualify their truth values and to have a standard form for representing and reasoning about social notions; and (2) develop dedicated and implementable model checking algorithms.…”

Section: Related Workmentioning

confidence: 99%

Conditional Commitments

Kholy

Menshawy

et al. 2014

ACM Trans. Softw. Eng. Methodol.

View full text Add to dashboard Cite

While modeling interactions using social commitments provides a fundamental basis for capturing flexible and declarative interactions and helps in addressing the challenge of ensuring compliance with specifications, the designers of the system cannot guarantee that an agent complies with its commitments as it is supposed to, or at least an agent doesn't want to violate its commitments. They may still wish to develop efficient and scalable algorithms by which model checking conditional commitments, a natural and universal frame of social commitments, is feasible at design time. However, distinguishing between different but related types of conditional commitments, and developing dedicated algorithms to tackle the problem of model checking conditional commitments, is still an active research topic. In this article, we develop the temporal logic CTL cc that extends Computation Tree Logic (CTL) with new modalities which allow representing and reasoning about two types of communicating conditional commitments and their fulfillments using the formalism of interpreted systems. We introduce a set of rules to reason about conditional commitments and their fulfillments. The verification technique is based on developing a new symbolic model checking algorithm to address this verification problem. We analyze the computational complexity and present the full implementation of the developed algorithm on top of the MCMAS model checker. We also evaluate the algorithm's effectiveness and scalability by verifying the compliance of the NetBill protocol, taken from the business domain, and the process of breast cancer diagnosis and treatment, taken from the health-care domain, with specifications expressed in CTL cc . We finally compare the experimental results with existing proposals.

show abstract

Section: Related Workmentioning

confidence: 99%

Conditional Commitments

Kholy

Menshawy

et al. 2014

ACM Trans. Softw. Eng. Methodol.

View full text Add to dashboard Cite

show abstract

“…In [48], the authors present a generic approach to form organisations using norms. They assign a role to agents in a normative system.…”

Section: Normative Multi-agent Systemsmentioning

confidence: 99%

Normative Control: Controlling Open Distributed Systems with Autonomous Entities

Kantert

Edenhofer

Tomforde

et al. 2016

Trustworthy Open Self-Organising Systems

View full text Add to dashboard Cite

Open distributed systems consisting of a potentially large set of autonomous entities might not be controllable directly. More precisely, standard control interventions, such as altering parameters and behaviour, are not possible due to the entity's autonomy. However, indirect control using socio-inspired mechanisms can be applied to guide the system's behaviour and influence the distributed entities using sanctions and incentives. The demanded behaviour as well as the corresponding sanctions and incentives are coded as norms and generated in response to perceived environmental and internal conditions. Such a norm is issued by centralised authorities. Norm violation is monitored using a higher-level observer in a distributed manner. After an introduction and motivation for using social mechanisms in technical systems, we present a novel normative control loop establishing the afore-described concept within a Trusted Desktop Grid scenario. The evaluation demonstrates the potential benefit in terms of an increased system robustness and fast recovery from attack states.

show abstract

“…In (Artikis and Pitt, 2009), the authors present a generic approach to form organisations using norms. They assign a role to agents in a normative system.…”

Section: Normative Multi-agent Systemsmentioning

confidence: 99%

Detecting Colluding Attackers in Distributed Grid Systems

Kantert

Kauder

Edenhofer

et al. 2016

Proceedings of the 8th International Conference on Agents and Artificial Intelligence

View full text Add to dashboard Cite

Distributed grid systems offer possible benefits in terms of fast computation of tasks. This is accompanied by potential drawbacks due to their openness, the heterogeneity of participants, and the unpredictability of agent behaviour, since agents have to be considered as black-boxes. The utilisation of technical trust within adaptive collaboration strategies has been shown to counter negative effects caused by these characteristics. A major challenge in this context is the presence of colluding attackers that try to exploit or damage the system in a coordinated fashion. Therefore, this paper presents a novel approach to detect and isolate such colluding attackers. The concept is based on observations of interaction patterns and derives a classification of agent communities. Within the evaluation, we demonstrate the benefit of the approach and highlight the highly reliable classification.

show abstract

Specifying Open Agent Systems: A Survey

Cited by 17 publications

References 45 publications

Conditional Commitments

Conditional Commitments

Normative Control: Controlling Open Distributed Systems with Autonomous Entities

Detecting Colluding Attackers in Distributed Grid Systems

Contact Info

Product

Resources

About