Results 1 - 10
of
13
M.: Social commitments in time: Satisfied or compensated
"... Abstract. We define a framework based on computational logic technol-ogy and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We propose a new characteri-zation of commitments with time that enables a rich modeling of the domain, various forms of ..."
Abstract
-
Cited by 20 (12 self)
- Add to MetaCart
(Show Context)
Abstract. We define a framework based on computational logic technol-ogy and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We propose a new characteri-zation of commitments with time that enables a rich modeling of the domain, various forms of reasoning, and run-time and static verification. 1
Autonomous agents coordination: Action languages meet CLP() and Linda. Theory and Practice of Logic Programming 13(2):149–173
, 2013
"... The paper presents a knowledge representation formalism, in the form of a high-level Action Description Language (ADL) for multi-agent sys-tems, where autonomous agents reason and act in a shared environment. Agents are autonomously pursuing individual goals, but are capable of interacting through a ..."
Abstract
-
Cited by 4 (1 self)
- Add to MetaCart
(Show Context)
The paper presents a knowledge representation formalism, in the form of a high-level Action Description Language (ADL) for multi-agent sys-tems, where autonomous agents reason and act in a shared environment. Agents are autonomously pursuing individual goals, but are capable of interacting through a shared knowledge repository. In their interactions through shared portions of the world, the agents deal with problems of synchronization and concurrency; the action language allows the descrip-tion of strategies to ensure a consistent global execution of the agents ’ au-tonomously derived plans. A distributed planning problem is formalized by providing the declarative specifications of the portion of the problem pertaining a single agent. Each of these specifications is executable by a stand-alone CLP-based planner. The coordination among agents ex-ploits a Linda infrastructure. The proposal is validated in a prototype implementation developed in SICStus Prolog.
Huhns. Distributed coordination of an agent society based on obligations and commitments to negotiated agreements
- In Paul Scerri, editor, Challenges in the Coordination of Large-Scale Multiagent Systems
, 2005
"... Summary. This chapter discusses coordination from a commitment basis. Typically, commitments are established via a process of negotiation between the parties— the debtor and creditor—involved in the commitment. We define obligations to be those commitments, sometimes termed norms or social commitmen ..."
Abstract
-
Cited by 4 (4 self)
- Add to MetaCart
(Show Context)
Summary. This chapter discusses coordination from a commitment basis. Typically, commitments are established via a process of negotiation between the parties— the debtor and creditor—involved in the commitment. We define obligations to be those commitments, sometimes termed norms or social commitments, without a clearly identifiable creditor. The establishment of a commitment occurs in response to the adoption of a goal or the acceptance and performance of a task. Using a service-oriented computing (SOC) context, we describe an efficient negotiation process for establishing commitments. We then show how commitments and obligations can be used to monitor and control the aggregate behavior of a group of agents to yield coordinated progress towards the agents ’ overall objective. 1
P.: Monitoring Time-Aware Social Commitments with Reactive Event Calculus
- Proceedings of the 7th International Symposium “From Agent Theory to Agent Implementation” (AT2AI-7
, 2010
"... Despite their dynamic nature, social commit-ments have been rarely used for monitoring purposes, and few attention has been paid to the relationship between commitments and the temporal dimension and to the corre-sponding run-time verification. Building on previous work, we present a declarative ax- ..."
Abstract
-
Cited by 3 (3 self)
- Add to MetaCart
Despite their dynamic nature, social commit-ments have been rarely used for monitoring purposes, and few attention has been paid to the relationship between commitments and the temporal dimension and to the corre-sponding run-time verification. Building on previous work, we present a declarative ax-iomatization of time-aware social commit-ments, extending their basic life cycle with time-related transitions and with compensa-tion mechanisms. The formalization is based on a reactive version of the Event Calculus, which supports the monitoring of the com-mitments evolution during a system’s execu-tion, checking if the interacting agents are honoring them or not. 1
An obligation-based framework for web service composition via agent conversations
"... Abstract. This paper presents a framework for web service composition based on social norms, particularly obligations. Web services are implemented and orchestrated by agents. Agent interaction is defined by means of obligations. Then, obligationbased agent conversations are translated into a web s ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract. This paper presents a framework for web service composition based on social norms, particularly obligations. Web services are implemented and orchestrated by agents. Agent interaction is defined by means of obligations. Then, obligationbased agent conversations are translated into a web service composition method. Web services' functionalities are conceived as a set of actions with preconditions and effects, both expressed in terms of obligations that are adopted by agents as goals. In addition, an agent communication language that defines how messages affect agents' states, and as a consequence, the access to the services is presented. Moreover, a method for automatically creating generic composer agents is proposed. Composer agents are capable of managing and composing web services by means of inducing obligations to agents that implement and orchestrate web services.
Knowledge-Based Systems xxx (2012) xxx–xxx Contents lists available at SciVerse ScienceDirect Knowledge-Based Systems journal homepage: www.elsevier.com/locate/knosys
"... ..."
(Show Context)
Complexity Analysis
, 2012
"... This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final form. ..."
Abstract
- Add to MetaCart
(Show Context)
This is a PDF file of an unedited manuscript that has been accepted for publication. As a service to our customers we are providing this early version of the manuscript. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published in its final form. Please note that during the production process errors may be discovered which could affect the content, and all legal disclaimers that apply to the journal pertain. Communicative Commitments: Model Checking and
BAAC: A Prolog System for Action Description and Agents Coordination ∗
"... The paper presents a system for knowledge representation and coordination, where autonomous agents reason and act in a shared environment. Agents autonomously pursue individual goals, but can interact through a shared knowledge repository. In their interactions, agents deal with problems of synchron ..."
Abstract
- Add to MetaCart
(Show Context)
The paper presents a system for knowledge representation and coordination, where autonomous agents reason and act in a shared environment. Agents autonomously pursue individual goals, but can interact through a shared knowledge repository. In their interactions, agents deal with problems of synchronization and concurrency, and have to realize coordination by developing proper strategies in order to ensure a consistent global execution of their autonomously derived plans. This kind of knowledge is modeled using an extension of the action description language B. A distributed planning problem is formalized by providing a number of declarative specifications of the portion of the problem pertaining a single agent. Each of these specifications is executable by a stand-alone CLP-based planner. The coordination platform, implemented in Prolog, is easily modifiable and extensible. New user-defined interaction protocols can be integrated.
