public policy modeling using the datatags...

1
Background The task of policy analysts in a welfare state is to identify how fiscal and regulatory instruments are designing the welfare regime [1]. Thus, public policy scholars and practitioners are constantly investigating and improving the workings of public policies. They improve to process of creating such policies, examine how a given policy addresses various cases, and help insured people through the process of Naming, Blaming, and Claiming. This proof-of-concept shows how a formal model of a policy helps address these challenges. We use DataTags (datatags.org), a tool originally used for describing privacy and data handling policies [2], as a modeling tool for the unemployment benefits of the Israeli National Insurance law. The mathematical concept and tool set behind DataTags models are described in [3]. Method We created a Tags policy model for the unemployment chapter of the Israeli National Insurance Law. DataTags policy models are composed of two components: (1) policy space, an n-dimensional ordinal space describing all possible treatments of a specific case under the modeled policy; and (2) a decision graph, which describes a decision process for selecting a specific treatment for a specific case. The decision graph does not aim to replace human judgment with algorithmic decision making. Rather, it lists the possible answers a human can give for certain questions, and the implications these answers will have under the modeled law. Reading the articles and using Kol-Zchut (www.kolzchut.org.il) as an additional reference, we constructed the two parts of the model in parallel. The decision graph is phrased a questionnaire for a person, either a claimant or a practitioner, going through the process of naming the insured situation. The product of the decision graph are the social benefits provided by the National Insurance Institute for unemployment. Using the Tags tool set, we visualized the decision graph and the policy space. Additional byproduct is an interactive web-based user-friendly interface of the questionnaire. This interview is useful for laypeople and welfare practitioners alike. Tags models are human-readable and machine-actionable. Policy spaces can be standardized and re-used by multiple decision graphs. The framework allows operations over policies (e.g. comparison, composition), and resolution of predicates such as “Case C can be handled by program P”, making it easier to assign people to benefit programs. Tags’ tool set is open source, and provides tools for developing, inspecting, and querying policy models, a web application for conducting web-based interviews, and a language support package for the Atom text editor. Contribution We apply Tags, a framework for modeling data handling policies, to a welfare policy . The generated model is useful for assessing entitlements of specific cases, and for gaining insights into the modeled policy as a whole. Discussion We created the policy space of our model as consisting of two categories: assertions and entitlements. Each claimant has a set of assertions that apply to her. For instance, assertions for the unemployment benefits are set based on one’s insurance status, age group, having more or less than 3 dependents, etc. The policy space does not specify the sum to be provided. Rather, the entitlements are based on predefined possible answers that define the number of days for unemployment benefits and the percentage of entitled benefits. A claimant can be entitled to full benefits during the first time-period, and later the percentage drops during the second time-period (currently more than 125 days of unemployment benefits for the first time-period). The decision which assertions and entitlements apply to a specific case occurs in the decision graph. The decision graph can be viewed as a questionnaire: executed as an interactive computation program, where the computer asks the user questions and traverses the graph according to her answers. The decision graph can also be viewed to inspect all possible outcomes of a policy, as it describes the behavior of the modeled policy for every possible combination of answers. This initial attempt of defining the unemployment benefit policy space of the social insurance law demonstrates how legal modeling can make knowledge accessible and provide visibility into the works of the regulatory welfare state. In doing so, it increases the process transparency and aids policy-makers, scholars, lawyers, social workers, bureaucrats, and Israeli claimants. Using the web interview tool, the policy model enables Israeli claimants to understand whether they are entitled to unemployment benefits, and if so, in what percentage. Thus, claimants know whether they should go to the National Insurance Institute and initiate the process of claiming the unemployment benefits. Policy analysts can use the visualization tools to see the dynamics of the decision graphs and assert which sets of questions reach the same result. They can also use a query tool to find sets of answers that lead to unwanted results, helping them find loopholes in the modeled policy. In general, these analytic tools facilitate an accurate discussion about a policy. While accurate discussion is always good, it becomes even more important when examining alternative updates to a given policy. Implications and Future Work In order to allow larger, more accurate policy models, some improvements are needed. To list a few: One the conceptual level, policy spaces need to allow numeric dimensions (interestingly, these were not needed for data handling policies); sub-spaces of interest need to be described and automatically detected; general policy rules, such as “whenever X holds, Y cannot hold”, need to be incorporated into the model; decision graph is currently painfully procedural, which needs to be alleviated. On the technical level, tools for authoring, localizing, and collaborating over models need to be developed. Most of all, this concept needs to be used by multiple people for various policies so it can evolve. We hope providing policy makers and analysts with better policy modeling tools will facilitate better policy-related discussions, while at the same time provide claimants with transparency-enhancing mechanism to better interact with the naming-blaming-claiming process. Both, in hope, will ultimately improve public policies and the processes behind them. References [1] Levi-Faur, D. (2014). The welfare state: a regulatory perspective, Public Administration, 92, 3: 599–614. [2] Sweeney L, Crosas M, Bar-Sinai M. (2015). Sharing Sensitive Data with Confidence: The Datatags System. Technology Science. 2015101601. http:// techscience.org/a/2015101601 [3] Bar-Sina M, Sweeney L, and Crosas M. (2016). “DataTags, Data Handling Policy Spaces and the Tags Language,” IEEE Security and Privacy Workshops (SPW), San Jose, CA, 2016, pp. 1-8. doi: 10.1109/SPW.2016.11 Public Policy Modeling using the DataTags Toolset Michael Bar-Sinai, Computer Science, Ben Gurion University of the Negev and IQSS, [email protected] Rotem Medzini, Public Policy, The Hebrew University of Jerusalem, [email protected] DataTags DataTags The DataTags project is part of Privacy Tools for Sharing Research Data Project, a broad effort to advance a multidisciplinary understanding of data privacy issues and build computational, statistical, legal, and policy tools to help address these issues in a variety of contexts, It is a collaborative effort between Harvard’s Center for Research on Computation and Society, Institute for Quantitative Social Science, Berkman Klein Center for Internet & Society, Data Privacy Lab, and MIT Libraries’ Program on Information Science. The project is funded by the NSF Secure and Trustworthy Cyberspace project (grant CNS-1237235) with additional funding from Sloan foundation and Google, inc. Ben-Gurion University of the Negev Institute for Quantitative Social Science at Harvard University entitlements assertions one of: d50 d67 d100 d138 d175 numOfDays one of: AverageDailyPay TwoThirdsAverageDailyPay capping one of: NotCovered Covered SpecialCovered insuranceStatus one of: No Yes qualificationPeriodCompleted one of: Minor WorkForce Pension ageGroup some of coverCause one of: Employed NotUnemployed Unemployed employmentStatus one of: Male Female gender one of: No Yes eligibility one of: LessThanThree ThreeOrMore dependents MilitaryService NationalService Residence Employment DataTags Israel-NI.dg setCapping unemp-test [#1] eligibleMinorTest qualification-period start todo Set all welfare benefits to 0. Set entitlements=[capping:AverageDailyPay] setCapping ask Has it been more than 125 days since you started getting unemployment benefits? no Set entitlements=[capping:TwoThirdsAverageDailyPay] yes REJECT You are not considered 'Unmployed' Set entitlements=[numOfDays:d175] consider ask Have you resigned from your last job with no legitimate reason, within the last 90 days? 163d ask For people studying for the lawyers bar entry exams or licensing exams for certified public accountants, are you in the time frame between t... No REJECT You may be eligible for unemployment benefits after 90 days from your resignation yes ask How old are you? 35 and over Set entitlements=[numOfDays:d138] under 35 ask Were offered an appropriate job by the unemployment office, and refused? No ask Did you reject the offer during the last 90 days? yes setCapping setCapping Set assertions=[employmentStatus:Unemployed] No REJECT While studying to bar exams, you are not defined as 'unemployed'. yes Set entitlements=[numOfDays:d50] Set entitlements=[numOfDays:d67] Set entitlements=[numOfDays:d100] Set assertions=[qualificationPeriodCompleted:Yes] 163ae ask Are you a) registered at the unemployment office, b) capable of working in an appropriate job, c) not currently a soldier or in civil or nat... Set entitlements=[numOfDays:d175] unemp-test ask Are you currenly working? Set assertions=[employmentStatus:NotUnemployed] No Set assertions=[employmentStatus:Employed] yes ask Are you over 20 and below pension age? Set assertions=[eligibility:Yes] Set entitlements=[capping:AverageDailyPay] Set assertions=[employmentStatus:NotUnemployed] REJECT You may be eligible for unemployment benefits after 90 from the last rejection. consider else REJECT You did not complete your qualification period, and so not entitled to unemployment benefits. assertions=[qualificationPeriodCompleted:No] unemp-test-exceptions ask Are you a sole provider, or have a child for which you are the main provider? REJECT The unemployment part of the law does not cover your status. no qualification-period Yes No yes REJECT You are not eligible for unemployemnt benefits no Set assertions=[ageGroup:WorkForce] yes ask How old are you? Under 25 25-28 28-35 45 and over Set entitlements=[numOfDays:d138] 35-45 ask Do you have three or more dependents? entitlements=[numOfDays:d138] entitlements=[numOfDays:d175] else yes no yes Set assertions=[employmentStatus:NotUnemployed] no eligibleMinorTest unemp-test coverage/nationalSvc/wed ask Are you a woman who served at least 6 months and got married within 30 days of your actual discharge? Set assertions=[coverCause:{NationalService}] yes coverage/service/time-limit ask Were you discharged in within the last year? No REJECT Only Israeli residents are eligible. Set assertions=[coverCause:{MilitaryService}] Set assertions=[insuranceStatus:Covered coverCause:{Employment}] coverage/resident ask Are you a resident of Israel? no coverage/age ask Are you over 18? yes Set assertions=[insuranceStatus:Covered] coverage/nationalSvc ask Did you serve/volunteer in National Service or the National-Civil service for more than 2 years? no Set assertions=[coverCause:{NationalService}] yes coverage/employment ask Did your employer(s) in the last 12 months have to pay National Insurance? yes coverage/soldier ask Did you serve a mandatory military service? no yes no yes Set assertions=[insuranceStatus:NotCovered] no no yes eligibleMinorTest todo implement this Set assertions=[gender:Male] ask If you couldn’t work for reasons not within your control, were you employed for 12 months in a time period of 19 months? Set assertions=[qualificationPeriodCompleted:Yes] Set assertions=[qualificationPeriodCompleted:Yes] ask During the passed 18 months, were you absent from work while being paid readjustment fees due to the disengagement plan? Set assertions=[qualificationPeriodCompleted:Yes] yes Set assertions=[qualificationPeriodCompleted:No] No Set assertions=[qualificationPeriodCompleted:Yes] ask During the last 18 months, were there 12 month or more where you working, sick, serving in the military reserve for less than 6 months, or m... yes ask Would your previous answer change if you were asked about the last 12 month? No ask If you were sick or injured for a period of up to 6 months, were you employed for 12 months in a time period of 18 months plus the number of... Set assertions=[qualificationPeriodCompleted:Yes] yes ask Are you a woman? No ask If you were pregnant or had a miscarriage, were you employed for 12 months in a time period of 18 months plus the number of months you were ... Set assertions=[qualificationPeriodCompleted:Yes] yes No Set assertions=[gender:Female] Set assertions=[qualificationPeriodCompleted:Yes] ask If you were in professional training for a period of up to 12 months, were you employed for 12 months in a time period of 18 months plus the... No Set assertions=[qualificationPeriodCompleted:Yes] yes no yes ask If you were in professional training for a period of up to 12 months, were you employed for 12 months in a time period of 18 months plus the... yes No No yes yes No qualification-period ask During the last 18 months, were unemployment insurance fees paid on your behalf for at least 12 months? No Set assertions=[qualificationPeriodCompleted:Yes] yes Try an interactive interview: http://tinyurl.com/inii-tags Supporting mobile devices too! Learn More: http://datatags.org http://privacytools.seas.harvard.edu CLIRunner, the Tags model development tool, allows model developers to examine, query, and execute the model they work on. Currently the interface is text-based (see future work section) Decision graph for the unemplyment section of the Israeli National Insurance law. Above: visualization. Below: code Policy space for the unemplyment section of the Israeli National Insurance law. Above: code. Below: visualization A Tags model can be used by laypeople for assing their rights, using a user-friendly, web- based interview

