Formal Social Norms and Their Enforcement in Computational MAS by Automated Reasoning

Abstract

Role-based frameworks enrich multi-agent system models with new organizational concepts: roles and groups. We present a formalization of a role-based approach in description logics serving as the common organizational model both for the development process and the management of the system. A central authority of role ontology agent is proposed in this paper… (More)

Topics

5 Figures and Tables

Cite this paper

@inproceedings{Neruda2012FormalSN, title={Formal Social Norms and Their Enforcement in Computational MAS by Automated Reasoning}, author={Roman Neruda and Ondřej Kazı́k}, year={2012} }