Date: Mon 28 Mar 1988 20:53-PST From: AIList Moderator Kenneth Laws Reply-To: AIList@KL.SRI.COM Us-Mail: SRI Int., 333 Ravenswood Ave., Menlo Park, CA 94025 Phone: (415) 859-6467 Subject: AIList V6 #59 - POPLOG, microExplorer, Inference, Cognitive Agent To: AIList@KL.SRI.COM Status: RO AIList Digest Tuesday, 29 Mar 1988 Volume 6 : Issue 59 Today's Topics: Queries - Control of Batch Reactors & DEFT Project & AI in CAD & Conversational Programs & Expert Systems,n AI Tools - POPLOG Availability in the US & Parallel Inference Mechanism & TI microExplorer, Project - Cognitive Agent ---------------------------------------------------------------------- Date: Fri, 25 Mar 88 12:17:28 IST From: Oren Regev Subject: Re: AI in ISRAEL HELLO! WE ARE DEALING HERE IN THE I.I.T (ISRAEL INSTITUTE OF TECHNOLOGY) IN IMPLIMENTATION OF EXPERT SYSTEMS ON THE CONTROL OF BATCH REACTORS. THIS IS DONE BY BUILDING A RULE BASE AND CONNECTING IT TO A SIMULATOR BASED ON A MODEL OF SUCH A SYSTEM. THE CONTROL OF SUCH A REACTOR IS SO HARD BECAUSE OF INTERNAL HEAT GENERATION DURING REACTION (IT IS EXOTHERMIC REACTION). WE ARE INTERESTED IN ANY INFORMATION THAT YOU CAN SEND US OREN REGEV chemical engineering faculty CERRLOR AT TECHNION ------------------------------ Date: 24 Mar 88 15:42:09 GMT From: ucsdhub!hp-sdd!ncr-sd!rb-dc1!tjeff@sdcsvax.ucsd.edu (Jeff Enderwick) Subject: DEFT Does anyone know of any ref's for IBM's DEFT project (Diagnostic expert system for disk drives) ? Thanks - Jeff sdcsvax!ncr-sd!rb-dc1!tjeff ^ | sdcsvax.UCSD.EDU ------------------------------ Date: 25 Mar 88 12:28:32 GMT From: mcvax!unido!infko!uro@uunet.uu.net (Uwe und Roland) Subject: need info on AI in CAD In doing research on intelligent CAD-systems, I'm looking for literature, technical/research reports and conference proceedings on following topics: - Architecture of intelligent CAD-systems - Design and Implementation of AI-models which enable the user to include structural knowledge (i.e. design knowledge), exceeding topological knowledge while describing his objects to the CAD-system. I'm looking for a kind of shell, surrounding the realization of the topological/geometrical model, but beeing as independent as possible from the latter one. - Applications of results of neural-network research in the construction of CAD-systems Does anybody know, whether there are "intelligent" CAD-systems already available for "real-life" applications? -- Roland Berling, Uni Koblenz (EWH), Informatik Rheinau 3-4, D-5400 Koblenz (West Germany) UUCP: ..!unido!infko!uro uro@infko.UUCP ------------------------------ Date: 25 Mar 88 21:29:41 GMT From: ok2@psuvm.bitnet Subject: conversations? Hi, I'm trying to locate versions of PARRY and similar programs that simulate conversation with a human being (such as ELIZA and SHRDLU). I do know that PARRY, which simulates conversing with a Paranoid person was written by K.M. Colby, based on the information processing approach (of a paranoiac) of S.S. Tomkins. Also, I know that SHRDLU, which simulates talking to and giving orders to a robot in a computer generated simulation, was written by Terry Winograd. Both PARRY and ELIZA take advantage of the tactic of predefining the context of the conversation (a conversation with a paranoiac, or conversation with a therapist) to imply real meaning to sentences the program generates from key words picked from the human's sentences. SHRDLU on the other hand is using an internal model of the 'world' which the simulated 'robot' is in. The program is limited to talking about the actions of the robot in this simulated world.... Any information about where to find copies of these programs (for IBMpc, Apple, or VMS) or about programs like these (or better than them...) will be greatly appreciated. Steven "To err is human, but when the eraser wears out before the pencil, you're overdoing it" - from Soundingboard ------------------------------ Date: Fri, 25 Mar 88 09:40:17 EDT From: CMSBE1%EOVUOV11.BITNET@CUNYVM.CUNY.EDU Subject: Please, send me information about... Date: 25 March 1988, 09:26:16 EDT From: Juan Francisco Suarez Vicente (KIKO) CMSBE1 at EOVUOV11 To: AILIST-REQUEST at KL.SRI Hi from Spain !!! Could anyone send me (via electronic mail) any of these informations: - plausible reasoning and certainty factors - knowledge adquisition in medical diagnosis - improving diagnostics obtained using certainty factors - more medical knowledge representations than typical rule-based systems ? Thanks a lot in advancing to all answers. If there is no people who had this electronic information, I'm looking for bibliography too. Please, send your mail for AILIST distribution, or directly to: CMSBE1@EOVUOV11 (EARN network) ------------------------------ Date: Fri, 25 Mar 88 09:15:58 GMT From: Aaron Sloman Subject: request for information about POPLOG >From: uazchem!dolata@arizona.edu (Dolata) >Subject: POPLOG availability in the US >Can someone give me a pointer to the party who distributes POPLOG in the >US? Since my net connections are a bit rocky, could you send me both >email and US Snail mail addresses?? (Phone number?) This news item has not reached me direct. Someone forwarded it without the Snail mail address. So I thought I should reply both direct and via AI Digest. POPLOG is developed by the School of Cognitive Sciences at Sussex University, Brighton, England and distributed world wide by Systems Designers. However we have an arrangement with Prof Robin Popplestone at Univ. Amherst Mass to distribute it at a much reduced price to academics in US and Canada. He can also arrange for provision of evaluation licences, provide demonstrations, etc. It is now possible to have ML in Poplog though it is not yet part of the official release. US Contact addresses for POPLOG: For Academic enquiries/sales in USA and Canada Prof Robin Popplestone Dept. of Computer and Information Science Lederle Graduate Research Center University of Massachusetts Amherst, MA 01003, USA Email pop@cs.umass.edu or Prof Robin Popplestone Computable Functions Inc., 35 South Orchard Drive, Amherst, MA 01002, USA Phone(413) 253-7637 For non-academic enquiries/sales Systems Designers International Inc Industrial Division New Castle Corporate Commons, 55 Read's Way, New Castle, Delaware 19720, USA Phone (302) 323 1900 (800)888-9988 I hope that helps. Aaron Sloman, School of Cognitive Sciences, Univ of Sussex, Brighton, BN1 9QN, England ARPANET : aarons%uk.ac.sussex.cvaxa@nss.cs.ucl.ac.uk aarons%uk.ac.sussex.cvaxa%nss.cs.ucl.ac.uk@relay.cs.net BITNET: aarons%uk.ac.sussex.cvaxa@uk.ac As a last resort (it costs us more...) UUCP: ...mcvax!ukc!cvaxa!aarons Phone: University +(44)-(0)273-678294 (Direct line. Diverts to secretary) ------------------------------ Date: 25 Mar 88 19:01:46 GMT From: nau%frabjous@mimsy.umd.edu (Dana Nau) Reply-to: nau@frabjous.UUCP (Dana Nau) Subject: Re: POPLOG availability in the US In article <8803210643.AA02468@uazchem.SGI> dolata@uazchem.UUCP (Dolata) writes: >Can someone give me a pointer to the party who distributes POPLOG in the >US? Since my net connections are a bit rocky, could you send me both >email and US Snail mail addresses?? (Phone number?) Thanks for the help. Why don't you get in touch with Robin Popplestone, the author? He's in the department of Computer and Info. Science at UMass; I think his e-mail address is pop@cs.umass.edu. Dana S. Nau ARPA & CSNet: nau@mimsy.umd.edu Computer Sci. Dept., U. of Maryland UUCP: ...!{allegra,uunet}!mimsy!nau College Park, MD 20742 Telephone: (301) 454-7932 ------------------------------ Date: 24 Mar 88 20:03:32 GMT From: maui!leon@locus.ucla.edu (Leon Alkalaj) Subject: Re: parallel inference mechanism There are (at least) two reports from ICOT on the KABU-WAKE method for parallel inference: TM-0131, july 1985: A New Parallel Inference Mechanism Based on Sequential Processing, Y. Sohma, K. Satoh, K. Kumon, H. Masuzawa and A. Itashiki. TR-150, March 1986: KABU-WAKE: A New Parallel Inference Method and Its Evaluation, K. Kumon, H. Masuzawa, A. Itashiki, K. Satoh and Y. Sohma. Leon Alkalaj, UCLA Computer Science Dept. ------------------------------ Date: 25 Mar 88 23:58:22 GMT From: voder!apple!striepe@ucbvax.Berkeley.EDU (Harald Striepe) Subject: Re: TI microExplorer (Mac II coprocessor) ... In article <1180@kodak.UUCP> luciw@kodak.UUCP (bill luciw) writes: >Well, our KBS Lab is ordering a microExplorer, the coprocessor for the Mac II. >1) What impact (if any) does the alledged lack of "true" DMA have on the >paging performance of the microExplorer? I do not have exact figures on this, but overall performance is 50% + of TI's Explorer II; contributors to this differential are reduced clock speed of the CPU to reduce power consumption, different memory organization (cache), and disk performance. However, it is nice to have a single file system rather than dealing with multiple partitions. >2) Is TI's implementation of RPC available to other applications (such as those >developed under MPW)? Texas Instruments is publishing the RPC spec. >3) How well integrated is the microExplorer into the rest of the Mac >environment - (cut, copy, paste, print on an AppleTalk printer) ? The microExplorer uses the Apple peripheral devices. Although the user interface integration is not yet complete (you are running an Explorer window system in one or more Macintosh windows under MultiFinder), TI is working agressively on deeper integration. >4) Can you install the "load bands" on third party disks (SuperMac 150) or do >they need to remain on the Apple hard disk (the load bands are supposed to be >normal, finder accessible files)? Although we have not tried this, there should be no reason why this should not work (a Macintosh volume is a Macintosh volume). >5) How much of a hassle is it to port applications over to the little beastie >from a normal Explorer (what about ART, KEE, SIMKIT, etc.)? Some vendors have installed their application in less than a day. Inference, IntelliCorp and Carnegie Group all announced support of the microExplorer. >6) Do any benchmarks (ala Gabriel) exist for this machine? You might want to contact TI, they ran a whole suite. Unfortunately, I do not have the details. >7) How about ToolBox access from the Lisp Environment? (or am I dreaming?) Not available in the first release, but a kit is planned. Since RPC is public, you would have to "roll your own" in the meantime. Another approach would be to use Coral's Allegro CL on the Macintosh side, implement the RPC, and... >Thankyou in advance for all your comments and I will post our experiences >(good or bad, of course) as they develop ... Although the microExplorer is supported by TI, we all would be interested in hearing about your experiences, and definitely would be willing to help you reach the right people, should you run into unforeseen problems in getting help. -- Harald Striepe Business Development Manager, Artificial Intelligence Apple Computer, Inc. email: striepe@APPLE.COM AppleLink: STRIEPE2 ------------------------------ Date: 25 Mar 88 14:57:47 GMT From: sunybcs!nobody@rutgers.edu Reply-to: sunybcs!rapaport@rutgers.edu (William J. Rapaport) Subject: Re: Software Wanted to Build a Mind In article <8803250637.AA22481@ucbvax.Berkeley.EDU> POPX@VAX.OXFORD.AC.UK writes: > SOFTWARE WANTED > - > TO BUILD A MIND You might be interested in the following document, excerpts of which follow; the full document is available by contacting us. William J. Rapaport Assistant Professor Dept. of Computer Science||internet: rapaport@cs.buffalo.edu SUNY Buffalo ||bitnet: rapaport@sunybcs.bitnet Buffalo, NY 14260 ||uucp: {ames,boulder,decvax,rutgers}!sunybcs!rapaport (716) 636-3193, 3180 || DEVELOPMENT OF A COMPUTATIONAL COGNITIVE AGENT Stuart C. Shapiro, Director William J. Rapaport, Associate Director SNePS Research Group Department of Computer Science SUNY at Buffalo 226 Bell Hall Buffalo, NY 14260 shapiro@cs.buffalo.edu, rapaport@cs.buffalo.edu OVERVIEW. The long term goal of the SNePS Research Group is to understand the nature of intelligent cognitive processes by developing and experiment- ing with a computational cognitive agent that will be able to use and understand natural language, and will be able to reason and solve prob- lems in a wide variety of domains. ... ACCOMPLISHMENTS. In pursuit of our long term goals, we have developed: (1) The SNePS Semantic Network Processing System, a knowledge- representation/reasoning system that allows one to design, imple- ment, and use specific knowledge representation constructs, and which easily supports nested beliefs, meta-knowledge, and meta- reasoning. (2) SNIP, the SNePS Inference Package, which interprets rules represented in SNePS, performing bi-directional inference, a mix- ture of forward chaining and backward chaining which focuses its attention on the topic at hand. SNIP can make use of universal, existential, and numerical quantifiers, and a specially-designed set of propositional connectives that include both true negation and negation-by-failure. (3) Path-Based Inference, a very general method of defining inheri- tance rules by specifying that the existence of an arc in a SNePS network may be inferred from the existence of a path of arcs specified by a sentence of a ``path language'' defined by a regu- lar grammar. Path-based reasoning is fully integrated into SNIP. (4) SNeBR, the SNePS Belief Revision system, based on SWM, the only extant, worked-out logic of assumption-based belief revision. (5) A Generalized Augmented Transition Network interpreter/compiler that allows the specification and use of a combined parsing- generation grammar, which can be used to parse a natural-language sentence into a SNePS network, generate a natural-language sen- tence from a SNePS network, and perform any needed reasoning along the way. (6) A theory of Fully Intensional Knowledge Representation, according to which we are developing knowledge representation constructs and grammars for the Computational Cognitive Mind. This theory also affects the development of successive versions of SNePS and SNIP. For instance, the insight we developed into the inten- sional nature of rule variables led us to design a restricted form of unification that cuts down on the search space generated by SNIP during reasoning. (7) CASSIE, the Computational Cognitive Mind we are developing and experimenting with, successive versions of which represent an integration of all our current work. CURRENT RESEARCH. Current projects being carried out by various members of the SNePS Research Group, some joint with other researchers, include: (1) VMES, the Versatile Maintenance Expert System: ... (2) Discussing and Using Plans: ... (3) Intelligent Multi-Media Interfaces: ... (4) Cognitive and Computer Systems for Understanding Narrative Text: ... (5) The Representation of Natural Category Systems and Their Role in Natural-Language Processing: ... (6) Belief Representation, Discourse Analysis, and Reference in Nar- rative: ... (7) Understanding Pictures with Captions: ... BIBLIOGRAPHY. A bibliography of over 90 published articles, technical reports, and technical notes may be obtained from Mrs. Lynda Spahr, at the address given above, or by electronic mail to spahr@gort.cs.buffalo.edu. ------------------------------ End of AIList Digest ********************