Date: Mon 26 Sep 1988 01:48-EDT From: AIList Moderator Nick Papadakis Reply-To: AIList@AI.AI.MIT.EDU Us-Mail: MIT LCS, 545 Tech Square, Rm# NE43-504, Cambridge MA 02139 Phone: (617) 253-6524 Subject: AIList Digest V8 #90 To: AIList@AI.AI.MIT.EDU Status: RO 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 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" 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" 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 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 ********************