Xref: utzoo comp.edu:3662 comp.ai.edu:115
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!strath-cs!cs.glasgow.ac.uk!leonr
From: leonr@cs.glasgow.ac.uk (Dr Ruben Leon)
Newsgroups: comp.edu,comp.ai.edu
Subject: Re: AI demonstration software
Message-ID: <6575@vanuata.cs.glasgow.ac.uk>
Date: 16 Oct 90 18:12:40 GMT
References: <4164@gara.une.oz.au> <1222@netmbx.UUCP>
Reply-To: leonr@cs.glasgow.ac.uk (Dr Ruben Leon)
Organization: Comp Sci, Glasgow Univ, Scotland
Lines: 32

In article <1222@netmbx.UUCP> kurzi@netmbx.UUCP (Andreas Schulz-Dieterich) writes:
>In article <4164@gara.une.oz.au> pmorriso@gara.une.oz.au (Perry Morrison MATH) writes:
>>Can anyone point out archive sites for software that
>>demonstrates AI concepts? Things like eliza, simple

(...)

Sumex has Tmycin (illustrates propagation of probability for reasoning
with uncertainty).  It runs on Lisp (available from rascal.ics.utexas.edu
(128.83.138.20) and which I think may be more appropriate as programing
language for AI than C.   Also

cs.arizona.edu       128.196.128.118  SBprolog, SNOBOL4

Educational software as such is not normally available from public
Ftp sites as far as I know.

Was it in this Newgroup that I commented on Tarski's World
by Jon Barwise and John Echemendy (at Stanford)  which runs on the 
Mac, is well worth getting if you are at all teaching logic (prepositional
or predicate logic) ...?  It comes with graded excercises !  Also
by the same authors you can get Turing's World,  contact:

Chariot Software,
3659 India Street, Suite 100C, San Diego, CA 92103.

Ruben
-- 
Dr.R.E. Leon,Computing Science Dept || Tel: 44 41+ 330 4264  / 330 4463
Glasgow University, Scotland	    || Fax: 44 41+ 330 4913
USENET:	ruben@cs.glasgow.uucp	    || JANET:  ruben@uk.ac.glasgow.cs
ARPA:   ruben%cs.glasgow.ac.uk@nsfnet-relay.ac.uk