14,418 Hits in 4.7 sec

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

Michael Wooldridge, Simon Parsons
2001 Lecture Notes in Computer Science  
This article examines the issue of developing semantics for agent communication languages.  ...  A discussion is then presented, of the various options open to designers of agent communication languages, with respect the problem of verifying conformance.  ...  Example 1: Classical propositional logic For our first example, we define a simple agent communication framework f in 1 which agents communicate by exchanging formulae of classical propositional logic.  ... 
doi:10.1007/3-540-44723-7_5 fatcat:gi2g4hg6ybhmdo5y7ekubjzymq

On the Specification and Enforcement of Privacy-Preserving Contractual Agreements [chapter]

Gerardo Schneider
2016 Lecture Notes in Computer Science  
We do not provide a technical solution to the problem but rather give an overview of a framework for such an enforcement, and briefly discuss related work and ideas on how to address part of the framework  ...  and verification), logics, security, and legal analysis and formalization of law.  ...  Other approach for privacy, not based on epistemic logic, is Relationshipbased access control (REBAC) [9] , where the reasoning is focused on the resources owned by the agents.  ... 
doi:10.1007/978-3-319-47169-3_34 fatcat:4sqqcnmwhvhtrf4d56nzxyj4we

Monitoring norms: a multi-disciplinary perspective

Mehdi Dastani, Paolo Torroni, Neil Yorke-Smith
2018 Knowledge engineering review (Print)  
Monitoring of norms is foundational for processes of accountability, enforcement, regulation and sanctioning.  ...  Starting with a broad focus and narrowing to the multi-agent systems literature, this survey addresses four key questions: what is monitoring, what is monitored, who does the monitoring and how the monitoring  ...  Acknowledgements We thank the reviewers for their suggestions which improved the article. Thanks to C. M. Karam.  ... 
doi:10.1017/s0269888918000267 fatcat:yquw5xwfv5hexkeyljdo6lyhai

An Intelligent Data Integration Approach for Collaborative Project Management in Virtual Enterprises

