Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 100
AIList Digest Monday, 20 Apr 1987 Volume 5 : Issue 100
Today's Topics:
Queries - Legal Modelling & Embedded Lisp and Ada on 68000 &
Request for a Rule Base & OPS5 Programs &
Benchmarking Production Systems & Tough Speech Recognition Examples &
Training Applications of Expert System Shells &
Efficient Implementation of Knowledge Representations &
Cognitive Science Grad Schools,
News - LMI Bankruptcy & Travel Grant Support for IJCAI-87 &
Canadian Artificial Intelligence, April 1987, No. 11
----------------------------------------------------------------------
Date: 7 Apr 87 16:29:25 EST
From: Roger Jagoda Sibley FTOP <FQOJ%CORNELLA.BITNET@wiscvm.wisc.edu>
Subject: Legal Modelling
For a change of pace on this net I'd like to ask if anyone out there has
any information or experience with Legal (as in LAW not lawful)
expert systems. I myself am from the engineering disciplines, but
the Law School here is interested in developing a learning tool with a
bank of legal precedences as the rule set. The inference engine will be
designed by the students as part of the legal argument entered to the
computer "judge". The concept sounded so interesting I thought I'd probe
the nets and see if there were any of you out there that had some ideas
for starting points. If there's enough interest/response I'll summarize
the responses back to the list. Thanks in advance.
Roger Jagoda
Cornell University/CCS
Internet: FQOJ%CORNELLA.BITNET@WISCVM.WISC.EDU
------------------------------
Date: 9 Apr 1987 20:43-EDT
From: LCELEC@A.ISI.EDU
Subject: Embedded Lisp & Ada on 68000
Does anyone know of:
1. An embedded Lisp system, or
2. A 68000-based system that supports Lisp and Ada?
We are trying to implement a small real-time program, originally
written in 68000, in both Lisp and Ada. Since we would eventually
like to do some benchmarking, we would like to keep the Ada and
Lisp on the same 68000 machine. Telesoft Ada supports an
embedded Ada but there does not seem to be any embedded Lisp.
Due to cost constraints, our next alternative is to use some kind
of PC. IBM PC supports both Lisp and Ada but is not 68000 based.
Any information would be helpful.
-- Tracy Mullen
(Please respond directly to LCELEC@A.ISI.EDU)
------------------------------
Date: 10 Apr 87 08:05:10 EDT
From: ABBOTT@RED.RUTGERS.EDU
Subject: request for a rule base
A colleague of mine is doing some work on optimization of production systems
and needs a rule base or two to test his system. Can anyone provide a
reference to a rule base of 50 or more rules? A backward-chaining
system is preferred, but not absolutely necessary. All he needs is a
listing of the rules themselves, not source code (although source code
would certainly be acceptable). Any help would be greatly appreciated.
Kathy Abbott
abbott@red.rutgers.edu
Mail Stop 156A
NASA Langley Research Center
Hampton, Va. 23665
(804) 865-3621
------------------------------
Date: 15 Apr 87 21:26:25 GMT
From: columbia!cheshire.columbia.edu!al@seismo.css.gov (Alexander
Pasik)
Subject: OPS5 programs
Here at Columbia, we are doing extensive research on production
systems especially in the realm of parallel processing. We are in the
process of building a public service library of OPS5 programs for use
in research and benchmarking. Once installed, anyone will be able to
retrieve the systems stored there anonymously through FTP.
We are requesting contributions to this library. Any contibutions
would be most helpful both to our research and to others in the
future.
If you have an interesting OPS5 system, place it in a directory with
all necessary files and a README file describing the system and how it
is used. Then send me (al@cheshire.columbia.edu) the location of the
UNPROTECTED files and I will copy them into the library. When the
library is in place, I will post its location and instructions for
access.
Thanks,
Alexander Pasik (al@cheshire.columbia.edu).
------------------------------
Date: 9 Apr 87 22:14:18 GMT
From: cadre!pitt!wvucsb!rsr@pt.cs.cmu.edu (Ravi S Raman)
Subject: Wanted: Benchmarking Production Systems
Has anybody seen any benchmark or comparative study of the various production
system engines? I am specifically interested in information regarding:
* the implementation language/environment (lisp/ops5/loops/psrl/kee/emycin...)
* the benchmark program
* the number of rules they fire/minute,
* the size and complexity of the rules that were employed,
* the size and complexity of the knowledge-base that was employed,
* the match algorithm employed by the system (Rete...) as well as
its speed/limitations.
I am aware that CMU's Anoop Gupta did quite a bit of comparasion studies;
however they were primarily on CMU systems employing OPS5. I'd like to hear
from other researchers/users in the field.
Please E-mail directly to me. If there is sufficient interest/response
I'll post a summary.
- ravi -
Ravi S. Raman
Department of Statistics and Computer Science
West Virginia University
Morgantown, WV 26506
(304)-293-3607
NET ADDRESS: pitt!wvucsb!wvucswv!rsr@cadre
------------------------------
Date: 17 Apr 87 07:19:20 GMT
From: pioneer!eugene@ames.arpa (Eugene Miya N.)
Subject: Tough speech recognition examples
I am looking for tough speech generation and recognition examples:
discriminating tests. I've seen people present examples to training
systems, and things like DECtalk.
For instance, one example I've heard and seen given is:
How to recognize speech.
How to wreck a nice beach.
I would like to find others. As tests of discrimination. I will not
only collect to summarize, I will maintain the list electronically.
Sort of reminds me of the Ishihara Color Blindness test.
>From the Rock of Ages Home for Retired Hackers:
--eugene miya
NASA Ames Research Center
eugene@ames-aurora.ARPA
"You trust the `reply' command with all those different mailers out there?"
"Send mail, avoid follow-ups. If enough, I'll summarize."
{hplabs,hao,ihnp4,decwrl,allegra,tektronix,menlo70}!ames!aurora!eugene
------------------------------
Date: 16 Apr 87 07:40:07 GMT
From: mcvax!ukc!its63b!epistemi!rda@seismo.css.gov (Robert Dale)
Subject: Training Applications of Expert System Shells
Can anyone give me pointers to case studies where PC-based expert system
shells have been used in training applications?
If there is sufficient interest, I will post a summary of what I receive to
the net.
Thanks in advance
R
--
Robert Dale University of Edinburgh, Centre for Cognitive Science,
2 Buccleuch Place, Edinburgh, EH8 9LW, Scotland.
UUCP: ...!ukc!cstvax!epistemi!rda
ARPA: rda%epistemi.ed.ac.uk@ucl.cs
JANET: rda@uk.ac.ed.epistemi
------------------------------
Date: Tue, 14 Apr 87 14:32:54 GMT
From: unido!tadam!michael@seismo.CSS.GOV (Michael Beetz)
Subject: Efficient implementation of knowledge representations
We are interested in information on implementation techniques
for object oriented knowledge representation languages on SYMBOLICS
Lisp machines/Genera 7.0. We need an efficient implementation for
maintaining and interpreting large amounts of objects.
Does anybody have comparisons of efficiency for various implementation
techniques like Flavors, Defstructs, generic functions ....??
Or does anybody have experience in implementing such languages.
Any hints, pointers, references will be greatly appreciated !
Reply to stripe.sri.com!unido!taeva!tadam!michael
Michael Beetz
Gaby Streck
------------------------------
Date: Tue, 14 Apr 87 13:15:26 est
From: Amy Winarske <winarske%wellesley.edu@RELAY.CS.NET>
Subject: Cognitive Science Grad Schools
I was very glad to see Carol Seger's letter, as I'm a junior at
Wellesley College in a similar position. Although I'm not going to
Kenya next year and I'm not quite sure what I want to study, (something
to do with language and cognitive science at this point), I would LOVE
to know which schools are doing what, and hear what the people there think
of their programs. It is rather difficult to get information on this field
without knowing who has such programs, since it isn't listed in any of the
"guide books" and is a relatively unknown field to people not involved in
it. (I'm really tired of people asking me "You're majoring in WHAT?")
If you have any words of wisdom or think anybody on the net might,
my address is: winarske@wellesley.edu
Thanks!
-Amy Winarske
------------------------------
Date: Mon, 13 Apr 1987 03:49 CST
From: Leff (Southern Methodist University)
<E1AR0002%SMUVM1.BITNET@wiscvm.wisc.edu>
Subject: NEWS FLASH!
Lisp Machine Inc. filed for Chapter 11 Bankruptcy.
Source: Computerworld, April 6, 1987, page 110.
------------------------------
Date: Thu, 16 Apr 87 13:29:58 est
From: walker@flash.bellcore.com (Don Walker)
Subject: Travel Grant support for IJCAI-87
TRAVEL GRANTS FOR IJCAI-87
IJCAII has submitted a proposal to NSF to provide travel allowances
for U.S. participants attending IJCAI-87 in Milan. It also plans to
provide an equal amount of IJCAII funds to support participants from
other countries. The amounts awarded would probably cover no more than
discount air fares and would vary depending on location and on the
number of persons applying. The intent is to help about 100 people.
Priority will be given to younger members of the AI community who
are presenting papers or are on panels and who would not otherwise be
able to attend because of lack of travel funds. Note that U.S.
applicants must use U.S. air carriers.
Applications should be submitted as soon as possible, even though we
have not received confirmation from NSF about a grant award. The
application should briefly describe benefits expected from attendance;
identify expected form of conference participation (e.g., presenting
paper); state current sources of research funding; and list travel
support from other sources. A brief resume should be attached, and
students should include a letter of recommendation from a faculty
member.
Five copies of the application should be sent, no later than 1 June
1987, to:
Priscilla Rasmussen
IJCAI-87 Travel Grants
Laboratory for Computer Science Research
Hill Center, Busch Campus
Rutgers, the State University
New Brunswick, NJ 08903, USA
------------------------------
Date: Sat, 11 Apr 1987 20:43 CST
From: Leff (Southern Methodist University)
<E1AR0002%SMUVM1.BITNET@wiscvm.wisc.edu>
Subject: Summary of Canadian Artificial Intelligence, April 1987, NO. 11
Discussion of the "Canadian Working Group on Prolog Standardization"
first meeting.
There is a newsletter available on LISP called "Lisp Pointers" available
free from:
Mary S. Van Deusen, Editor
IBM Research
P. O. Box 704
Yorktown Hieghts, NY 10598, USA
maida@ibm.com
A new consulting firm in expert systems: Expert Solutions, 8 Olympus
Avenue, Toronto (Dr. Peter Davies)
Article on expert system activities of the Canadian railways.
Report from the first Workshop on Knowledge Acquisition for Knowledge-
Based Systems was sponsored by the American Association of ARtificial Intelligen
ce
James Bradford of Brock University is developing AI based tools to
offer spontaneous advise to those using commercial packages on PC's.
This will include evaluation of user productivity and satisfaction in
field trials. He is also developing a natural language student
advisor.
At University of Alberta, the Schubert and Pelletier natural language system
is being modified to handle quantifiers such as "some" and "every" combined
with "and" and "not". Also a Generalized Phrase Structure Grammar
with a left-corner parser is being developed which generates something close
to first-order logic with identity.
Other work at University of Alberta:
THINKER, a natural deduction system for first-order predicate logic with
identity.
qualitative physics including liquid flow
system for handling shared logic databases including consistency and
completeness and concurrency issues
robot planning using first-order logic
new search algorithms including a parallel alpha-beta algorithm which was used
in the first place World Computer Chess Championship (on 20 Sun workstations)
incremental learning of conjunctive ocnepts by example
genetic learning algoirthms
List of papers on the workshop "The Challenge of Commonsense Knowledge
Representation in Artificial Intelligence"
Expert Systems and Common Sense
R. Narasimhan, Tata Institute of Fundamental Research in Bombay
Knowledge Reprentation: What is it?
N. Circone, University of Victoria
Some Uncommon Sense About Commonsense
A. Kelkar, Deccan College in Pune
Contributions of Semioptics to the Issue of Commonsense Knowledge
Representation
P. Bouissac of Victoria College at the University of Toronto
Commonsense and the Interpretation of Human Phenomena
J. C. Gardin, CNRS at Paris
Knowledge Representation Issues in Automated Tutoring
G. McCallas of the University of Saskatchawan
Markovian Connotation Models for the Exploration of Commonsense Knowledge
P. Miranda of Laval University
>From Meaning to Text: Semantic Representation in the Meaning Text
Linguistic Theory
I. Melcuk of l'Universite de Montreal
Neurollinguistics: From Static Representational STructures to Dynamic
Processes
J. L. Nespoulous
Biology of Natural Language
A. R. Lecours of Centre Hospitalier de la Reine Marie in Montreal
Concluding Paper
S. Ramani of the Tata Institute in Bombay
Reviews of
Roy Davies, Intelligent Information Systems: Progress and Prospects
Kokichi Sugihara, Machine Interpretation of Line Drawing
Michael L. Brodie and John Mylopoulos, On Knowledge Base Management
Systems: Integrating Artificial Intelligence and Database Technologies
------------------------------
End of AIList Digest
********************