Upload: others

Post on 24-Jul-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Public Policy Modeling using the DataTags Toolsetdatatags.org/files/datatags/files/espanet17-final.pdf · 2017-03-02 · these challenges. We use DataTags (datatags.org), a tool originally

BackgroundThe task of policy analysts in a welfare state is to identify how fiscal and regulatory instruments are designing the welfare regime [1]. Thus, public policy scholars and practitioners are constantly investigating and improving the workings of public policies. They improve to process of creating such policies, examine how a given policy addresses various cases, and help insured people through the process of Naming, Blaming, and Claiming.This proof-of-concept shows how a formal model of a policy helps address these challenges. We use DataTags (datatags.org), a tool originally used for describing privacy and data handling policies [2], as a modeling tool for the unemployment benefits of the Israeli National Insurance law. The mathematical concept and tool set behind DataTags models are described in [3].

MethodWe created a Tags policy model for the unemployment chapter of the Israeli National Insurance Law. DataTags policy models are composed of two components: (1) policy space, an n-dimensional ordinal space describing all possible treatments of a specific case under the modeled policy; and (2) a decision graph, which describes a decision process for selecting a specific treatment for a specific case. The decision graph does not aim to replace human judgment with algorithmic decision making. Rather, it lists the possible answers a human can give for certain questions, and the implications these answers will have under the modeled law.Reading the articles and using Kol-Zchut (www.kolzchut.org.il) as an additional reference, we constructed the two parts of the model in parallel. The decision graph is phrased a questionnaire for a person, either a claimant or a practitioner, going through the process of naming the insured situation.

