Date: Sat 27 Aug 1988 20:15-EDT From: AIList Moderator Nick Papadakis Reply-To: AIList@mc.lcs.mit.edu Us-Mail: MIT LCS, 545 Tech Square, Rm# NE43-504, Cambridge MA 02139 Phone: (617) 253-6524 Subject: AIList Digest V8 #70 To: AIList@mc.lcs.mit.edu Status: RO AIList Digest Sunday, 28 Aug 1988 Volume 8 : Issue 70 Queries: Philosophy of mathematics references Expert-Systems in Power Station Expert Systems for Statistical Analysis Responses: How do I learn about AI, Prolog, and/or Lisp Speech recognition using neural nets Categories & combinators ---------------------------------------------------------------------- Date: 24 Aug 88 12:22:58 GMT From: steve@hubcap.clemson.edu Subject: Philosophy of mathematics references I am trying to prepare an article which relates computer science's use of logic with the ground rules set down for mathematics by both the philosophers and logicians. I would like to know your favorite references to this topic. Other topics of interest would be ``nonstandard'' systems and their rules (e.g., stochastic, quantum) or viewpoints (e.g., connectionist). Please send direct as I do not monitor many of the groups this request seems appropriate for. I will summarize and post. Thanks. -- Steve (really "D. E.") Stevenson steve@hubcap.clemson.edu Department of Computer Science, (803)656-5880.mabell Clemson University, Clemson, SC 29634-1906 ------------------------------ Date: Thu, 25 Aug 88 16:51:16 +0200 (Central European Sommer Time) From: XBR4DC5V%DDATHD21.BITNET@MITVMA.MIT.EDU (Karl_josef Junglas) Subject: Expert-Systems in Power Station Please send me information about expert systems in Power Station ------------------------------ Date: Thu, 25 Aug 88 21:21 CDT From: Subject: Expert Systems for Statistical Analysis If anyone on the list is aware of any commercial expert systems which do statistical analysis, I sure would appreciate the information. I am looking for expert statistical analysis packages which process data, analyze correlation etc., forecast trends, detect regeneration cycles, and so on. I have looked through AI Magazine, IEEE Expert and several Computer journals and I couldn't see any such product advertisements. Could someone who is aware of such expert statistical analysis packages send me the info please? Thank you. MURALI@TAMLSR (bitnet) ------------------------------ Date: 23 Aug 88 19:29:47 GMT From: uhccux!todd@humu.nosc.mil (Todd Ogasawara) Subject: Re: How do I learn about AI, Prolog, and/or Lisp In article <952@scovert.sco.COM> johnwe (John Weber, Celtic sysmom) writes: >In article <398@mfgfoc.UUCP> mike@mfgfoc.UUCP (Mike Thompson) writes: >>1. I have an IBM/XT at home with the newest version of TURBO PROLOG. >>Can I use this system to gain an understanding of AI applications >>such as expert systems? If so, what books can help me? I have not > for UN*X. Arity Prolog is a good commercial prolog for > the IBM PCish boxes. I use, and like, Arity/Prolog a lot. I have both the interpreter and compiler. However, I would advise against trying to use it on a 4.77MHz IBM PC type box. For yucks, I loaded API 5.x on my aged PC when I received the most recent update. The latest version of Arity is very big and is very slow on a 4.77MHz PC. I found the speed to be almost acceptable on a 9.54MHz V30 based NEC Multispeed though. And, it is a viable development tool on a 10MHz 80286 based AT-clone. > Lisp and Prolog address different language issues, and are > both good and useful languages. ==> Prolog is quite different > from most "normal" languages, and may pose certain learning > difficulties. <== My personal favorite Lisps are Kyoto Common I think the same is said of LISP. I use both LISP and Prolog depending on what I am working on. My recollection is that Prolog was easier to learn and allowed me to do the things it does best very quickly (manipulate data in a database-like functions, pattern matching, etc.). I also found that when I needed to manipulate MIDI devices (Musical Interface for Digital Instruments), LISP felt very "natural" in that list-of-notes environment. I think that people who are surveying what is out there should at least investigate both LISP and Prolog and decide which language fits their needs best. In my case, it was both, depending on what I was doing. -- Todd Ogasawara, U. of Hawaii Faculty Development Program UUCP: {uunet,ucbvax,dcdwest}!ucsd!nosc!uhccux!todd ARPA: uhccux!todd@nosc.MIL BITNET: todd@uhccux INTERNET: todd@uhccux.UHCC.HAWAII.EDU <==I'm told this rarely works ------------------------------ Date: 26 Aug 88 21:43:10 GMT From: att!chinet!mcdchg!ditka!nfsun!kgeisel@bloom-beacon.mit.edu (kurt geisel) Subject: Re: Speech rec. using neural nets Teuvo Kohonen describes success at Helsinki University with a speaker-independent neural system which recognizes phonemes (the box spits out phonemes, not words - you would still need a sophisticated parsing stage) in the article "The 'Neural' Phonetic Typewriter" in the March 1988 issue of the IEEE's _Computer_. +--------------------------------------------------------------------------+ | Kurt Geisel, Intelligent Technology Group, Inc. | | Bix: kgeisel | | ARPA: kgeisel%nfsun@uunet.uu.net US Snail: | | UUCP: uunet!nfsun!kgeisel 65 Lambeth Dr. | | Pittsburgh, PA 15241 | | If a rule fires and no one sees it, did it really fire? | +--------------------------------------------------------------------------+ ------------------------------ Date: 27 Aug 88 17:46:41 GMT From: markh@csd4.milw.wisc.edu (Mark William Hopkins) Subject: Categories & combinators If you are familiar with combinators, I can give a very brief summary of what category theory is about: A category is a typed combinator system with the combinators B (for composition) and I (for identity). In general, there is a very close relation between typed combinators (the typed lambda calculus) and categories. ------------------------------ End of AIList Digest ********************