Checking Consistency in role oriented Dependence Networks
Guido Boella, Valerio Genovese, Leendert van der Torre, Serena Villata · 2009
In this paper we first formalize dependence networks that can be automaticaly build to model goalbased relationships among agents. Then, we propose three algorithms to build and check the consistency of a dependence network. We start presenting the elements composing our ontology such as agents, goals, skills, dependencies with the addition of the institutional notions of roles, institutional goals, institutional skills. We investigate the reasons behind the possible inconsistencies in building the combined dependence network and we propose an algorithm to check them