Reasoning about norm violation and time is of central concern to the regulation of multi-agent system behavior. Here we continue work in [2] on an approach to reasoning about norms, obligations, time and agents, involving three main ingredients. First, we assume a branching temporal structure representing the change of propositions over time. Second, we use an algorithm that, given the input of the branching temporal structure and a set of norms, produces an 'obligation labeling' of the temporal structure. Finally, we reason about the norms represented by these deontically labeled temporal structures to deter-mine norm redundancy and equivalence of normative systems.
展开▼