Verification Within the KARO Agent Theory

Hustadt, Ullrich; Dixon, Clare; Schmidt, Renate A.; Fisher, Michael; Meyer, John‐Jules Ch.; Hoek, Wiebe van der

doi:10.1007/1-84628-271-3_7

Cited by 8 publications

(4 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Indeed, we have used such an approach to provide a basis for verification of the powerful KARO framework [42] in which agents can reason about information dynamically. However, combined modal and temporal logics of this form can be complex [15] and we are working on improving efficiency of the proof process wherever possible.…”

Section: Verificationmentioning

confidence: 99%

Temporal Development Methods for Agent-Based

Fisher

2005

Auton Agent Multi-Agent Syst

Self Cite

View full text Add to dashboard Cite

In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behaviour of individual agents, and the macro-level behaviour of multi-agent systems. We describe how formal specification, verification and refinement can all be developed using this temporal basis, and how implementation can be achieved by directly executing these formal representations. We also show how the basic framework can be extended in various ways to handle the representation and implementation of agents capable of more complex deliberation and reasoning.

show abstract

Section: Verificationmentioning

confidence: 99%

Temporal Development Methods for Agent-Based

Fisher

2005

Auton Agent Multi-Agent Syst

Self Cite

View full text Add to dashboard Cite

show abstract

“…Our approach concerns the use of formal methods for agent development and, in particular, the use of modal and temporal logics [26,19]. We have used the combination of modal and temporal logics and translations into fragments of classical first-order logics to reason about the KARO agent framework [33].…”

Section: Formal Specification Of Agent-based Systemsmentioning

confidence: 99%

Time in Liverpool - an overview of temporal research in the logic and computation group

2005

12th International Symposium on Temporal Representation and Reasoning (TIME'05)

View full text Add to dashboard Cite

We provide an overview of the temporal research in the Logic and Computation Group at the University of Liverpool. While we cover both recent and current work, a more comprehensive document and list of references is available from the above web site or the web pages of individual group members.Members of the group have been instrumental in developing, and defining, research into reasoning and execution techniques for temporal logics and multi-modal and description logics. Since the application of logical techniques within complex systems has shown the need for effective ways for handling combinations of modal and temporal logics, work within the group has led to key results in this area and members of the group have contributed to leading publications in the field [3,42,27,21].

show abstract

“…Starting from these basic attitudes, preferences, goals and commitments can be modeled. Different methods for realizing automated reasoning within agent-based systems modeled using the KARO framework are discussed in (Hustadt et al 2001a;Hustadt et al 2001b).…”

Section: Related Workmentioning

confidence: 99%

Logic-based specification languages for intelligent software agents

Mascardi¹,

Martelli

Sterling

2004

Theory and Practice of Logic Programming

View full text Add to dashboard Cite

The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very lively research sub-field studies how formal methods can be used for AOSE. This paper presents a detailed survey of six logic-based executable agent specification languages that have been chosen for their potential to be integrated in our ARPEGGIO project, an open framework for specifying and prototyping a MAS. The six languages are ConGolog, AGENT-0, the IMPACT agent programming language, Dylog, Concurrent METATEM and E hhf . For each executable language, the logic foundations are described and an example of use is shown. A comparison of the six languages and a survey of similar approaches complete the paper, together with considerations of the advantages of using logic-based languages in MAS modeling and prototyping.

show abstract

Verification Within the KARO Agent Theory

Cited by 8 publications

References 34 publications

Temporal Development Methods for Agent-Based

Temporal Development Methods for Agent-Based

Time in Liverpool - an overview of temporal research in the logic and computation group

Logic-based specification languages for intelligent software agents

Contact Info

Product

Resources

About