TY - GEN
T1 - Modelling and monitoring interdependent expectations
AU - Cranefield, Stephen
AU - Winikoff, Michael
AU - Vasconcelos, Wamberto
PY - 2012/12/1
Y1 - 2012/12/1
N2 - Previous research on modelling and monitoring norms, contracts andcommitments has studied the semantics of concepts such as obligation, permission,prohibition and commitment; languages for expressing behavioural constraints(such as norms or contracts) to be followed by agents in specific contexts;and mechanisms for run-time monitoring of fulfilment and violation ofthese constraints. However, there has been little work that provided all of thesefeatures while also allowing the current expectations of agents and the fulfilmentand violation of these expectations to be expressed as first-class constructs in thelanguage. This paper demonstrates the benefits of providing this capability byconsidering a variety of use cases and demonstrating how these can be addressedas applications of a previously defined temporal logic of expectations and an associatedmonitoring technique.
AB - Previous research on modelling and monitoring norms, contracts andcommitments has studied the semantics of concepts such as obligation, permission,prohibition and commitment; languages for expressing behavioural constraints(such as norms or contracts) to be followed by agents in specific contexts;and mechanisms for run-time monitoring of fulfilment and violation ofthese constraints. However, there has been little work that provided all of thesefeatures while also allowing the current expectations of agents and the fulfilmentand violation of these expectations to be expressed as first-class constructs in thelanguage. This paper demonstrates the benefits of providing this capability byconsidering a variety of use cases and demonstrating how these can be addressedas applications of a previously defined temporal logic of expectations and an associatedmonitoring technique.
UR - http://www.scopus.com/inward/record.url?scp=84872439700&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-35545-5_9
DO - 10.1007/978-3-642-35545-5_9
M3 - Published conference contribution
AN - SCOPUS:84872439700
SN - 9783642355448
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 149
EP - 166
BT - Coordination, Organizations, Institutions, and Norms in Agent System VII - COIN 2011 International Workshop, COIN@WI-IAT 2011, Revised Selected Papers
T2 - 7th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent System VII - IEEE/WIC/ACM International Conference on Intelligent Agent Technology, COIN@WI-IAT 2011
Y2 - 22 August 2011 through 22 August 2011
ER -