Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!fub!uniol!unido!uklirb!shell
From: neuhaus1@urz.unibas.ch
Newsgroups: comp.ai.shells
Subject: Explanations with LPA-Prolog and FLEX
Message-ID: <7571@uklirb.informatik.uni-kl.de>
Date: 15 Feb 91 14:44:26 GMT
Sender: shell@uklirb.informatik.uni-kl.de
Organization: University of Basel, Switzerland
Lines: 44
Approved: shell@dfki.uni-kl.de
Posted-Date: Wed Feb 20 15:09:30 GMT 1991

WHO is working with LPA-Prolog 3.0 and FLEX 1.2 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 wnt to build an expert-system for financial advices.
Now I am just programming a little prototype with the Tools LPA-Prolog and
the Toolkit FLEX.

My problem is to programm a powerful explanation part for my system.
I want to give the user:

	* 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 Tools LPA-Prolog and FLEX ?

	2. Can you give me some advices to develop explanations for 
	   a forward inference machine 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	: Institut fuer Informatik
	  Universitaet Basel
	  WWZ
	  Am Petersgraben 51

	  CH-4051 Basel (Switzerland)


Thank you very much in advance

  Dirk Neuhaus