<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>