The product of the decision graph are the social benefits provided by the National Insurance Institute for unemployment. Using the Tags tool set, we visualized the decision graph and the policy space. Additional byproduct is an interactive web-based user-friendly interface of the questionnaire. This interview is useful for laypeople and welfare practitioners alike.Tags models are human-readable and machine-actionable. Policy spaces can be standardized and re-used by multiple decision graphs. The framework allows operations over policies (e.g. comparison, composition), and resolution of predicates such as “Case C can be handled by program P”, making it easier to assign people to benefit programs. Tags’ tool set is open source, and provides tools for developing, inspecting, and querying policy models, a web application for conducting web-based interviews, and a language support package for the Atom text editor.

Contribution We apply Tags, a framework for modeling data handling policies, to a welfare policy.

The generated model is useful for assessing entitlements of specific cases, and for gaining insights into the modeled policy

as a whole.

DiscussionWe created the policy space of our model as consisting of two categories: assertions and entitlements. Each claimant has a set of assertions that apply to her. For instance, assertions for the unemployment benefits are set based on one’s insurance status, age group, having more or less than 3 dependents, etc. The policy space does not specify the sum to be provided. Rather, the entitlements are based on predefined possible answers that define the number of days for unemployment benefits and the percentage of entitled benefits. A claimant can be entitled to full benefits during the first time-period, and later the percentage drops during the second time-period (currently more than 125 days of unemployment benefits for the first time-period). The decision which assertions and entitlements apply to a specific case occurs in the decision graph. The decision graph can be viewed as a questionnaire: executed as an interactive computation program, where the computer asks the user questions and traverses the graph according to her answers. The decision graph can also be viewed to inspect all possible outcomes of a policy, as it describes the behavior of the modeled policy for every possible combination of answers.

