From TAMI

Overview

Proposal CNS-0831442, "CT-M: Theory and Practice of Accountable Systems”, is funded by NSF and the team is lead by MIT with RPI as a subcontractor. This NSF funded project on the Theory and Practice of Accountable Systems (TPAS) investigates computational and social properties of information networks necessary to provide reliable assessments of compliance with rules and policies governing the use of information. The MIT team has designed a rule based policy language, AIR, for encoding the policies for exchange of information. The AIR reasoner performs post compliance evaluation of acts under the purview of these policies. At RPI we are analyzing the language for its expressiveness and logical foundations.

Status

• Analyzing AIR Rule based inference
  • Defined the declarative semantics of AIR.
  • Computed complexities of AIR reasoning.
• Rule based Reasoning through AIR
  • Encoded Logic Programs with incrementally complex negations in AIR.