Comprehensive verification of a patient's medical record

A rules verification system comprising:

• a processor;
• a user interface coupled to the processor;
• and
• a memory coupled to the processor;
• wherein the processor is configured to:
• access a patient's record of current findings, based on an identification of the patient via the user interface;
• access a plurality of rules associated with the existing findings, each rule being in to form of “IF predicate THEN consequent”;
• identify a violation of at least one rule of the plurality of rules caused by the current findings;
• resolve the violation of the rule to identify at least one set of changes to the current findings that will eliminate all rule violations in the current findings;
• receive, via the user interface, a user's selection of a select set of changes from the at least one set of changes;
• apply the select set of changes to the current findings;
• and
• update the patient's record of current findings based on the application of the select set of changes.

A method comprising:

• receiving a plurality of existing findings for a patient;
• receiving a new finding for the patient;
• appending the new finding to the plurality of existing findings;
• accessing a medical rules database that includes a plurality of medical rules;
• applying the plurality of rules to the plurality of findings to identify at least one conflict among the findings based on the rules;
• upon identifying at least one conflict among the findings based on the rules:
• recursively resolving each conflict to determine a plurality of complete sets of solutions that each resolve all of the conflicts to satisfy all of the rules,
• presenting each of the plurality of complete sets of solutions to a user,
• receiving a selection of a select set of solutions by the user, and
• correcting the existing findings of the patient by implementing the select set of solutions
• wherein:
• each medical rule being of the form:
• IF {predicate} THEN {consequent};
• and
• recursively resolving each conflict of a rule, includes determining:
• a first set of solutions that do not satisfy the predicate of the rule, and
• a second set of solutions that satisfy the consequent.