Provided by: Griffith University
Topic: Big Data
The authors propose algorithms to synthesize the specifications modeling the capabilities of an agent, the environment they acts in, and the governing norms, into a process graph. This process graph corresponds to a collection of courses of action and represents all the licit alternatives the agent may choose to meet their outcomes. The starting point is a compliant situation, i.e., a situation where an agent is capable of reaching all their outcomes without violating the norms. In this case, the resulting process will be compliant by design.