A Method and System for Formal Analysis, Simulation, and Verification of Knowledge-Based Systems, Rule-Based Systems, and Expert Systems (GSC-14942)

Abstract:
A method is claimed whereby the rules embodying a rule-based, knowledge-based or expert system, combined with the inference engine underlying the system (implementations of various algorithms) can be viewed as a process-based specification which may be used for analysis and verification, both formally and informally. The output of the process-based system is mathematically equivalent to the execution of rules that would be output from the rule-based, knowledge-based or expert system if it were run with all possible input combinations (a daunting task). The process-based specification can be derived mechanically and automatically from the rules of the system and then analyzed and verified using existing formal techniques or used for informal inspections and what-if scenario explorations.

Type of Offer: Licensing



« More Engineering Patents
« More Software Patents

---