Checking regulation consistency by using SOL-resolution

Abstract

This paper addresses the problem of regulation consistency checking. Regulations are sets of rules which express what is obligatory, permitted, forbidden and under which conditions. We first define a first order language to model regulations. Then we introduce a definition of regulation consistency. We show that checking the consistency of a regulation comes to generate some particular consequences of some first order formulas. Then, we show that we can apply Inoue's inference rule, SOL-resolution, which is complete for generating, from some clauses, their consequences which satisfy a given condition.