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

0435495 - ÚI 2015 RIV HK eng J - Článek v odborném periodiku
Neruda, Roman - Kazík, O.
Formal Social Norms and their Enforcement in Computational MAS by Automated Reasoning.
IAENG International Journal of Computer Science. Roč. 39, č. 1 (2012), s. 80-87. ISSN 1819-9224
Institucionální podpora: RVO:67985807
Klíčová slova: role model * description logic * integrity constraints * computational intelligence
Kód oboru RIV: IN - Informatika

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. This agent performs management of the system: keeping track of the actual state of the system, querying the model and checking its social norms. Agents in the system can thus act in a sociable way especially in complicated configurations. Algorithms controlling agents in a computational intelligence modeling scenario are shown.
Trvalý link: http://hdl.handle.net/11104/0239321