Number of the records: 1  

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

  1. 1.
    0435495 - ÚI 2015 RIV HK eng J - Journal Article
    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
    Institutional support: RVO:67985807
    Keywords : role model * description logic * integrity constraints * computational intelligence
    Subject RIV: IN - Informatics, Computer Science

    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.
    Permanent Link: http://hdl.handle.net/11104/0239321

     
     
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.