This initial attempt of defining the unemployment benefit policy space of the social insurance law demonstrates how legal modeling can make knowledge accessible and provide visibility into the works of the regulatory welfare state. In doing so, it increases the process transparency and aids policy-makers, scholars, lawyers, social workers, bureaucrats, and Israeli claimants.Using the web interview tool, the policy model enables Israeli claimants to understand whether they are entitled to unemployment benefits, and if so, in what percentage. Thus, claimants know whether they should go to the National Insurance Institute and initiate the process of claiming the unemployment benefits. Policy analysts can use the visualization tools to see the dynamics of the decision graphs and assert which sets of questions reach the same result. They can also use a query tool to find sets of answers that lead to unwanted results, helping them find loopholes in the modeled policy.In general, these analytic tools facilitate an accurate discussion about a policy. While accurate discussion is always good, it becomes even more important when examining alternative updates to a given policy.

Implications and Future WorkIn order to allow larger, more accurate policy models, some improvements are needed. To list a few: One the conceptual level, policy spaces need to allow numeric dimensions (interestingly, these were not needed for data handling policies); sub-spaces of interest need to be described and automatically detected; general policy rules, such as “whenever X holds, Y cannot hold”, need to be incorporated into the model; decision graph is currently painfully procedural, which needs to be alleviated. On the technical level, tools for authoring, localizing, and collaborating over models need to be developed. Most of all, this concept needs to be used by multiple people for various policies so it can evolve. We hope providing policy makers and analysts with better policy modeling tools will facilitate better policy-related discussions, while at the same time provide claimants with transparency-enhancing mechanism to better interact with the naming-blaming-claiming process. Both, in hope, will ultimately improve public policies and the processes behind them.

