Copy Link
Add to Bookmark
Report
AIList Digest Volume 8 Issue 090
AIList Digest Monday, 26 Sep 1988 Volume 8 : Issue 90
Queries:
Awareness in Epistemic Logics
Best AI Universities??
NL interfaces to Rule Based Expert Systems
Source for the RETE algorithm (Forgy, CMU)
Responses:
Genetic Learning Algorithms
Model-based Reasoning
----------------------------------------------------------------------
Date: Fri, 23 Sep 88 18:34 SET
From: Fabrizio Sebastiani <FABRIZIO%ICNUCEVM.BITNET@MITVMA.MIT.EDU>
Subject: Awareness in Epistemic Logics
Does anybody know whether further studies have been carried out on Fagin
and Halpern's notion of "awareness" in epistemic logics, as from their
1985 IJCAI paper? whether the notion had been previously discussed in
the philosophy of language or the philosophy of mind? Anyone wishing to
discuss the topic, provide references, send papers, etc., is invited to
contact me. Fabrizio Sebastiani
------------------------------
Date: 5 Sep 88 15:37:29 GMT
From: hpl-opus!hpccc!hp-sde!hpfcdc!hpgrla!danj@hplabs.hp.com (Dan
Johnson)
Subject: Best AI Universities??
***
I am conducting an informal survey on U.S. universities with graduate
C.S. programs in the following areas:
Image Processing
Pattern Recognition
AI
Neural Nets
User Interface Design
Which universities have the best instructional and/or research programs
in these areas and why? All opinions gratefully accepted. (Opinions
based on factual data such as graduate surveys, etc. are even more gratefully
accepted. :-).
I will summarize and repost if there is sufficient interest.
----------------------------------------------------
Dan Johnson UUCP: hplabs!hpfcla!hpgrla!danj
Hewlett-Packard
Greeley Division
------------------------------
Date: Tue, 20 Sep 88 10:24:14 +1000
From: "ERIC Y.H. TSUI" <munnari!aragorn.oz.au!eric@uunet.UU.NET>
Subject: NL interfaces to Rule Based Expert Systems
I recently broadcasted and seek information on NL interfaces to rule based
expert systems. There is no reply and I came across the following article:
DATSKOVSKY-MOERDLER, G., McKEOWN, K.R. and ENSOR, J.R. (1987);
Building Natural Language Interfaces for Rule-based Systems, IJCAI-87,
p682-687.
The first two authors are from Columbia University (NY) and the third author
is from AT&T Bell Lab. (Holmdel, N.J.).
Would anyone have their e-mail address ? (I am still interested to learn
about pointers to other work.)
Eric Tsui eric@aragorn.oz
Division of Computing and Mathematics
Deakin University
Geelong, Victoria 3217
Australia
------------------------------
Date: Fri, 23 Sep 88 10:51:03 +1000
From: "ERIC Y.H. TSUI" <munnari!aragorn.oz.au!eric@uunet.UU.NET>
Subject: Source for the RETE algorithm (Forgy, CMU)
Anyone knows where I can obtain a version of the source/object code for
the RETE algorithm (Forgy's, CMU) ? I would like to run a few experiments
with it and if I do decide to incorporate that into our system, I would
re-write one in Prolog anyway. (Needless to say, all for non-commerical
purposes.) Versions in C, Lisp, Prolog, Smalltalk and Pascal all welcome.
Am I correct that the latest publication on RETE is:
Forgy, C.L. and Shepherd, S.J. (1987); Rete: A Fast Match Algorithm,
AI Expert 2(4), p35-40.
Eric Tsui eric@aragorn.oz
Division of Computing and Mathematics
Deakin University
Geelong, Victoria 3217
AUSTRALIA
------------------------------
Date: Tue, 20 Sep 88 13:36 PDT
From: jan cornish <cornish@RUSSIAN.SPA.Symbolics.COM>
Subject: Genetic Learning Algorithms
Date: 18 Sep 88 13:49:01 GMT
From: thefool@athena.mit.edu (Michael A. de la Maza)
I am currently working on a genetic learning algorithm(gla) engine that
draws inferences from a horse racing database (the results could be
enRICHening). Has anyone compiled a bibliography of gla articles/books?
If I'm inundated with responses I'll post a summary here.
What makes you think a GA will work?
You probably would want to use a GA based "classifier system" (see a
book by John Holland et. al. called Induction) in which a random
population inductive rules are evolved. You might want to take a look at
an article "Pinpointing Good Hypothesies with Heuristics" by Steven
Salzberg in the book "Artifical Intelligenece & Statistics". He
developed a weighted feature vector approach where the weights were
updated by heuristics. It worked well. The feature vector was about 70
dimensional.
Where are you getting your data?
Michael A. de la Maza thefool@athena.mit.edu
Query: What is the answer to this question?
Answer: what question is this the answer to?
[There is a separate list covering genetic algorithms called GA-LIST.
Send subscription requests to gref@NRL-AIC.ARPA. However, AIList will
continue to carry occasional information ...
A good list ...
In addition, offutt@caen.engin.umich.edu (Daniel M. Offutt) is
offering a GA function optimization package. Contact him for details.
- nick]
------------------------------
Date: Tue, 20 Sep 88 19:31:46 EDT
From: davis@wheaties.ai.mit.edu (Randall Davis)
Subject: Model-based Reasoning
Concerning:
From: jdavis@ucsd.edu (James P. Davis)
Subject: Model-based Reasoning
I am looking for some good references on the subject of Model-based
reasoning (MBR). I am also interested in finding out who is doing
work/research in this area, and what domains are being investigated.
Nobody seems to have put any special compendiums (like Morgan Kaufmann)
in this area yet. Any of you out there?
See the article by Davis and Hamscher in "Exploring AI", a compendium of
recent AAAI survey talks, just published by M/K. The article is a survey of
the state of the art of model-based troubleshooting as of August 1987.
In addition, I'm working on an edited collection of articles summarizing the
MIT group's work in this area, including troubleshooting, test generation,
design, design for testability, combining causal and associational reasoning,
etc. Available in spring/summer 1989.
How does MBR relate to "reasoning from first principles"?
They're used essentially synonymously. "First principles" was used earlier on
to emphasize that the systems reasoned from fundamental engineering principles
rather than empirical associations; "model-based" has been used more recently
to acknowledge the central role of the device model in comparing behavior
predicted by the model with behavior actually emitted by the physical device.
------------------------------
End of AIList Digest
********************