Reasoning about Policies using Logic Programs
Tran Cao Son, Jorge Lobo · 2001
We use a simplied version of the Policy Description Language PDL introduced in (Lobo, Bhatia, & Naqvi 1999) to represent and reason about policies. In PDL a policy description is a collection of Event-ConditionAction -Rules that denes a mapping from event histories into action histories. In this paper we introduce the generation problem: nding an event history generating an action history, and state its complexity. Because of its high complexity we present a logic programmingbased semantics for policies and encode sound and complete solution of the generation problem using the stable model semantics of logic programs. We also identify a subclass of policies where the generation problem can be solved in polynomial time.