Systems, methods and apparatus are provided through which in some embodiments, domain knowledge is translated into a knowledge-based system. In some embodiments, a formal specification is derived from rules of a knowledge-based system, the formal specification is analyzed, and flaws in the formal specification...http://www.google.fr/patents/US7752608?utm_source=gb-gplus-shareBrevet US7752608 - Systems, methods and apparatus for verification of knowledge-based systems
Systems, methods and apparatus for verification of knowledge-based systems