S. Bergamaschi, G. Gelati, F. Guerra, M. Vincini
2005 World wide web (Bussum)  
The developed system is composed of a collaborative project management component supported by a web interface, a multi-agent data integration system, which supports information sharing and querying, and  ...  The system was developed by the University of Modena and Reggio Emilia, Gruppo Formula S.p.A. and tested by Alenia Spazio S.p.A. within the EU WINK Project (Web-linked Integration of Network based Knowledge  ...  for managing internal communication.  ... 
doi:10.1007/s11280-005-2322-7 fatcat:sbdl7yccuvgsbin4dk4oqt6dyu

Rule Determination and Process Verification Using Business Capabilities [chapter]

Thomas Stuht, Andreas Speck, Sven Feja, Sören Witt, Elke Pulvermüller
2012 Lecture Notes in Business Information Processing  
We propose to use the business capabilities for an efficient and easily understandable definition of rules to perform this verification.  ...  We present a tool based approach to automate this verification integrated in a unique system with a common user interface.  ...  One variant of the temporal logic is the branching-time logic (Computation Tree Logic; CTL), which is suitable for the verification of business processes.  ... 
doi:10.1007/978-3-642-34549-4_4 fatcat:pstymkqct5bf7nhzs3mlqjseqq

Security and Privacy of Protocols and Software with Formal Methods [chapter]

Fabrizio Biondi, Axel Legay
2016 Lecture Notes in Computer Science  
The protection of users' data conforming to best practice and legislation is one of the main challenges in computer science.  ...  for what purpose.  ...  The Protocol Level Protocols model the exchange of communications and data between agents to obtain a common goal.  ... 
doi:10.1007/978-3-319-47166-2_61 fatcat:ygef2jw6dneabg7dgdskc26pz4

Verifiable Self-Aware Agent-Based Autonomous Systems

Louise A. Dennis, Michael Fisher
2020 Proceedings of the IEEE  
Beyond being a useful abstract concept, agents also provide a practical engineering approach for building the core software in autonomous systems such as robots and vehicles.  ...  Furthermore, this ability to transparently capture such decision making processes, and especially being able to expose their intentions, within an agent allows us to apply strong (formal) agent verification  ...  Finally, in our case, the base formal logic used is a temporal logic of belief, intention, and action.  ... 
doi:10.1109/jproc.2020.2991262 fatcat:s27fwtk7bnelrfau66ddp6cbtu

Formal Specification Method for Gaia Methodology

Laith Obidat
2021 International Journal of Computer Applications  
In this research, I will give a solution by doing formal specifications method for GAIA methodology which is one of the methods used in multi-agent systems.  ...  This step will enhance the specification based-on Object Constraints Language (OCL).  ...  as agent-based system for monitoring and diagnosing faults in nuclear power plants" [3] .  ... 
doi:10.5120/ijca2021921350 fatcat:mw3azum6oberfdph2ytbcj6bfu

Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? [chapter]

Matteo Baldoni, Cristina Baroglio, Viviana Mascardi, Andrea Omicini, Paolo Torroni
2010 Lecture Notes in Computer Science  
This is the case of Basic Institutions, formally defined in [39] , and founded on the social interpretation of agent communicative acts, and of Logic-based Electronic Institutions [172], first-order logic  ...  we will shortly report some examples of existing declarative languages and frameworks for the specification, verification, implementation and prototyping of agents and MAS. What?  ...  Acknowledgments The authors acknowledge Alexander Pokahr and Lars Braubach for their support in describing Jadex applications, and Maaike Harbers and Mehdi Dastani for the help in describing 2APL ones.  ... 
doi:10.1007/978-3-642-14309-0_10 fatcat:xook75zcjrhdbpoqqlq4ck2rmy

Introduction to the 30th International Conference on Logic Programming Special Issue

2014 Theory and Practice of Logic Programming  
Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again appear  ...  Semantic Web, Agents, Artificial Intelligence, Bioinformatics.  ...  of a complete ASP-based agent architecture.  ... 
doi:10.1017/s1471068414000581 fatcat:6fczd6mhxjcutozkk6t23lvn5e

Automated analysis and verification of agent behavior

Tibor Bosse, Dung N. Lam, K. Suzanne Barber
2006 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06  
This paper presents an integrated approach for the analysis and verification of behaviors of agentbased systems.  ...  The approach is a result of collaboration between the Tracer Tool and the TTL Checker, which together automate the analysis and verification of agents in an implemented agent system with the aim of aiding  ...  The authors are grateful to Jan Treur for his constructive comments, and to David Han for the development and analysis of the agents in the UAV system.  ... 
doi:10.1145/1160633.1160876 dblp:conf/atal/BosseLB06 fatcat:jg7b44ycrngqlnw3y5aw7rql5q

DataProVe: Fully Automated Conformance Verification Between Data Protection Policies and System Architectures

Vinh Thong Ta, Max Hashem Eiza
2021 Proceedings on Privacy Enhancing Technologies  
In addition, we develop a fully automated algorithm based on logic, for verifying three types of conformance relations (privacy, data protection, and functional conformance) between a policy and an architecture  ...  This paper addresses the policy and system architecture design and propose two variants of privacy policy language and architecture description language, respectively, for specifying and verifying data  ...  Acknowledgement This research received no specific grant from any funding agency in the public, commercial, or not-for-profit sectors.  ... 
doi:10.2478/popets-2022-0028 fatcat:m4dqxeajqzcg5b4j65i7rlejfa

Formalizing and Guaranteeing* Human-Robot Interaction [article]

Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Ruediger Ehlers, Christoffer Heckman, Nils Jansen, Ross Knepper, Jan Křetínský, Shelly Levy-Tzedek, Jamy Li (+3 others)
2020 arXiv   pre-print
, and provides a roadmap for the challenges and the research needed to create formalized and guaranteed human-robot interaction.  ...  Researchers in HRI have made great strides in developing models, methods, and algorithms for robots acting with and around humans, but these "computational HRI" models and algorithms generally do not come  ...  The authors thank all fellow participants and the Schloss Dagstuhl -Leibniz Center for Informatics, for their support.  ... 
arXiv:2006.16732v1 fatcat:5mbki4a5hrba5ioum3x4wwueve

Towards an integrated approach for validating qualities of self-adaptive systems

Danny Weyns
2012 Proceedings of the 2012 Workshop on Dynamic Analysis - WODA 2012  
We illustrate the approach with excerpts of an initial study and discuss for each activity research challenges ahead.  ...  This approach integrates three activities: (1) model checking of the behavior of a self-adaptive system during design, (2) model-based testing of the concrete implementation during development, and (3)  ...  implementation. [2] proposes a methodology for the specification and verification of self-adaptive systems, combining communicating sequential processes (CSP) models with properties specified in LTL.  ... 
doi:10.1145/2338966.2336803 dblp:conf/issta/Weyns12 fatcat:75xsi3hrqvdgtjihjcg7mzb2km

A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications [chapter]

Zoé Drey, Julien Mercadal, Charles Consel
2009 Lecture Notes in Computer Science  
Furthermore, we have developed a compiler for Pantagruel and successfully used it for applications in various pervasive computing areas, such as home automation and building management.  ...  We have implemented a visual environment to develop taxonomies and orchestration rules.  ...  Alex shared his enthousiasm for Game Blender and answered numerous questions about it. This tool has been a major source of inspiration for Pantagruel.  ... 
doi:10.1007/978-3-642-03034-5_5 fatcat:xuh5t6bxmjembe6gcntmphvzwm
« Previous Showing results 1 — 15 out of 14,418 results