Copy Link
Add to Bookmark
Report
AIList Digest Volume 8 Issue 070
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: <KDM2520%TAMSIGMA.BITNET@MITVMA.MIT.EDU>
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
********************