13. A computer-implemented method comprising: one or more processors executing following computer-readable instructions: receiving an access request for a resource; performing, at least partly in response to the access request, an authorization decision for the resource, the authorization decision comprising inputs, outputs, and internal data; specifying, an audit policy comprising audit policy rules, the audit policy rules including audit content rules that specify what audit information from any of the inputs, the outputs, or the internal data is to be included in an audit record and specify logical deduction data used or produced during an evaluation algorithm of the authorization decision, wherein the logical deduction data comprises a proof graph indicating a logical chain of deductions that occur within the evaluation algorithm, and the audit content rules comprise a semantic framework; and recording the audit record based at least in part on the specified audit policy.
13. A computer-implemented method comprising: one or more processors executing following computer-readable instructions: receiving an access request for a resource; performing, at least partly in response to the access request, an authorization decision for the resource, the authorization decision comprising inputs, outputs, and internal data; specifying, an audit policy comprising audit policy rules, the audit policy rules including audit content rules that specify what audit information from any of the inputs, the outputs, or the internal data is to be included in an audit record and specify logical deduction data used or produced during an evaluation algorithm of the authorization decision, wherein the logical deduction data comprises a proof graph indicating a logical chain of deductions that occur within the evaluation algorithm, and the audit content rules comprise a semantic framework; and recording the audit record based at least in part on the specified audit policy. 14. The computer-implemented method as recited in claim 13 , wherein the audit content rules specify inputs to the authorization decision in terms of logical assertions and internal data of the authorization decision in terms of logical deductions derived from the logical assertions.