Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 152
AIList Digest Wednesday, 18 Jun 1986 Volume 4 : Issue 152
Today's Topics:
Policy - AIList Distribution Mechanisms & LISP Messages,
Techniques - Lisp and Lazy Evaluation,
AI Tools - AI Software for MS-DOS
----------------------------------------------------------------------
Date: 7 Jun 86 20:47:02 GMT
From: cad!nike!caip!seismo!rochester!altman@ucbvax.berkeley.edu
Subject: AIList Distribution Mechanisms
From: Art Altman <altman>
I read reference to "ailist vol xxx" in mod.ai,
but I do not see this ailist appearing in either net.ai or mod.ai.
Anyone know - to what network is "ailist" posted?
Is it sent to individuals and should I get on some list to receive it?
Thanks,
Art "altman@rochester"
[The distribution currently includes many channels: direct mail
(to Arpanet and other networks), exploded digests sent to certain
bboard systems, and a hybrid of UUCP mod.ai and net.ai. The first
two are in digest form, with volume numbers that let readers track
whether issues have been missed or refer to issues by number. There
is also a Today's Topics section that previews the digest contents
to aid skimming and later text searches. The UUCP distribution
lacks these niceties and some of the editing and sorting that I
provide as moderator, but offer real-time interchanges. It works
as follows.
Net.ai is forwarded to my mailbox. I pull out any messages that look
pertinent and nontrivial and add them to direct submissions in the
AIList mailbox. I select a number of messages and form them into
a digest to be sent to the Arpanet readers. Then I delete the net.ai
messages from the originals and send the direct submissions in
undigested form to mod.ai. The overall effect is that people reading
net.ai plus mod.ai get everything in the digest plus any part of the
net.ai discussion that I ignore. -- KIL]
------------------------------
Date: Wed, 11 Jun 86 21:02:58 edt
From: Jay Weber <jay@rochester.arpa>
Reply-to: jay@rochester.UUCP (Jay Weber)
Subject: Re: Common LISP style standards
I admit that there is a significant overlap between the people
interested in Artificial Intelligence and those interested in the
LISP programming language, but it should be obvious that articles
like "Common LISP style standards" and "LISP for IBM PCs" should
be posted to newgroups other than mod.ai, and such newsgroups do
exist. This newsgroup has a large amount of traffic, and I expect
that many readers have unsubscribed due to the large amount of
inappropriate submissions.
I would mail this message to individuals who do not realize this,
but there have been so many it would not be effective. Mostly
this message is to the moderators, who should be enforcing the
focus of the newsgroup.
Jay Weber
Department of Computer Science
University of Rochester
jay@rochester.arpa
[Unfortunately there are few relevant discussion lists on
the Arpanet side of the gateway. We do have one on workstations
and others on particular micros or Lisps, but nothing of the
required generality. I will be glad to help anyone who wants
to start a list devoted to Lisp or any other topic currently
covered by AIList:
Expert Systems AI Techniques
Knowledge Representation Knowledge Acquisition
Problem Solving Hierarchical Inference
Machine Learning Pattern Recognition
Analogical Reasoning Data Analysis
Cognitive Psychology Human Perception
Natural Language Computational Linguistics
AI Languages and Systems Machine Translation
Theorem Proving Decision Theory
Logic Programming Computer Science
Automatic Programming Information Science
AI & Society Sociology of AI
AI & Business AI Workstations
(Step forward, folks, or I may burn out soon. Besides, its lots
of fun and it puts you in contact with the best people.) -- KIL]
------------------------------
Date: 06-Jun-1986 1604
From: kevin%logic.DEC@decwrl.DEC.COM (Kevin LaRue -- The Earth makes
one resolution every 24 hours.)
Subject: Re: Lisp & lazy evaluation
The bibliographies contained in the two books
Henderson, Peter,
``Functional Programming: Application and Implementation,''
Prentice-Hall International,
London,
1980.
and
Darlington, J., Peter Henderson and David A. Turner, editors,
``Functional Programming and its Applications: an Advanced Course,''
Cambridge University Press,
Cambridge,
1982.
point to the following historical references:
Burge, W. H.,
``Recursive Programming Techniques,''
Addison-Wesley,
Reading, Massachusetts,
1975.
Friedman, D. P., and D. S. Wise,
`CONS Should Not Evaluate its Arguments,'
in ``Automata, Languages and Programming,''
S. Michaelson and R. Milner, editors,
Edinburgh University Press,
Edinburgh,
1976
Henderson, Peter and J. M. Morris,
`A Lazy Evaluator,'
in ``Proceedings of the 3rd POPL Symposium,''
Atlanta, Georgia,
1976.
Kahn, G., and D. McQueen,
`Coroutines and Networks of Parallel Processors,'
in ``Information Processing 77''
North-Holland,
Amsterdam,
1977.
Landin, P. J.,
`A Correspondence between Algol 60 and Church's Lambda Calculus,'
in ``Communications of the ACM''
Volume 8, number 3,
pages 158-165,
1965.
Vuillemin, J. E.,
``Proof Techniques for Recursive Programs,''
Memo AIM-318, STAN-CS-73-393,
Stanford University,
1973.
You may also want to ask David Turner about his experiences with his
``Miranda'' functional programming environment. Indeed, he is
distributing it, if you would like to play with it yourself. His
electronic address is:
dat%ukc@ucl-cs
(He's currently at the University of Kent at Canterbury.)
------------------------------
Date: 9 Jun 86 02:08:13 GMT
From: ihnp4!lzaz!psc@ucbvax.berkeley.edu (Paul S. R. Chisholm)
Subject: AI software for MS-DOS (long)
< cross posted to effected groups; please followup only to net.micro.pc >
Here's the third and (I hope) last list of artificial intelligence
software for MS-DOS based machines. I started with expert system
shells, then picked up Prolog processors, and Lisp and other languages
found their way in. "Decision support" tools are presumably decision
tree managers; for their relation to expert systems, see the hot and
heavy discussion in net.ai and mod.ai (or actually, the summary I've
posted to those groups).
Thanks to Lou Fried (FRIED@SRI-KL.ARPA) and Dallas Webster
(CMP.BARC@R20.UTexas.Edu or ut-sally!batman!dallas) for additions to
this list.
The names, addresses, phone numbers, and especially prices are not
guaranteed to be free from typos, line noise, or obsolescence. I have no
experience or further information on any of these packages; don't call
me, call the company. On the other hand, if *you* have used any of
these systems, please drop me a line; I'll be happy to summarize and
repost. I'd also like to hear of any products I'd forgotten, or any
errata to my list.
-Paul S. R. Chisholm, UUCP {ihnp4,cbosgd,pegasus,mtgzz}!lznv!psc
AT&T Mail !psrchisholm, Internet mtgzz!lznv!psc@topaz.rutgers.edu
--
Aion Development System: expert system shell, $7000
Aion Corp.
101 University Ave., 4th floor
Palo Alto, CA 94301
415-328-9595
The Decision Maker: decision support, $250
Alamo Learning Systems
Suite 500, 1850 Mt. Diablo Blvd.
Walnut Creek, CA 94596
415-930-8521
Arity Expert System Development Package: expert system shell, $295
Arity Standard Prolog: AI language (Prolog), $95
Arity Prolog Interpreter V4: AI language (Prolog), $350
Arity Prolog Compiler & Interpreter V4: AI language (Prolog), $795
Arity Corp
358 Baker Ave.
Concord, MA 01742
617-371-1243
Prdigy: expert system shell, $450
OPS5+: expert system shell, $3000
Artelligence, Inc.
14902 Preston Rd., suite 212-252
Dallas, TX 75240
214-437-0361
A.D.A Educational Prolog: AI language (Prolog), $29.95
VML Prolog: AI language (Prolog), $300
Automata Design Associates
1570 Arran Way
Dresher, PA 19025
215-646-4894
Micro In-Ate: expert system shell for fault diagnosis, $5000
Automated Reasoning Corporation
290 West 12th St., Suite 1D
New York, NY 10014
212-206-6331
Turbo Prolog: AI language (Prolog), $99.95
Borland International
4585 Scotts Valley Dr.
Scotts Valley, CA 95066
408-438-8400
SpinPro: ultracentrifugation experiment expert system [GCLISP], $2500
(note: a specific expert system, *not* a shell!)
Beckman Instruments, Inc.
Spinco Division
415-857-1150 (sales info); (714)-961-3728 (technical info) Matt Heffron
Xsys: expert system shell, $995
California Intelligence
912 Powell St. #8
San Fransisco, CA 94108
415-391-4846
Prolog V: AI language (Prolog), $69.95/$99.95
Chalcedony Software, Inc.
5580 La Jolla Blvd, Suite 126B
La Jolla, CA 92037
617-483-8513
Expert Choice: decision support, $495
Decision Support Software Inc.
1300 Vincent Place
McLean, VA 22101
703-442-7900
Methods: AI language (Smalltalk), $250
Digitalk, Inc.
5200 W. Century Blvd.
Los Angeles, CA 90045
213-645-1082
TOPSCI: expert system shell, $75/$175
Dynamic Master Systems Inc.
PO Box 566456
Atlanta, GA 30356
404-565-0771
Decision Analyst: decision support, $139
Executive Software, Inc.
Bay St.
Shanty Bay, Ontario, CANADA LOL 2LO
705-722-3373
The Idea Generator: decision support, $195
Experience in Software
2039 Sattuck Ave., Suite 401
Berkeley, CA 94704
415-644-0694
ES/P Advisor: expert system shell, $895
Prolog-1: AI language (Prolog), $395
Prolog-2 Interpreter and Compiler: AI Language, $1895
Expert Systems International
1150 First Ave.
King of Prussia, PA 19406
215-337-2300
Xi: expert system shell, $795
Expertech
Expertech House, 172 Bath Rd.
Slough, Berks SLI 3XE, ENGLAND
0753-821321
Portable Software Inc.
650 Bair Island Rd., Suite 204
Redwood City, CA 94063
415-367-6264
(and somebody near Boston at 617-470-2267)
Exsys 3.0: expert system shell, $395
(demo disk for $10?)
Exsys Inc.
PO Box 75158, Contract Sta. 14
Albuquerque, NM 87194
505-836-6676
GEN-X: Expert system shell
General Electric Research and Development Center
Schenectady, NY 12345
TIMM-PC: expert system shell, $9500
General Research
7655 Old Spring House Rd.
McLean, VA 22102
703-893-5900
GCLisp (Golden Common Lisp): AI language (Lisp), $495
286 Developer: AI Language (Lisp), $1195
(expert system shell to be announced in late 1986)
(K-base was a specialized proprietary package, now dead)
Gold Hill Computers
163 Havard St.
Cambridge, MA 02139
617-492-2071
Expert Ease: expert system shell, $695
(example based, forward chaining)
Expert Edge: expert system shell, $795
(rule based, backward chaining, uncertainty, math)
(they also sell 1st Class for $495, same as Programs in Motion)
Human Edge Software
2445 Faber Pl.
Palo Alto, CA 94303
CA: 800-824-7325, elsewhere: 800-624-5227
AL/X: Expert system shell
ALCS: Expert system shell
Inference Manager: expert system shell, 500 pounds
Intelligent Terminals Ltd or George House
15 Canal St. 36 North Hanover St.
Oxford, UK OX26BH Glasgow, Scotland G1 2AD
041-522-1353
(Try Jeffrey Perrone & Associates, 415-431-9562)
Knowol: expert system shell, $39.95/$99.95?
Intelligent Machines Co.
3813 N. 14th St.
Arlington, VA 22201
703-528-9136
KEE: expert system shell
IntelliCorp
1975 El Camino Real W.
Mountain View, CA 94040
415-965-5500
Experteach: expert system shell, $475
Intelliware, Inc.
4676 Admiralty Way, Suite 401
Marina del Rey, CA 90291
213-305-9391
IQLisp: AI language (Lisp), $175
Integral Quality
6265 Twentieth Avenue (or POB 31970)
Seattle, WA 98115
206-527-2918
Savior: expert system shell, 3000 pounds
ISI Limited
11 Oakdene Road
Redhill, Surrey, UK RH16BT
(0737)71327
Ex-Tran: expert system shell, $3000
Jeffrey Perrone & Associates
415-431-9562
KDS: expert system shell, $795 (development), $150 (playback)
KDS II: expert system shell, $945
KDS Corp.
934 Hunter Rd.
Wilmette, IL 60091
312-251-2621
Decision Aide: decision support, $250
Trouble Shooter: decision support, $250
Kepner-Tregoe, Inc.
PO Box 704
Princeton, NJ 08542
609-921-2806
Insight: expert system shell, $95
Insight2: expert system shell, $485
Level 5 Research
4980 S. Highway A1-A
Melbourne Beach, FL 32751
(moved to 503 Fifth Ave., Suite 201, Indiatlantic, FL 32903?)
305-729-9046
Byso Lisp: AI language (Lisp), $125
Levien Instrument Co.
Sittlington Hill
PO Box 31
McDowell, VA 24458
703-396-3345
Lightyear: decision support, $495
Lightyear, Inc.
1333 Lawrence Expwy., Bldg. 210
Santa Clara, CA 95051
408-985-8811
(may be obsolete; see Thoughtware Inc.)
Daisy: expert system shell
Lithp Systems BV
Meervalweg 72
1121 JP Landsmeer
The Netherlands
Micro-Prolog: AI language (Prolog), $395
Logic Programming Associates
31 Crescent Drive
Milford, CT 06460
203-872-7988
MProlog: AI language (Prolog), $725
Logicware, Inc.
5000 Birch St., West Tower, suite 3000
Newport Beach, CA 92660
416-665-0022
70 Walnut St.
Wellesley, MA 02181
617-237-2254?)
Reveal: expert system shell, $4500 ($2000?)
McDonnell Douglas
Knowledge Engineering Products Division
20705 Valley Green Dr.
Cupertino, CA 95014
408-446-7406
MicroExpert: expert system shell, $49.95
McGraw-Hill
PO Box 400
Hightstown, NJ 08520
or 1221 Avenue of the Americas
New York, NY 10020
NY: 212-512-2999, elsewhere 800-628-0004
Guru: integrated software with expert system shell, $3000
Micro Data Base Systems
PO Box 248
Lafayette, IN 47902
317-463-2581
muLisp-85: AI language (Lisp), $250
Microsoft Corp.
10700 Northup Way, Box 97200
Bellevue, WA 98004
206-828-8080
Expert-2: expert system shell, $70
(requires MMSFORTH v2.4, $180)
Miller Microcomputer Services
61 Lakeshore Rd.
Natick, MA 01760
317-653-6136
QTime: expert system shell, $695
MOM Corp.
Two Northside 75
Atlanta, GA 30318
404-351-2902
Expert: expert system shell, $100
(same as MMS Expert-2 above? requires Forth?!)
Mountain View Press
PO Box 4656
Mountain View, CA 94040
415-961-4103
LISP/88: AI language (Lisp), $50
Norell Data Systems
PO Box 70127
3400 Wilshire Blvd
Los Angeles, CA 90010
213-748-5978
UO-Lisp: AI language (Lisp), $150
Northwest Computer Algorithms
PO Box 90995
Long Beach, CA 90809
213-426-1893
ERS: expert system shell
PAR Technology Corp.
220 Seneca Turnpike
New Hartford, NY 13413
XLISP: AI language (object oriented Lisp), $6 (disk 148)
Expert System of Steel: expert system shell, $6 (disk 268)
Esie: expert system shell, $6 (disk 398)
ADA Public Domain Prolog: AI language (Prolog), $6 (disk 405)
(see also Automata Design Associates)
PC-SIG
1030 E. Duane Ave, Suite J
Sunnyvale, CA 94086
408-730-9291; CA 800-235-6647, elsewhere 800-235-6646
(or where ever you get fine public domain software)
Waltz Lisp, $169
ProCode International
15930 SW Colony Place
Portland, OR 97224
503-684-3000
OPS83: expert system shell
Production Systems Technologies, Inc.
642 Gettysburg St.
Pittsburgh, PA 15206
412-362-3117
Micro-Prolog Professional: AI language?, $395
apes: expert system shell [micro-Prolog], $250
Programming Logic Systems
312 Crescent Dr.
Milford, CT 06460
203-877-7988
1st-Class: expert system shell, $20/$495 ($250??)
Programs in Motion, Inc.
10 Sycamore Rd.
Wayland, MA 01778
617-653-5093
Rulemaster/PC: expert system shell, $995
Radian Corp.
8501 Mo-Pac Blvd.
PO Box 9948
Austin, TX 78766
512-454-4797
Small-X: expert system shell, $125/$225
RK Software
PO Box 2085
West Chester, PA 19380
215-436-4570
Knowledge Engineering System II: expert system shell, $4000
Software Architecture & Engineering
1500 Wilson Blvd., suite 800
Arlington, VA 22209
703-276-7910
Wizdom: expert system shell, $1250/$2050
Software Intelligence Lab
1593 Locust Ave.
Bohemia, NY 11716
212-747-9066/516-589-1676
LISP/80: AI language (Lisp), $40
Software Toolworks
15233 Ventura Blvd., Suite 1118
Sherman Oaks, CA 91403
818-986-4885
Xper: expert system shell, $95
Softway
415-397-4666
TransLISP: AI language (Lisp), $75
Prolog-86: AI language (Prolog), $95/$250
Solution Systems
335-P Washington St.
Norwell, MA 02061
617-659-1571/800-821-2492
SeRIES-PC: AI language (Lisp), $5000
SeRIes PC: Expert system shell, $15000
SRI International
Advanced Computer Systems Division
333 Ravenswood Avenue
Menlo Park, CA 94025
415-859-2859; contact Bob Wohlsen, x4408
Q'NIAL: AI language (Nested Interactive Array Language), $395/$995
Starwood Corporation
PO Box 160849
San Antonio, TX 78280
512-496-8037
Microdyn: expert system shell, $300
Stochos
518-372-5426
M.1A: expert system shell, $2000
M1: expert system shell, $5000
KS-300: expert system shell
Teknowledge Inc.
525 University Ave., #200
Palo Alto, CA 94301
415-327-6640
Arborist: decision support, $595
PC Scheme: AI language (Lisp), $95
Personal Consultant: expert system shell, $950
Personal Consultant Plus: expert system shell, $2950
Texas Instruments
PO Box 80963, H-809
Dallas, TX 75380-9063
800-527-3500
Class
Texpert Systems, Inc.
12607 Aste
Houston, TX 77065
713-469-4068
TLC-Lisp: AI language (Lisp), $250
The Lisp Co.
PO Box 487
Redwood Estates, CA 95044
408-426-9400
Lightyear: decision support, $495
The Management Advantage: decision support, $249
Trigger: decision support, $495
Thoughtware, Inc.
Suite 1000a, 2699 S. Bayshore Dr.
Coconut Grove, FL 33133
305-854-2318
PSL: AI language (Portable Standard Lisp), distribution costs ($75?)
The Utah Symbolic Computation Group
Department of Computer Science
University of Utah
Salt Lake City, UT 84112
--
-Paul S. R. Chisholm, UUCP {ihnp4,cbosgd,pegasus,mtgzz}!lznv!psc
AT&T Mail !psrchisholm, Internet mtgzz!lznv!psc@topaz.rutgers.edu
The above opinions may not be shared by any telecomm company.
------------------------------
End of AIList Digest
********************
