Automated Interpretation of Agent Behaviour

Lam, Dung N.; Barber, K. Suzanne

doi:10.1007/11916291_1

Cited by 4 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Two different methods are used to analyze traces: the first involves examining the sequence of messages exchanged between agents, while the second utilizes data mining techniques to verify if the knowledge provided by the system designer can be identified within the multi-agent system, with the objective of detecting and explaining bugs. A combination of these two approaches is explored in the paper [5].…”

Section: Trace Analysismentioning

confidence: 99%

How Variables Graphs May Help to Correct Erroneous MAS Specifications

Mermet,

Simon

2024

Lecture Notes in Networks and Systems

View full text Add to dashboard Cite

This paper is situated in the context of multi-agent systems validation using theorem proving techniques. This document presents a preliminary case study, which is a part of a broader investigation aiming to explore whether such techniques could aid developers in detecting and characterizing errors in MAS specifications. Indeed, regardless of the verification system used (model checking or theorem proving), understanding the reason of a failure in order to correct the specification is most of the time rather difficult. In this article, we propose a method that may help in this task. This method relies on the variables (and their dependencies) that appear in proof obligations generated by GDT4MAS, a specification and verification method dedicated to Multi-Agent Systems. Graphs generated thanks to dependencies between variables occurring in an unproved theorem may indeed help to identify certain types of mistakes, giving a way to correct the specification.

show abstract

Section: Trace Analysismentioning

confidence: 99%

How Variables Graphs May Help to Correct Erroneous MAS Specifications

Mermet,

Simon

2024

Lecture Notes in Networks and Systems

View full text Add to dashboard Cite

show abstract

“…A formal method is one such tool that uses mathematical based techniques and constructs to specify software systems. The inconsistencies, ambiguities, and uncertainties while specifying software systems can be overcome by the use of formal methods [1].…”

Section: Introductionmentioning

confidence: 99%

A formal specification language for modeling agent systems

Subburaj

Urban

2013

2013 Second International Conference on Informatics &Amp; Applications (ICIA)

View full text Add to dashboard Cite

Formal methods in software specification enable the development of reliable software with a reduction in magnitude of unidentified errors that might occur while developing software systems. The state of the practice with regards to formal methods in software specification, as well as in other phases of the software life cycle, is not clear and well defined since the field is still immature. This paper defines the need for applying formal methods while specifying and developing software systems. The Descartes specification language, a formal executable specification language, was taken into study to specify software systems. A description of agent oriented systems along with the extended constructs of the Descartes specification language for specifying agent systems was defined in this research. A concrete agent architecture with a generalized notation for formally specifying agent oriented systems was defined in this paper. The integration of formally specifying complex systems using agent oriented technology with the extended Descartes language constructs will impact the current ways of specifying software systems. Also, the paper can help bridge the gap between the specification, design, and the implementation phases of software development.

show abstract