🚀 go-pugleaf

In article <1407@keele.keele.ac.uk>, csd10@seq1.keele.ac.uk (Y.O. Busia) writes:
> I am looking for up-to-date information on the METAXA program.
> The 1989 reference I have, Lecture Notes in Computer Science no.347,
> describes it as "An Inference Engine for Representing Multiple Theories".
> (The program is able to simultaneously hold contradictory points of view
> and thus come to better decisions, eventually).
> 
> I am interested in (1) how successful the project has been, and
> (2) whether or not other programs can (or should) do this as well.
> 
> I shall be grateful especially for news and also for views on this which
> are posted either directly to the net or via e-mail for a summary.
> 
> [ "Lecture Notes" are published by Springer-Verlag and are often revised
> papers from European Conferences.]

I have received a very informative response to my request above.

From: Joerg-Uwe Kietz

METAXA developed by Werner Emde (current E-mail EMDE@DOSUNI1.bitnet) was
further developed at the TU Berlin in the project KIT-Lerner (K. Morik,
W. Emde, S. Wrobel, S. Thieme, J. -U. Kietz and I. Keller) under the name
BLIP from Jan. 1985 until April 1989.

BLIP became the base of the system MOBAL, developed as part of the ESPRIT
project "Machine Learning Toolbox" at the GMD (German National Research 
Centre for Computer Science), (mobal@gmdzi.gmd.de), by K. Morik, S. Wrobel,
J. -U. Kietz, V. Klingspor and E. Sommer.

MOBAL still preserves METAXAs capability to represent multiple theories, but
this feature isn't used very often.

MOBAL1.0 will be available to academic researchers in October.


AND a suggestion from Scott Goodwin:

You might also check out the literature on THEORIST which is
a hypothetical reasoning system (e.g., see LNCS no. 346 and AI Journal 36(1)).

	Scott Goodwin
	Dept. Comp. Sci.
	University of Regina,
	Regina, Saskatchewan,
	Canada S4s OA2
	goodwin@cs.uregina.ca