The method of the invention enables the situating of reasoning engines which have the capability to store premises as knowledge representation expressions, as well as to conclude knowledge representation expressions and/or to evaluate (or test), knowledge representation expressions and/or to respond...http://www.google.com.hk/patents/US5778150?utm_source=gb-gplus-share專利 US5778150 - Flexible procedural attachment to situate reasoning systems
