<link rel="Stylesheet" href="/infosci/styles.css" type="text/css"> <h2>Information Science Discussion Papers Series: 2005 Abstracts</h2> <hr> <h3><a name="dp2005-01">2005/01: A rule language for modelling and monitoring social expectations in multi-agent systems</a></h3> <h4>S. Cranefield</h4> <p>This paper proposes a rule language for defining social expectations based on a metric interval temporal logic with past and future modalities and a current time binding operator. An algorithm for run-time monitoring compliance of rules in this language based on formula progression is also presented.</p> <p><a href="http://www.business.otago.ac.nz/infosci/pubs/papers/papers/dp2005-01.pdf">Download</a> (PDF, 192KB)</p>