User Guide for AIR

Table of Contents

1. Overview of AIR 2.0

1.1. What is it?

1.2. How it works?

2. Creating a execution environment

2.1. Policy and transaction logs document

2.2. AIR reasoner

2.3. Justification result viewer

3. Event/data logs to reason with

3.1. Example of a simple census data

4. Writing AIR policy

4.1. Policy modeling

4.1.1. Syntatic structure of AIR language

4.1.1. Interpreting logic representation of rules in AIR language

4.2. Justification

4.2.1. Natural language explanation of the rule

4.2.2. Hiding Justification

4.2.3. Explicit Justification

5. Viewing results in Tabulator's justification UI

6. Example walkthrough

6.1. Database query logs auditing for policy compliance

6.2. ABC

7. Frequently asked questions