Copy Link
Add to Bookmark
Report

AIList Digest Volume 8 Issue 070

eZine's profile picture
Published in 
AIList Digest
 · 1 year ago

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
********************

← previous
next →
loading
sending ...
New to Neperos ? Sign Up for free
download Neperos App from Google Play
install Neperos as PWA

Let's discover also

Recent Articles

Recent Comments

Neperos cookies
This website uses cookies to store your preferences and improve the service. Cookies authorization will allow me and / or my partners to process personal data such as browsing behaviour.

By pressing OK you agree to the Terms of Service and acknowledge the Privacy Policy

By pressing REJECT you will be able to continue to use Neperos (like read articles or write comments) but some important cookies will not be set. This may affect certain features and functions of the platform.
OK
REJECT