A rule language for modelling and monitoring social expectations in multi-agent systems
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 1659-1659.
Abstract
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 outlined.
Stephen Cranefield. 2005. A rule language for modelling and monitoring social expectations in multi-agent systems. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 1659–1659. https://ijcai.org/proceedings/2005/248
Cranefield, S. (2005). A rule language for modelling and monitoring social expectations in multi-agent systems. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 (pp. 1659–1659). IJCAI. https://ijcai.org/proceedings/2005/248
@inproceedings{ijcai2005p248,
title = {A rule language for modelling and monitoring social expectations in multi-agent systems},
author = {Cranefield, Stephen},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {1659--1659},
year = {2005},
url = {https://ijcai.org/proceedings/2005/248},
}
TY - CPAPER TI - A rule language for modelling and monitoring social expectations in multi-agent systems AU - Cranefield, Stephen T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 1659 EP - 1659 UR - https://ijcai.org/proceedings/2005/248 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