References[1] Levi-Faur, D. (2014). The welfare state: a regulatory perspective, Public Administration, 92, 3: 599–614.[2] Sweeney L, Crosas M, Bar-Sinai M. (2015). Sharing Sensitive Data with Confidence: The Datatags System. Technology Science. 2015101601. http://techscience.org/a/2015101601[3] Bar-Sina M, Sweeney L, and Crosas M. (2016). “DataTags, Data Handling Policy Spaces and the Tags Language,” IEEE Security and Privacy Workshops (SPW), San Jose, CA, 2016, pp. 1-8. doi: 10.1109/SPW.2016.11

Public Policy Modeling using the DataTags ToolsetMichael Bar-Sinai, Computer Science, Ben Gurion University of the Negev and IQSS, [email protected]

Rotem Medzini, Public Policy, The Hebrew University of Jerusalem, [email protected]

DataTagsDataTags

The DataTags project is part of Privacy Tools for Sharing Research Data Project, a broad effort to advance a multidisciplinary understanding of

data privacy issues and build computational, statistical, legal, and policy tools to help address these issues in a variety of contexts, It is a collaborative

effort between Harvard’s Center for Research on Computation and Society, Institute for Quantitative Social Science, Berkman Klein Center for

Internet & Society, Data Privacy Lab, and MIT Libraries’ Program on Information Science. The project is funded by the NSF Secure and Trustworthy

Cyberspace project (grant CNS-1237235) with additional funding from Sloan foundation and Google, inc.

Ben-GurionUniversity

of the Negev

Institute for Quantitative Social Science

at Harvard University

entitlements

assertions

one of: d50 d67 d100 d138 d175numOfDays

one of: AverageDailyPay TwoThirdsAverageDailyPaycapping

one of: NotCovered Covered SpecialCoveredinsuranceStatus

one of: No YesqualificationPeriodCompleted

one of: Minor WorkForce PensionageGroup

some ofcoverCause

one of: Employed NotUnemployed Unemployed

employmentStatus

one of: Male Female

gender

one of: No Yes

eligibility

one of: LessThanThree ThreeOrMore

dependents

MilitaryService

NationalService

Residence

Employment

DataTags

Israel-NI.dg

setCappingunemp-test[#1]eligibleMinorTest

qualification-period

start

todoSet all welfare benefits to 0.

Setentitlements=[capping:AverageDailyPay]

setCappingask

Has it been more than 125 days since youstarted getting unemployment benefits?

no

Setentitlements=[capping:TwoThirdsAverageDailyPay]

yes

REJECTYou are not considered 'Unmployed'

Setentitlements=[numOfDays:d175]

consider

askHave you resigned from your last jobwith no legitimate reason, within the

last 90 days?

163dask

For people studying for the lawyers barentry exams or licensing exams for

certified public accountants, are you inthe time frame between t...

No

REJECTYou may be eligible for unemployment

benefits after 90 days from yourresignation

yes

askHow old are you?

35 and over

Setentitlements=[numOfDays:d138]

under 35

askWere offered an appropriate job by the

unemployment office, and refused? No

askDid you reject the offer during the last

90 days?

yes

setCapping setCapping

Setassertions=[employmentStatus:Unemployed]

No

REJECTWhile studying to bar exams, you are not

defined as 'unemployed'.

yes

Setentitlements=[numOfDays:d50]

Setentitlements=[numOfDays:d67]

Setentitlements=[numOfDays:d100]

Setassertions=[qualificationPeriodCompleted:Yes]

163aeask

Are you a) registered at theunemployment office, b) capable ofworking in an appropriate job, c) not

currently a soldier or in civil ornat...

Setentitlements=[numOfDays:d175]

unemp-testask

Are you currenly working?

Setassertions=[employmentStatus:NotUnemployed]

No

Setassertions=[employmentStatus:Employed]

yes

askAre you over 20 and below pension age?

Setassertions=[eligibility:Yes]

Setentitlements=[capping:AverageDailyPay]

Setassertions=[employmentStatus:NotUnemployed]

