Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!linus!decvax!harpo!seismo!hao!hplabs!sri-unix!Laws@SRI-AI.ARPA From: Laws@SRI-AI.ARPA Newsgroups: net.ai Subject: Inference Engine Toolkit for PCs Message-ID: <12997@sri-arpa.UUCP> Date: Wed, 26-Oct-83 13:26:47 EST Article-I.D.: sri-arpa.12997 Posted: Wed Oct 26 13:26:47 1983 Date-Received: Mon, 31-Oct-83 03:59:37 EST Lines: 21 From: Ken Laws I have been requested to pass on some product availability data to AIList. I think I can do so without violating Arpanet regulations. I am uncomfortable about such notices, however, and will generally require that they pass through at least one "commercially disinterested" person before being published in AIList. I will perform this screening only in exceptional cases. The product is a document on a backward-chaining inference engine toolkit, including source code in FORTH. The inference engine uses a production language syntax which allows semantic inference and access to analytical subroutines written in FORTH. Source code is included for a forward-chaining tool, but the strategy is not implemented in the inference routines. The code is available on disks formatted for a variety of personal computers. For further details, contact Jack Park, Helion, Inc., Box 445, Brownsville, CA 95919, (916) 675-2478. The toolkit is also available from Mountain View Press, Box 4656, Mountain View, CA 94040. -- Ken Laws