9,557 Hits in 6.3 sec


Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni
2007 Computational intelligence  
The concept of an agent is increasingly used in contemporary software applications, particularly those involving the Internet, autonomous systems, or cooperation.  ...  We present a roadmap of research into the use of computational logic in agent-based systems and survey much of the recent work in these areas.  ...  verification of multi-agent systems  ... 
doi:10.1111/j.1467-8640.2007.00295.x fatcat:c76gbfuuwngjpk7ebs2jkpfxfi

Robotics and Integrated Formal Methods: Necessity Meets Opportunity [chapter]

Marie Farrell, Matt Luckcuck, Michael Fisher
2018 Lecture Notes in Computer Science  
Robotic systems are multi-dimensional entities, combining both hardware and software, that are heavily dependent on, and influenced by, interactions with the real world.  ...  This, together with the sheer complexity of robotic systems, leads us to argue that diverse formal techniques must be integrated in order to develop, verify, and provide certification evidence for, robotic  ...  The model of the agent can be used for both design-and run-time verification. A formal model of a style of agent system using Z has been devised that gives its agents a formal semantics [12] .  ... 
doi:10.1007/978-3-319-98938-9_10 fatcat:kklbl7yxjzdb5exiom2z5valma

A Formal Approach to Design and Reuse Agent and Multiagent Models [chapter]

Vincent Hilaire, Olivier Simonin, Abder Koukam, Jacques Ferber
2005 Lecture Notes in Computer Science  
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion.  ...  We present this approach through the specification of the satisfaction-altruism model which has been used to design situated multi-agent systems.  ...  First a formal specification of a multi-agent model is given then it is refined for a specific application.  ... 
doi:10.1007/978-3-540-30578-1_10 fatcat:tyovnrijpndh7a6h5ss56qeity

Formal Specification and Verification of Autonomous Robotic Systems: A Survey [article]

Matt Luckcuck, Marie Farrell, Louise Dennis, Clare Dixon, Michael Fisher
2019 arXiv   pre-print
This paper systematically surveys the state-of-the-art in formal specification and verification for autonomous robotics.  ...  Specially, it identifies and categorises the challenges posed by, the formalisms aimed at, and the formal approaches for the specification and verification of autonomous robotics.  ...  To this end, Smith and Li [159] present MAZE, an extension of Object-Z for multi-agent systems, which includes Back's action refinement.  ... 
arXiv:1807.00048v3 fatcat:ssc63easujgijisrznyzwo7ieq

A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour [chapter]

Petros Kefalas, Ioanna Stamatopoulou, Marian Gheorghe
2005 Lecture Notes in Computer Science  
This paper presents a formal modelling framework based on Communicating X-machines, allowing the specification of multi-agent software systems with a dynamic structure and behaviour.  ...  Modelling of individual agents within such systems demands considering both evolving data structures and the control over their internal changing states.  ...  Wider approaches formally specify multi-agent systems and then directly execute the specification while verifying important temporal properties [11] .  ... 
doi:10.1007/11559221_13 fatcat:eagt3u2q7fanlcypzsknjorb7q

Formal Specification and Prototyping of Multi-agent Systems [chapter]

Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller
2000 Lecture Notes in Computer Science  
This paper presents a multi agent-oriented prototyping approach. It is a generic approach, applicable to a wide range of multi-agent systems.  ...  This model allows for a simple description of both individual and collective multi-agent system aspects.  ...  The second is to guide subsequent design, implementation and verification phases. A variety of specification formalisms are available in the multi-agent field.  ... 
doi:10.1007/3-540-44539-0_9 fatcat:kfehpx5mzjarniwtdzwdv2hcpa

Intelligent agent for formal modelling of temporal multi-agent systems

Awais Qasim, Zeeshan Aziz, Syed Asad Raza Kazmi, Adnan Khalid, Ilyas Fakhir, Jawad Hassan
2020 International Journal on Smart Sensing and Intelligent Systems  
Previous works in this domain have used Z language which is not expressive to model the distributed communication process of agents.  ...  The novelty of our work is that we specified the non-terminating behavior of agents using active class concept of TCOZ and expressed the distributed communication among agents.  ...  Hence, we provide a complete formal specification of our self-adaptive real-time agent using Timed Communicating Object-Z (TCOZ).  ... 
doi:10.21307/ijssis-2020-003 fatcat:wklhnnfst5hyrclhnfgtjsqthi

Verification of JADE Agents Using ATL Model Checking