REJECTYou may be eligible for unemployment

benefits after 90 from the lastrejection.

consider

else

REJECTYou did not complete your qualification

period, and so not entitled tounemployment benefits.

assertions=[qualificationPeriodCompleted:No]

unemp-test-exceptionsask

Are you a sole provider, or have a childfor which you are the main provider?

REJECTThe unemployment part of the law does

not cover your status.

no

qualification-period

Yes

No yes

REJECTYou are not eligible for unemployemnt

benefitsno

Setassertions=[ageGroup:WorkForce]

yes

askHow old are you?

Under 2525-28 28-3545 and over

Setentitlements=[numOfDays:d138]

35-45

askDo you have three or more dependents?

entitlements=[numOfDays:d138] entitlements=[numOfDays:d175]else

yes no

yes

Setassertions=[employmentStatus:NotUnemployed]

no

eligibleMinorTest

unemp-test

coverage/nationalSvc/wedask

Are you a woman who served at least 6months and got married within 30 days of

your actual discharge?

Setassertions=[coverCause:{NationalService}]

yes

coverage/service/time-limitask

Were you discharged in within the lastyear?

No

REJECTOnly Israeli residents are eligible.

Setassertions=[coverCause:{MilitaryService}]

Setassertions=[insuranceStatus:Covered coverCause:{Employment}]

coverage/residentask

Are you a resident of Israel?

no

coverage/ageask

Are you over 18?

yes

Setassertions=[insuranceStatus:Covered]

coverage/nationalSvcask

Did you serve/volunteer in NationalService or the National-Civil service

for more than 2 years?

no

Setassertions=[coverCause:{NationalService}]

yes

coverage/employmentask

Did your employer(s) in the last 12months have to pay National Insurance?

yes

coverage/soldierask

Did you serve a mandatory militaryservice?

no

yes no

yes

Setassertions=[insuranceStatus:NotCovered]

no

no yes

eligibleMinorTesttodo

implement this

Setassertions=[gender:Male]

askIf you couldn’t work for reasons not

within your control, were you employedfor 12 months in a time period of 19

months?

Setassertions=[qualificationPeriodCompleted:Yes]

Setassertions=[qualificationPeriodCompleted:Yes]

askDuring the passed 18 months, were you

absent from work while being paidreadjustment fees due to the

disengagement plan?

Setassertions=[qualificationPeriodCompleted:Yes]

yes

Setassertions=[qualificationPeriodCompleted:No]

No

Setassertions=[qualificationPeriodCompleted:Yes]

askDuring the last 18 months, were there 12month or more where you working, sick,

serving in the military reserve for lessthan 6 months, or m...

yes

askWould your previous answer change if you

were asked about the last 12 month?

No

askIf you were sick or injured for a period

of up to 6 months, were you employed for12 months in a time period of 18 months

plus the number of...

Setassertions=[qualificationPeriodCompleted:Yes]

yes

askAre you a woman?

No

askIf you were pregnant or had a

miscarriage, were you employed for 12months in a time period of 18 months

plus the number of months you were ...

Setassertions=[qualificationPeriodCompleted:Yes]

yesNo

Setassertions=[gender:Female]

Setassertions=[qualificationPeriodCompleted:Yes]

askIf you were in professional training fora period of up to 12 months, were you

employed for 12 months in a time periodof 18 months plus the...

No

Setassertions=[qualificationPeriodCompleted:Yes]

yes

no yes

askIf you were in professional training fora period of up to 12 months, were you

employed for 12 months in a time periodof 18 months plus the...

yes No

No yes

yes No

qualification-periodask

During the last 18 months, wereunemployment insurance fees paid on your

behalf for at least 12 months?

No

Setassertions=[qualificationPeriodCompleted:Yes]

yes

Try an interactive interview:http://tinyurl.com/inii-tags

Supporting mobile devices too!

Learn More:http://datatags.orghttp://privacytools.seas.harvard.edu

CLIRunner, the Tags model development tool, allows

model developers to examine, query, and execute the

model they work on. Currently the interface is text-based

(see future work section)

Decision graph for the unemplyment section

of the Israeli National Insurance law.

Above: visualization. Below: code

Policy space for the unemplyment section of

the Israeli National Insurance law.

Above: code. Below: visualization

A Tags model can be used by laypeople for

assing their rights, using a user-friendly, web-

based interview