Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!rpi!uupsi!sunic!ericom!eua.ericsson.se!euacla
From: euacla@eua.ericsson.se (Claes.Frisk)
Newsgroups: comp.lang.c++
Subject: The InferenceEngine class
Message-ID: <1991Mar15.080641.21934@eua.ericsson.se>
Date: 15 Mar 91 08:06:41 GMT
Sender: news@eua.ericsson.se
Organization: Ellemtel Telecom Systems Labs, Stockholm, Sweden
Lines: 8

Has anyone used or heard of a c++ class that acts as an inference engine.
I.e. an object that, given a set of rules, evaluate those rules either
to generate new rules or to prove some hypothesis.
/Claes

Claes Frisk				Email: Claes.Frisk@eua.ericsson.se
Ellemtel telecommunication labs		Voice: +4687274134
17 170 Alvsjo SWEDEN			FAX:   +468727