A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Filters
COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS
2007
Computational intelligence
Preserved Fulltext
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]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2018 pre-print arXiv:1805.11996v2 fatcat:srk665yprbdjncbpx2l3yxfspaOther Versions
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2020
International Journal on Smart Sensing and Intelligent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2015
International Journal of Computers Communications & Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
Journal of Sensor and Actuator Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
2002
Data & Knowledge Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
, 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]
2009
Multi-Agent Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Proceedings of the 2015 Federated Conference on Computer Science and Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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