Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 106
AIList Digest Monday, 4 May 1987 Volume 5 : Issue 106
Today's Topics:
Administrivia - AIList Interruption & MDee Mailer Troubles,
Queries - Robot Planning & LISP Engine Speed &
Canonical List of Commercial AI Products under UNIX &
Tech Report Contact Info & Performance of Rule-Based Systems &
Singapore KEE Users Seeking Other KEE Users &
Flavors & XENIX Expert Shells & HEX & Go &
Theorem Proving Text & Sun/Lucid Environment &
Meta-Level Architectures for Rule Systems
----------------------------------------------------------------------
Date: Thu 30 Apr 87 09:48:17-PDT
From: Ken Laws <Laws@Stripe.SRI.COM>
Subject: AIList Interruption
Sorry for the delay in getting the digest out. An unbalanced quote
in my distribution list took four days to discover and fix; then I
came down with a case of flu so bad that I couldn't bear to read
for several days. I'm nearly recovered, and I also have my home
terminal back from the repair shop, so I should be able to get the
digest going again.
-- Ken
------------------------------
Date: 30 Apr 87 23:15:00 GMT
From: mdee!md@eddie.mit.edu
Subject: Mailer Troubles
Would anyone who sent us electronic mail between April 26th and April 30th
please resend -- our incoming mailer was broken. Sorry for the inconvenience.
Marilyn Dee Associates, Inc.
"Specialists in Artificial Intelligence"
One Kendall Square, Suite 2200
Cambridge, Massachusetts 02139
(617) 577 8881
{seismo, genrad, allegra}!mit-eddie!mdee!md
------------------------------
Date: 20 Apr 87 04:31:36 GMT
From: friedman@topaz.rutgers.edu (Gadi )
Subject: robot planning papers request.
I am writing a paper on current work in Robot planning. I would like
stuff from the '80s.. I already have some from the early seventies.
(72,73,74). Any references would be appreciated.
Gadi
--
ARPA: friedman@topaz.rutgers.edu
UUCP: {harvard, seismo, ut-sally, sri-iu, ihnp4!packard}!rutgers!topaz!friedman
CMS: RUTGERS!SYSOP (CMS is DOWN. Long live CMS)
------------------------------
Date: Mon, 20 Apr 87 13:26:50+0900
From: "Jin H. Kim" <jkim%csd.kaist.ac.kr@RELAY.CS.NET>
Subject: LISP Engine Speed
I am writing an introductory paper about Lisp Workstations such as
Symbolics 3600, TI's Explorer, and Lambda machine. Does anybody have
speed comparisions between the Lisp Engines and conventional
workstations such as Sun and Apollo in executing LISP programs.
Jin H. Kim
Korea Advanced Institute of Science and Technology
Computer Science Department
------------------------------
Date: 21 Apr 87 20:56:54 GMT
From: bagwill@decuac.dec.com (Bob Bagwill)
Subject: canonical list of commercial AI products under UNIX
Has anyone compiled such a list? Thanks.
--
-------------------------------------------------------------------------------
Bob Bagwill Are we not men?
UUCP: {decvax,seismo,cbosgd}!decuac!bagwill INET: bagwill@decuac.DEC.COM
------------------------------
Date: Wed, 22 Apr 87 18:00:24 AST
From: brant@linc.cis.upenn.edu (Brant Cheikes)
Subject: Call for Tech Report Contact Info
Every time I need a technical report published at another institution,
I always find myself going through the same hassle, usually involving
several phone calls and transfers, until the "right person" is found.
Is there any list or "lookup service" where one can, given an
institution, find out the name (and perhaps network address) of the
person to whom requests for technical reports can be addressed?
If anyone knows of such a thing, please let me know. If I hear
anything useful, I'll pass it on to the community. Thanks.
-----------------------------------------------------------------------------
Brant Cheikes University of Pennsylvania
ARPA: brant@linc.cis.upenn.edu Computer and Information Science
=============================================================================
[Lawrence Leff maintains such a list of report sources.
Write to him as Leff%smu.csnet@relay.cs.net, or as
E1AR0002%SMUVM1.BITNET@WISCVM.WISC.EDU. -- KIL ]
------------------------------
Date: Thu, 23 Apr 87 11:14:24 WUT
From: ADELSBER%AWIWUW11.BITNET@wiscvm.wisc.edu
Subject: performance of rule-based systems
subject: performance of rule-based systems
I am currently working on a methodology for defining the performance of
rule-based expert systems. I would like to discuss and to compare the
performance of different inference-strategies. To get comparable results
it seems to me important to classify and to evaluate different rule-
representations and to find a measure for specific rule-bases.
This measure should include attributes like complexity, granularity,
depth etc. A main goal of this work is to find a method for the
selection of the best representation and inference strategy for
a specific kind of rule-based knowledge. Is there anybody working on the
same object ? I would be thankful for hints, information and (or)
references.
Marcus Oppitz, Technical University Vienna
Please send your answer to
vipvax!marcus%tuvie.uucp@cernvax (marcus oppitz)
or
adelsber at awiwuw11 (bitnet)
------------------------------
Date: Fri, 24 Apr 87 08:23:54 cdt
From: "Michael T. Gately" <gately%resbld%ti-csl.csnet@RELAY.CS.NET>
Subject: KEE users seeking other KEE users
From: TILDE::"UCBCAD!AMES!SEISMO!ROCHESTER!RITCV!SPW2562@UCBVAX.BERKELEY.EDU"
Posted for a friend without access to netnews...
Pls respond to iss@tataelxsi, NOT to me.
==============================================================================
In space no one hears you scream! Loneliness got to me finally.
We are an isolated group of KEE users in Singapore (South East
Asia), feeling lonely and chilly due to the thousands of miles
of empty space to the nearest the KEE civilization. We need
someone to talk to, please respond! We face lots of technical
problems and once in a while feeling that we are reinventing
some tools.
Our site is running a TI Explorer with KEE version 3.0. We have
something to offer too: tools for compact bitmap storage and
displaying, and bitmap cutting from screen.
plse e-mail to..
...sun!elxsi!tataelxsi!iss or
ISSAD@NUSVM (bitnet)
looking forward to hearing from all of you 8-)
Loo Peing Ling
Institute of Systems Science
==============================================================================
Steve Wall @ Rochester Institute of Technology
UUCP: ..{allegra|seismo}!rochester!ritcv!spw2562 Unix 4.3 BSD
BITNET: SPW2562@RITVAXC VAX/VMS 4.4
------------------------------
Date: 24 Apr 87 15:41:48 GMT
From: rochester!kodak!murthy%svax.cs.cornell.edu@seismo.CSS.GOV (Chet
Murthy)
Reply-to: murthy@svax.cs.cornell.edu (Chet Murthy)
Subject: Flavors anyone?
Hi. I am looking for a copy of flavors that will run on Franz LIsp
under 4.3. (Opus 38.92). The version of flavors that comes with Franz is
a bit (putting it lightly) broken. Anybody out there have anything?
(Please reply to me, since I figure most people have real lisps to work with.
Thanks in advance,
--chet--
In Real Life: Chet Murthy
ARPA: murthy@svax.cs.cornell.edu
SnailMail: Chet Murthy
Gaslight Village Apts 21-B
Uptown Road
Ithaca, NY 14850
Office: 4162 Upson (607) 255-2219
MaBellNet: (607)-257-5709
--
--chet--
In Real Life: Chet Murthy
ARPA: murthy@svax.cs.cornell.edu
SnailMail: Chet Murthy
Gaslight Village Apts 21-B
Uptown Road
Ithaca, NY 14850
Office: 4162 Upson (607) 255-2219
MaBellNet: (607)-257-5709
------------------------------
Date: 26 Apr 87 00:21:14 GMT
From: jsrobin@ra.ee.umd.edu (John S. Robinson)
Reply-to: jsrobin@ra.UUCP ()
Subject: Expert Shells for PC/AT XENIX - what's good, what's bad?
I am posting this for a friend:
I am in the process of developing an expert system on an IBM PC/AT under
the XENIX operating system.
I would like to find out people's views on expert system shells that run
under XENIX on IBM PC/AT's. Any information about these tools (pros and cons)
would be greatly appreciated. Thank you.
Please reply to jsrobin@ra.UUCP, or jsrobin@eneevax.umd.edu, or post responses
to the appropriate newsgroups. Thanks in advance for your responses.
------------------------------
Date: 27 Apr 87 15:47:03 GMT
From: mcvax!cernvax!bcfl@seismo.css.gov (bcfl)
Subject: asking infos on HEX game
Hi there.I hope that somebody on the net knows a board game called HEX,
consisting of a 11 x 11 board of hexagonal cases.The winner is the first one
who completes a chain joining two parallel sides.I used to play some years
ago,but have not kept in touch with the players community.I was told that
the game is played in the US,so I would appreciate infos about the
following points:
1)What about the mathematical researach?Did anybody find a winning strategy
for the first player?
2)Do intelligent probgrams exist?What sort of algorithm do they use?Are
they commercially available?
3)Do dedicated playing machines exist?
I gratefully thank in advancec anyone who will provide me with infos
on any of the points above.
Giulio Prisco. CERN EP Division.
------------------------------
Date: 28 Apr 87 22:13:34 GMT
From: andrew.cmu.edu!lord#@pt.cs.cmu.edu (Tom Lord)
Subject: recorded go games
<>
Does anyone out there have a library of go games, played by humans, in a
machine readable format? I would like to use such a library to test some
notions I have about how to build a selective search for the game. Machine
readable libraries of joseki, tesuji problems and the like would also be of
use.
Thanks,
Thomas Lord
lord@andrew.cmu.edu
or
tbl@k.cs.cmu.edu
------------------------------
Date: Tue, 28 Apr 87 16:05 EDT
From: DON%atc.bendix.com@RELAY.CS.NET
Subject: Theorem Proving Text recommendation
What is a good, up-to-date, intermediate or advanced automated theorem
proving book? If there isn't a list which someone can send me from the
archives, I'll collect responses and post.
Don Mitchell Don@atc.bendix.com
Bendix Aero. Tech. Ctr. Don%atc.bendix.com@relay.cs.net
9140 Old Annapolis Rd. (301)964-4156
Columbia, MD 21045
------------------------------
Date: 29 Apr 1987 12:23-EDT
From: VERACSD@A.ISI.EDU
Subject: Symbolics & Sun-3 + Lucid Dev Envs
I'm interested in the viability of the Sun-3/160 running Lucid Common Lisp
(with Lucid's version of Flavors) as a Lisp development environment.
My standard for the comparison are Symbolics 36xx's, which I have a
strong predilection toward.
I'm especially interested in opinions/remarks by experienced Symbolics
programmers who have used Sun-3's with Lucid for more than a few hours.
Some specific areas I would like to see addressed are:
o the completeness is Lucid's Flavors
o the quality of editing and debugging tools
o gc
o major wins/losses vis-a-vis Symbolics
o rough estimate of development time vis-a-vis Symbolics
I will be glad to summarize and post if the response warrants it.
-- Cris Kobryn
----------------------------------------------------------------------------
Cris Kobryn ARPA: VERACSD.CK@A.ISI.EDU
Advanced Systems Development BELL: (619)457-5550
VERAC, Inc.
9605 Scranton Rd., Suite 500
San Diego, CA 92121
------------------------------
Date: Tue, 28 Apr 87 17:36:01 GMT
From: unido!tadam!michael@seismo.CSS.GOV (Michael Beetz)
Subject: efficient implementation of meta-level architectures for
rule-systems
We are currently developing a production rule interpreter that processes
explicit and declarative representations of control knowledge. Therefore,
we are interested to get contact to people working at the same topics.
Our interpreter processes rules like rules in OPS5, meta rules
like the rules of the TEIRESIAS system. Rules are partitioned in rule
sets and the user can specify phase sequences describing the order
in which rule sets are applied within an interpretation process. Or
the user can specify conflict resolution rules if more than one rule set
is applicable (with each rule set a precondition is associated).
We are working at the following topics:
1. Extending the RETE algorithm such that
- it can process objects (inheritance!)
- it can increase the efficiency of matching by exploiting the
partitioning of rule bases in rule sets
- can match meta rules (rules that contain patterns of object rules
in their condition part)
2. languages for specifying meta-level architectures for rule-based
systems.
3. Efficient implementations of RETE algorithms on a SYMBOLICS LISP
machine Genera 7.0.
Thanks in advance
Michael
Michael Beetz
c/o Gerhard Kraetzschmar
Schweppermannstr 5
8500 Nuernberg 10
Federal Republic of Germany
------------------------------
End of AIList Digest
********************
