Output details
11 - Computer Science and Informatics
Lancaster University
Output title
Commitments with regulations: reasoning about safety and control in REGULA
Type
E - Conference contribution
DOI
-
Name of conference/published proceedings
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '11)
Volume number
-
Issue number
-
First page of article
467
ISSN of proceedings
-
Year of publication
2011
Number of additional authors
5
Additional information
<22> The novel contribution of this paper is the definition of a social safety property for distributed agents. An agent's commitment to another often involves temporal constraints over which only others have control. The social safety property holds if the agent has commitments from others about those things before it fulfills its own commitments. Social safety solves a weakness with the use of commitments for specifying distributed agent interactions. Hitherto, commitments’ declarative style was good for capturing the semantics of agents’ interactions, but temporal constraints were difficult to handle.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
-
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
