mgreen@cs.toronto.edu (Marc Green) (08/17/90)
>From article <82994@tut.cis.ohio-state.edu>, by patten@giza.cis.ohio-state.edu (Terry Patten): > We are looking for instructional software for our introductory AI course Mott Given @ Defense Logistics Agency Systems Automation Center, replies: > I would recommend the San Marco Explorer package for LISP from Gold HIll > Computers. It has demo programs that you can run to explore various > topics in AI. You can also look at the LISP code to see how the > algorithms were implemented. I couldn't disagree more. The San Marco Explorer, like most Gold Hill products, is terribly overpriced junk. Moreover, it is aimed at teaching LISP, which is a bad idea in an intro AI course: students spend all their time learning LISP and none learning AI. Marc Green Trent University Computer Studies
leonr@cs.glasgow.ac.uk (Dr Ruben Leon) (08/20/90)
In article <90Aug17.082914edt.9144@neat.cs.toronto.edu> mgreen@cs.toronto.edu (Marc Green) writes: > >>From article <82994@tut.cis.ohio-state.edu>, by patten@giza.cis.ohio-state.edu (Terry Patten): >> We are looking for instructional software for our introductory AI course (etc, etc). This partly depends on *what* are you teaching as *AI*. I strongly recommend Jon's Barwise's "Tarski's World" for teaching Prepositional and Higher Order logic. It is robust, easy to use, very well documented, and fun, yes *FUN*...(would you beleive it) Further, it has *graded* exercises (a lecturer's dream!). It runs on Macintosh. Also "Turing's World", which deals with computability and the principle of Turing machine (also from Barwise). I don't know of any other suitable teaching software, although of course one can pick a lot of bits and pieces from here and there and use them, I was thinking of Tmycin, which can be picked up from Sumex (36.44.0.6), and runs on most common Lisps (Kyoto Lisp, Allegro Lisp possibly Xlisp). Should we start a DBase of teaching software for AI related topics ? Below a list of titles from a larger Educational software list being compiled by Leny Struminger <STRUMINGER@zodiac.rutgers.edu> (Please email any titles to him too) Barbara the Syllogizer WW 129 IBM BERTIE - II: A Symbolic Logic Tutor KINKO 081 MAC PASLOG WW 308 IBM Philo the Logician WW 014 IBM Simulations for Philosophy WW 017 IBM Tarski's World KINKO 082 MAC Turing's World KINKO 083 MAC Venn: A Syllogistic Logic Tutor KINKO 084 MAC -- Ruben 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