Patent ID: 7752608

Claim:
A computer-accessible storage medium having executable instructions to validate a knowledge-based system, the executable instructions capable of directing a processor to perform: receiving rules of the knowledge-based system; translating the rules of the knowledge-based system to a formal specification, wherein translating comprises a verification process using mathematical laws by which the rules of the knowledge-based system are mapped to the formal specification using a theorem prover or an automated logic engine, wherein an inference engine iteratively applies a set of rules to a set of data representing a problem to determine a solution to the problem by logical manipulation and analysis of the data; the mathematical laws including the Laws of Concurrency, whereby the Laws of Concurrency are algebraic laws that (a) allow at least one process to be manipulated and analyzed; (b) permit formal reasoning about equivalences between processes; and (c) determine traces from the at least one process; and translating the rules of the knowledge-based system to a formal specification without the use of an automated logic engine, wherein translating comprises a process by which the rules of the knowledge-based system are matched to the formal specification as specified by the prior mapping.