Date: Saturday, 14 May 1988, 21:50-EDT From: AIList Moderator Nick Papadakis Sender: nick@MIT-ARTHUR Reply-To: AIList@AI.AI.MIT.EDU Subject: AIList Digest V7 #1 To: ailist-outgoing@mc Status: RO AIList Digest Saturday, 14 May 1988 Volume 7 : Issue 1 Today's Topics: Administrivia (New address) Queries (Lots and lots) ---------------------------------------------------------------------- Date: Sat, 14 May 88 12:12:00 -0700 From: AIList Moderator Nick Papadakis Subject: New address Just a reminder - the correct address to use for postings to AIList is now: AILIST@AI.AI.MIT.EDU Note the *repetition* of the .AI part! Administrative requests should go to AILIST-REQUEST@AI.AI.MIT.EDU Please bear with me these first few weeks, as the changeover is not likely to be painless ... - nick ------------------------------ Date: Mon, 09 May 88 12:12:00 -0700 From: "Karl B. Schwamb" Subject: Query: 3K Regularities of Human Cognition? In a recent article, Allen Newell stated that there are 3000 regularities of human cognition. Does anyone know a reference where a list of these may be found? -Karl ------------------------------ Date: 9 May 88 02:02:29 GMT From: quintus!ok@unix.sri.com (Richard A. O'Keefe) Subject: Re: Explorer (vs. Sun) Experience ? In article <9457@sol.ARPA>, miller@ACORN.CS.ROCHESTER.EDU (Brad Miller) writes: > Most importantly, a lispm does not distinguish between the 'user' and the > 'kernel'. Everyone is one big happy address space. Which is to say: one fall down, ALL fall down. Don't lispm users ever make mistakes? ------------------------------ Date: 9 May 88 02:02:29 GMT From: hall@alpha.ece.jhu.edu Subject: Re: Explorer (vs. Sun) Experience ? Nah, we just call it a feature. :-) Seriously though, remember that lispm's are single user machines, so even if you REALLY mess up and the system's debugging facilities can't save you (they usually can - my Symbolics debugging aids are many times more powerful/helpful than those on Lucid CL on my Sun) - even if you have to reboot, you don't kill anyone else. - Marty Hall -- ARPA (preferred) - hall@alpha.ece.jhu.edu [hopkins-eecs-alpha.arpa] UUCP - ..seismo!umcp-cs!jhunix!apl_aimh | Bitnet - apl_aimh@jhunix.bitnet Artificial Intelligence Laboratory, MS 100/601, AAI Corp, PO Box 126, Hunt Valley, MD 21030 (301) 683-6455 ------------------------------ Date: 9 May 88 13:40:35 GMT From: trwrb!aero!venera.isi.edu!smoliar@bloom-beacon.MIT.EDU (Stephen Smoliar) Subject: Re: Reasoning by Analogy In article <1533@csvax.liv.ac.uk> stian@csvax.liv.ac.uk writes: >Does anyone know of any work done on reasoning by analogy. Any references >received gratefully. > Dedre Gentner Mechniamss of Analogical Learning Report No. UIUCDCS-R-87-1381 Department of Computer Science University of Illinois at Urbana-Champaign Urbana, Illinois Author's address: Dr. Dedre Gentner Department of Psychology University of Illinois 603 E. Daniel Champaign, Illinois 61820 ------------------------------ Date: 10 May 88 01:52:38 GMT From: news@galaxy.rutgers.edu (News) Reply-to: andromeda!subraman@rutgers.edu (Ramesh Subramanian) Subject: Re: Decision Theory in AI. (Judea Pearl's Influence Diag) I wonder if somebody could mail me some info. on where I could get literature on Judea Pearl's Infl.Diag ? Thanks. From: subraman@andromeda.rutgers.edu (Ramesh Subramanian) Path: andromeda!subraman (Ramesh Subramanian email (uucp):...!rutgers!andromeda!subraman 101 Bleeker St. Box#85 voice: (201) 565-9290. Newark, NJ 07102.) ------------------------------ Date: Mon, 9 May 88 20:21:51 PDT From: trwrb!smpvax1!sdl@ucbvax.Berkeley.EDU I am trying to compare Gemstone and Vbase which are object oriented databases. Does anyone have experience with both systems? I would also like to know if there is a mailing list for either object oriented systems or databases. Thanks. Daniel Lee Inference Corporation ucbvax!trwrb!smpvax1!sdl ------------------------------ Date: 10 May 88 17:27:27 GMT From: vrdxhq!daitc!viusys!gabe@umd5.umd.edu (Gabe Nault) Subject: ai languages on unix wanted I am starting a Master's thesis and am interested in finding an artifical intelligence language that either runs under Unix or can be ported to a Unix system. I hope to be able to find something more than lisp or xlisp. I have heard of a language called STAR, which is originally from NASA. The problem is that they want $2000 for this software, (and you thought that all government sponsored software was public domain). If anyone knows of any languages such as this or perhaps a prolog that runs on UNIX please let me know. Thanks in advance Gabe Nault ------------------------------ Date: 10 May 88 17:27:27 GMT From: osu-cis!dsacg1!mgiven Subject: ai languages on unix wanted One language that you could consider is CLIPS, a forward-chaining language implemented in C which is available from COSMIC (at the Univ. of Georgia, 404-542-3265). It was developed for NASA. -- Mott Given @ Defense Logistics Agency ,DSAC-TMP, P.O. Box 1605, Systems Automation Center, Columbus, OH 43216-5002 UUCP: {cbosgd,gould,cbatt!osu-cis}!dsacg1!mgiven Phone: 614-238-9431 ------------------------------ Date: Tue, 10 May 88 15:39 EDT From: John Watkins Subject: Re: how to recognize a chinese character In article <527@vmucnam.UUCP> daniel@vmucnam.UUCP (Daniel Lippmann) writes: >is there anybody knowing some computer-method to analize >a chinese character to find his place in a dictionnary ? There are several standard indexing techniques used in Chinese dictionaries to look up the meaning of a Chinese character. The four I am familiar with are: 1.pronunciation - Not useful here. 2.stroke count - Each "brush stroke" is counted. A table ordered by the total number of strokes used to write the character is referred to that gives an index value for the location of the character in the dictionary. The table is divided by total number of strokes and then further divided by one of the other techniques mentioned here. Aside from total number of brush strokes, there is one variation of this where the first stroke forms the first index value and the remaining strokes form a second index value. 3.radical/residual - I believe this is the most common for frequent usage. Each character is composed of a radical and a residual. The radical is composed of several strokes. Generally the radicals are arranged in ascending order of the number of strokes used in writing them. Characters are ordered within each radical grouping according to the count of the remaining strokes used to write the character. 4"boxes" - This is the technique with which I am least familiar. I believe it was used in one of the Yale dictionaries. As I recall it was based upon dividing up the character into four boxes. The starting stroke in each box was used as a partial index to the character. If any of these is of interest I suggest looking through a good library at a university with a Chinese language department. The real problem lies in recognizing what is and what is not a correct "brush stroke". I do not know of any work in this area. Perhaps others will have suggestions. ------------------------------ Date: 10 May 88 23:22:11 GMT From: amdahl!apple!pz@ames.arpa (Peter Zukoski) Subject: Info wanted on commercial products started at a university Howdy - I'm trying to find commercially successful computer products that were begun in university research. Some examples might be NuBus, or Ingres. I'm interested in the success (or failure) of technology transfer between universities and industry. If you know anything about the way the product was transferred, that is "How did it begin?", "How did it move out of the university?", "What made it a successful transfer?", etc. that will be wonderful. One of the theories I'm investigating is: "Is it the technology which makes it successful, or is it the people/researchers involved that make it successful?" For instance, with NuBus, the research team from MIT went to Western Digital to continue work on the product, and it was their presence which greatly helped make NuBus a viable product. If you have examples, history, and opinions on technology transfer issues they will be most welcome. Please forward this if you know of anyone expert in this area. Thanks in advance. Please mail responses. If you're interested in any results, let me know, and I'll forward them to you, or post if enough interest is shown. peter "does a dogma have the buddhist nature" z I demand rigidly defined areas of doubt and uncertainty! CSNET: pz@apple.COM UUCP : {sun,amdahl,nsc,dual}!apple!pz SNAIL: 20600 Mariani MS/22C Cupertino CA 95014 BELL : (408)973-2920 / (408)356-9133 ------------------------------ Date: Tue, 10 May 88 17:13:05 PDT From: lambert@cod.nosc.mil (David R. Lambert) Subject: analogical reasoning See books and reports (1980's) by Dr. Dedre Gentner, who is doing current research in analogical reasoning at University of Illinois, Dept of Psychology, 603 E. Daniel St., Champaign, IL 61820. David R. Lambert, PhD Email: lambert@nosc.mil ------------------------------ Date: 11 May 88 04:46:38 GMT From: munnari!phadfa.adfa.oz.au!lee@uunet.UU.NET (Bill Lee ) Subject: wanted expert program "AM" source I was after the source code for a program called "AM" This program was written by Lenat & Davis. Can anyone help me by either sending the source code my email, or telling me where I may get a copy? Please send all replies to shaw@eeadfa.ee.adfa.oz ACSNET Address or Brian Shaw GPO Box 2389 Canberra 2601 Australia (rather than the owner of this account) -- Mail: Bill Lee, Dept. Electrical & Electronic Engineering, University College, UNSW, ADFA, Canberra. 2600. Phone: (062) 68 8193, Telex: ADFADM AA62030, ACSNET: "bill@eeadfa.ee.adfa.oz" ------------------------------ Date: Wed, 11 May 88 21:02:48 PDT From: John B. Nagle Subject: TV systems for mobile robots I'd like to hear about experience with various cameras and radio links used with mobile robots. I'm interested in units suitable for a small, high-speed vehicle in which the vision processing is offboard. The ideal device, as pointed out by Russell Anderson in "A Robot Ping-Pong Player", is a CCD frame-transfer image sensor, since with such devices the entire frame is acquired as a unit and no artifacts of the scanning process appear in the image. Examples of such parts are the Sanyo LC99xx series. (The Fisher-Price Toy Camcorder and Lionel Loco-Vision use the LC9943, a low-resolution part from this line. There are higher resolution parts in the same family.) Is a minature TV camera using such a sensor with at least 250x250 resolution available yet? Next best is a CCD line-transfer image sensor. The better Pulnix units have these, and many robotic groups use them. What is the experience with these? The Sony Watchcam is a low-cost alternative. Any experience here? What about TV transmitters and receivers? I've seen a few TV Genie units around, but not only are they weak, they're illegal. But they do sbow that such a transmitter need not be large, and there are bands in which one can obtain appropriate licences. I do need something about that size, though, say 4x2x2 or smaller. Is there such a thing as FM TV gear, to improve the noise immunity? Has anyone dealt with the problem of camera stabilization and vibration isolation in a moving vehicle? The Steadicam gyro approach seems overkill. Sorbothane shock mounting is easy enough to do, but is it enough to get clear single frames? Has anyone tried using data from accelerometers and rate gyros to stabilize an image electronically? Has anyone tried sending data back from a robot in the audio carrier of a TV signal or in the vertical retrace interval? If so, with what hardware? Yes, I know it's a hard, ugly problem. John Nagle ------------------------------ Date: 12 May 88 15:49:58 GMT From: bigburd.PRC.Unisys.COM!judy@burdvax.prc.unisys.com (Judy P. Clark) Subject: Machine Design for Testability References Several weeks ago someone asked for references on the application of AI techniques to testability in VLSI design. I only saw one response to that request and would be interested in receiving a summary if there were more. However, what I am more interested in is information on design for testability of entire machines or systems. Does anyone know of any references? Thanks in advance, Judy Clark judy@prc.unisys.com Judy Clark judy@prc.unisys.com Unisys Defense Systems PO Box 517 Paoli, PA 19301 ------------------------------ Date: 12 May 88 18:55:39 GMT From: trwrb!aero!abbott@bloom-beacon.MIT.EDU (Russell J. Abbott) Subject: Proof Checker Wanted Does anyone have or know of a public domain, free, or cheap proof checker that can be used by undergraduates to write and check simple proofs. I'm teaching an automata theory and formal languages course, and the students are having a hard time formalizing their thinking. It would be nice if they could practice with an automated proof checker. A simple example problem is: prove that all strings in the set denoted by the regular expression (01 + 10)* have the same number of 0's as 1. The proof is straightforward by induction on the length of the string. The proof checker should have built into it knowledge of set notation, i.e., {X | p(X)}, strings, and of inductive proofs. It should also have a basic knowledge of simple arithmetic. Of course it also needs to be able to use results that are proved earlier or given to it as axioms. Thanks, -- Russ Abbott ------------------------------ Date: 12 May 88 18:55:39 GMT From: mcnc!ecsvax!rgn Subject: Proof Checker Wanted I would also be interested in a proof checker for possible use in an Intro. to Theoretical Computer Science course. Thanks, Rob -- Rob Norris Dept. of Math Sciences UUCP: ...!mcnc!ecsvax!rgn ------------------------------ Date: 12 May 88 18:55:39 GMT From: rapaport@cs.buffalo.edu Subject: Proof Checker Wanted There are proof checkers (as well as proof givers) for both propositional and predicate-logic natural-deduction systems in: Schagrin, Morton L.; Rapaport, William J.; & Dipert, Randall D. (1985) Logic: A Computer Approach (New York: McGraw-Hill). Software for them are available from: LCA Software c/o Prof. Randall R. Dipert Department of Philosophy State University College Fredonia, NY 14063 William J. Rapaport Assistant Professor Dept. of Computer Science||internet: rapaport@cs.buffalo.edu SUNY Buffalo ||bitnet: rapaport@sunybcs.bitnet Buffalo, NY 14260 ||uucp: {decvax,watmath,rutgers}!sunybcs!rapaport (716) 636-3193, 3180 || ------------------------------ Date: 12 May 88 21:23:18 GMT From: pyramid!prls!philabs!sbcs!dji@decwrl.dec.com (the dirty vicar) Subject: Book Rec Wanted (Thm Proving) Thanks to all who responded to my request for suggested books on resolution-based theorem proving. Sorry, but I didn't get a chance to respond to all personally. Anyway, here are the results, for those who are interested. Almost all the votes were for one or both of the following two books (and they got about equal numbers of votes): _Automated Reasoning: Introduction and Applications_ by Wos, Overbeek, Lusk, and Boyle Prentice-Hall 1984 _Symbolic Logic and Mechanical Theorem Proving_ by Chang and Lee Academic Press 1973 also got a few votes for: _Computer Modelling of Mathematical Reasoning_ by Allan Bundy Academic Press 1983 Thanks again the vic Dave Iannucci \ Dept of Computer Science \ SUNY at Stony Brook, Long Island, NY ARPA-Internet: dji@sbcs.sunysb.edu / CSNet: dji@suny-sb / ICBM: 40 55 N 73 08 W UUCP: {allegra, philabs, pyramid, research}!sbcs!dji or ....bpa!sjuvax!iannucci ------------------------------ Date: Thu, 12 May 88 17:59:13 PDT From: Edward Feigenbaum Subject: update on Fifth Generation Re: the query about "The Fifth Generation": In chapter 10 of a new book by McCorduck, Nii, and me (The Rise of the Expert Company, Times Books, forthcoming in August at AAAI), we attempt to update the status of the Japanese Fifth Generation project. The basis for this is routine reading of 5G technical papers, and one long interview in December of 1986 with Dr. Fuchi and other friends at ICOT, The update is short, and is intended for the same general audience that read the book The Fifth Generation. Ed Feigenbaum ------------------------------ Date: Thu 12 May 88 18:19:20-PDT From: HOSEIN@PLUTO.ARC.NASA.GOV Subject: SOAR graphics Marc P. Hosein Intelligent Systems Technology Branch NASA Ames Research Center Mail Stop 244-4 Moffett Field, CA. 94035 (415) 694-6526 TO: Neural Network and Connectionist Researchers Thank you for responding to my previous request for information letter. The response has been tremendous! I have received many neural network papers and have been in the process of studying them over the past few months. I have chosen several of the connectionist models for use in my poster, but I am now in need of some color. That is, I am looking for 1) Color photographs associated with your work. 2) Videos of demos or research models being studied. Any videos or pictures would be very helpful. I would much appreciate speedy correspondence as the SOAR conference will be held July 20-23. Thank you for your time and consideration. Please feel free to call me at (415) 694-6526 or send mail on the arpanet to HOSEIN@AMES-PLUTO.ARPA if you have any questions. Again, I can not thank you enough for the papers I have already received. Thank you, Marc P. Hosein ------------------------------ End of AIList Digest ********************