Combinatorial diversity metrics for the analysis of policy processes

08/19/2020
by   Mark Dukes, et al.
0

We present several completely general diversity metrics to quantify the problem-solving capacity of any public policy decision making process. This is performed by modelling the policy process using a declarative process paradigm in conjunction with constraints modelled by expressions in linear temporal logic. We introduce a class of traces, called first-passage traces, to represent the different executions of the declarative processes. Heuristics of what properties a diversity measure of such processes ought to satisfy are used to derive two different metrics for these processes in terms of the set of first-passage traces. These metrics turn out to have formulations in terms of the entropies of two different random variables on the set of traces of the processes. In addition, we introduce a measure of `goodness' whereby a trace is termed good if it satisfies some prescribed linear temporal logic expression. This allows for comparisons of policy processes with respect to the prescribed notion of `goodness'.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/07/2022

Stakeholder utility measures for declarative processes and their use in process comparisons

We present a method for calculating and analyzing stakeholder utilities ...
research
01/18/2021

Efficient Monitoring of Hyperproperties using Prefix Trees

Hyperproperties, such as non-interference and observational determinism,...
research
04/23/2023

Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives

This paper studies temporal planning in probabilistic environments, mode...
research
09/23/2020

LTLf Synthesis on Probabilistic Systems

Many systems are naturally modeled as Markov Decision Processes (MDPs), ...
research
11/30/2022

Monitoring Arithmetic Temporal Properties on Finite Traces

We study monitoring of linear-time arithmetic properties against finite ...
research
08/27/2018

Trace and Testing Metrics on Nondeterministic Probabilistic Processes

The combination of nondeterminism and probability in concurrent systems ...
research
05/24/2020

Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors

A bitmap is a data structure designed to compactly represent sets of int...

Please sign up or login with your details

Forgot password? Click here to reset