Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!zaphod.mps.ohio-state.edu!think.com!mintaka!bloom-beacon!eru!hagbard!sunic!mcsun!cernvax!chx400!chx400!urz.unibas.ch!neuhaus1
From: neuhaus1@urz.unibas.ch
Newsgroups: comp.lang.prolog
Subject: Explanations with LPA-Prolog and FLEX
Message-ID: <1991Feb15.150857.1372@urz.unibas.ch>
Date: 15 Feb 91 14:08:57 GMT
Organization: University of Basel, Switzerland
Lines: 44

WHO is working with LPA-Prolog and FLEX on MAC ???
==================================================


My name is Dirk Neuhaus, and I am currently working in the field of expert-
systems here at the computer science department at the university of Basel.

In my doctoral thesis I want to build an expert system for financial advices.
Now I am developing a little prototype and for the implementataion I use
LPA-Prolog 3.0 and FLEX 1.2.

My problem is to develop a powerful explanation part for my expert-system.
(WHY, -HOW, and WHAT-IF-Explanations)

So, here are my questions

	1. Is there anybody out there who has set up a 
	   * WHY-
	   * HOW-
	   * WHAT-If - Explanation 
           with the Tool LPA-Prolog and FLEX ?

	2. Can you give me some advices to develop explanations for
	   a forward inference engine in general ?

Any information on the above subject is welcome. You can reach me via

e-mail 	: NEUHAUS1@URZ.UNIBAS.CH

Phone	: ++41 +61 293228

Mail	: Dirk Neuhaus
	  Institut fuer Informatik
	  Universitaet Basel
	  WWZ
	  Am Petersgraben 51

	  CH-4051 Basel



Thank you very much in advance,

   Dirk Neuhaus