AUTOMATED CLAIMS AUDITING

Techniques for automated auditing claims are presented. A policy processor component can determine conditions and constraints relating to claim validity, based on a result of an analysis of policy data of a set of policies associated with a service identity and relating to services and procedures, to facilitate generation of probabilistic logic data relating to the conditions and constraints relating to the claim validity. The policy processor component can encode the conditions and the constraints to generate the probabilistic logic data, and store the probabilistic logic data and information relating to the conditions and constraints in a knowledge database component. A claim management component can determine a validity status of a claim and a probability that the validity status is correct based on evaluation of the probabilistic logic data and claim data relating to the claim. The validity status can be valid or invalid.