Laura Florentina Stoica, Florin Stoica, Florian Mircea Boian
2015 International Journal of Computers Communications & Control  
In this paper we present an advanced technique to analyse, design and debug JADE software agents, using Alternating-time Temporal Logic (ATL) which is interpreted over concurrent game structures, considered  ...  tool, allows an interactive construction of the concurrent game structures as a directed multi-graphs and the ATL Checker, the core of our tool, represents the server part and is published as Web service  ...  Model checking is a technology widely used for the automated system verification and represents a technique for verifying that finite state systems satisfy specifications expressed in the language of temporal  ... 
doi:10.15837/ijccc.2015.5.803 fatcat:jcei5oar3nbebjtii2kmwzgglu

Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020

Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
2021 Journal of Sensor and Actuator Networks  
Multi-agent systems, robotics and software engineering are large and active research areas with many applications in academia and industry.  ...  The First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA), organised the first time in 2020, aims at encouraging cross-disciplinary collaborations and exchange of ideas among researchers  ...  However, multi-agent applications are posing a new set of challenges for the verification and validation (V&V) activities.  ... 
doi:10.3390/jsan10020033 fatcat:t5yc7cx3rrfq5dahmpgoa5pj2u

Verifiable Multi-agent Programs [chapter]

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge
2004 Lecture Notes in Computer Science  
The primary advantage of this approach is that Java is the language of choice for most agent implementations, and the approach is thus much closer to the current practice of agent development than the  ...  We examine both alternatives by means of a practical application, provide a qualitative comparison between them, and identify some key issues for future research.  ...  Acknowledgements This research was supported by a Marie Curie Fellowship of the European Community programme Improving Human Potential under contract number HPMF-CT-2001-00065.  ... 
doi:10.1007/978-3-540-25936-7_4 fatcat:ac5fgsmmnjgihg6xd7b3uzjlfu

Principles of component-based design of intelligent agents

Frances M.T. Brazier, Catholijn M. Jonker, Jan Treur
2002 Data & Knowledge Engineering  
, specification and verification.  ...  An overview is given of reusable generic models (design patterns) for different types of agents, problem solving methods and tasks, and reasoning patterns. Examples of supporting tools are described.  ...  On the one hand, general-purpose formal specification languages stemming from Software Engineering are applied to the specification of multi-agent systems (e.g., [35] , [40] for approaches using Z,  ... 
doi:10.1016/s0169-023x(01)00058-1 fatcat:bt7t5upxdvfane3u46zqd4eg64

Executing Logical Agent Specifications [chapter]

Michael fisher, Anthony Hepple
2009 Multi-Agent Programming  
This basic execution of temporal formulae provides us with the foundation for agent programming.  ...  In addition, the temporal basis provides us with ways of having multiple active 'goals' and being able to achieve several at once.  ...  Many people have influenced the current METATEM implementation but Benjamin Hirsch and Chiara Ghidini must be thanked for their significant contribution to the current implementation and agent grouping  ... 
doi:10.1007/978-0-387-89299-3_1 fatcat:lubtpdqe7rdd7ny4aa5vdpvoe4

Agent-Oriented Software Engineering: The State of the Art [chapter]

Michael Wooldridgey, Paolo Ciancarini
2001 Lecture Notes in Computer Science  
We then go on to examine a number of prototype techniques proposed for engineering agent systems, including methodologies for agent-oriented analysis and design, formal specification and verification methods  ...  for agent systems, and techniques for implementing agent specifications.  ...  primarily on the theory of agents, but also contains an extensive review of agent architectures and programming languages.  ... 
doi:10.1007/3-540-44564-1_1 fatcat:afxxzbbww5azveaju6vx3kpt7q

Issues in the Design of Negotiation Protocols for Logic-Based Agent Communication Languages [chapter]

Michael Wooldridge, Simon Parsons
2001 Lecture Notes in Computer Science  
Using this framework, a number of example agent communication frameworks are defined.  ...  This article examines the issue of developing semantics for agent communication languages.  ...  However, most current multi-agent applications do not lend themselves to such techniques.  ... 
doi:10.1007/3-540-44723-7_5 fatcat:gi2g4hg6ybhmdo5y7ekubjzymq

Model Checking of Multi Agent System Architectures Using BigMC

Ahmed Taki Eddine Dib, Zaidi Sahnoun
2015 Proceedings of the 2015 Federated Conference on Computer Science and Information Systems  
In [18] and [19] are abstract formal models for developing formal specifications of multi-agent systems these approachs uses the Z notation as formal foundation.  ...  Fisher in [20] describes the first steps towards a formal specification and verification of multiagent systems using Concurrent METATEM and the temporal belief logics.  ... 
doi:10.15439/2015f300 dblp:conf/fedcsis/DibS15 fatcat:gpnrvjd2azdbvd7j4tf46thzgm
« Previous Showing results 1 — 15 out of 9,557 results