Date: Wed 9 Mar 1988 22:52-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 #49 - Seminars, LA SIGART, Conferences To: AIList@KL.SRI.COM Status: RO AIList Digest Thursday, 10 Mar 1988 Volume 6 : Issue 49 Today's Topics: Seminars - Witkin/Kass Vision/Animation Seminar Correction (CMU) & Representations for Model-Based Troubleshooting (BBN) & Cognition and Metaphor (BBN) & The Inadequacy of the Turing Test (SUNY) & Panel Discussion on AI/Neural Net Start-ups (Linkabit), Meeting - LA SIGART Organizational Meeting, Conferences - Hawaii Systems Sciences Correction & Westex-88 Expert Systems & ICEBOL3 Conference on Symbolic and Logical Computing & 2nd IFIP Workshop on Intelligent CAD ---------------------------------------------------------------------- Date: Wed, 09 Mar 88 10:38:32 EST From: Anurag.Acharya@CENTRO.SOAR.CS.CMU.EDU Subject: Seminar - Witkin/Kass Vision/Animation Seminar Correction (CMU) A previous message announcing a seminar on "Physically Based Modeling For Vision and Animation" had some inadvertent errors. The correct version is : SPEAKERS: Andy Witkin & Michael Kass , Schlumberger Palo Alto Research WHEN: Thursday, March 3, 1988, 3:30-4:30 p.m. WHERE: Wean Hall 5409 ( Abstract : same as in the original message ) I am sorry for the mixup. ------------------------------ Date: Thu 3 Mar 88 15:14:36-EST From: Marc Vilain Subject: Seminar - Representations for Model-Based Troubleshooting (BBN) BBN Science Development Program AI Seminar Series Lecture REPRESENTATIONS FOR MODEL BASED TROUBLESHOOTING Walter C. hamscher MIT AI Lab (hamscher@ht.ai.mit.edu) BBN Labs 10 Moulton Street 2nd floor large conference room 10:30 am, Tuesday March 15 Model based troubleshooting is fundamentally about modeling. Its goal is to apply a general troubleshooting engine to a new domain by providing only a new domain model, so it is essential to know not only what relation the model should bear to the real physical device being diagnosed, but also what features the resulting model should include by virtue of its intended use in troubleshooting. Since every model embodies some abstractions, this is just another way of saying that it's essential to know the useful abstractions for the task at hand. This talk presents a methodology for model based troubleshooting of board-scale digital circuits that emphasizes the importance of appropriate temporal abstractions for coping with behavioral complexity. The result is a remarkably coarse representation for digital circuit behavior that often yields as much diagnostic resolution as traditional circuit models, in spite of its simplicity. In the same spirit, the importance of appropriate representation of circuit organization is emphasized, and the result is a primary representation of the physical organization of the circuit, along with a more familiar representation of functional organization. ------------------------------ Date: Mon 7 Mar 88 08:56:59-EST From: Dori Wells Subject: Seminar - Cognition and Metaphor (BBN) BBN Science Development Program Language & Cognition Seminar Series COGNITION AND METAPHOR Professor Bipin Indurkhya Computer Science Department Boston University BBN Laboratories Inc. 10 Moulton Street Large Conference Room, 2nd Floor 10:30 a.m., Wednesday, March 9, 1988 Abstract: In past years a view of cognition has been emerging in which metaphors play a key role. However, a satisfactory explanation of the mechanisms underlying metaphors and how they aid cognition is far from complete. In particular, earlier theories of metaphors have been unable to account for how metaphors can "create" new, and sometimes contradictory, perspectives on the target domain. In this talk I will address some of the issues related to the role metaphors play in cognition. I will first lay an algebraic framework for cognition, and then in this context I will pose the problem of metaphor. Two mechanisms will be proposed to explain the workings of metaphors. One of these mechanisms gives rise to what we call "projective metaphors", and it is shown how projective metaphors can "create" new perspectives and new ontologies on the target domain. The talk will conclude with a brief discussion of some further implications of the theory on "Direct Reference vs. Descriptive Reference", "Is all knowledge metaphorical?", and "Induction and Analogies", among other things. ------------------------------ Date: Mon, 7 Mar 88 12:35:40 EST From: rapaport@cs.Buffalo.EDU (William J. Rapaport) Subject: Seminar - The Inadequacy of the Turing Test (SUNY) STATE UNIVERSITY OF NEW YORK AT BUFFALO BUFFALO LOGIC COLLOQUIUM RANDALL R. DIPERT Department of Philosophy SUNY Fredonia THE INADEQUACY OF THE TURING TEST AND ALTERNATIVES AS CRITERIA OF MACHINE UNDERSTANDING: Reflections on the Logic of the Confirmation of Mental States In this paper, I address the question of how we would confirm a machine's, or any entity's, "understanding". I argue that knowledge of the internal properties of an entity--as opposed to "external" proper- ties and relations, such as to a linguistic or social community, or to abstract entities such as propositions--may not be sufficient for the justified attribution of understanding. I also argue that our knowledge of the internal construction or of the origin of an artificial system may serve as defeating conditions in the analogical reasoning that oth- erwise supports the claim of a system's understanding. (That is, the logic of the confirmation of understanding is itself non-monotonic!) These issues are discussed within an analysis of the complex fabric of analogical reasoning in which, for example, the Turing Test and Searle's Chinese Room counterexample are merely examples of larger issues. No previous contact with the logic of analogy, artificial intelligence, or the philosophy of mind (other than having one) is assumed. [Shorter summary: Will we (ever) be able justifiably to say that an artificial system has "understanding"? Probably not.] Tuesday, March 15, 1988 4:00 P.M. Fronczak 454, Amherst Campus For further information, contact John Corcoran, (716) 636-2438. ------------------------------ Date: 9 Mar 88 16:33:00 EDT From: "GAIL SLEMON 455-1330" Reply-to: "GAIL SLEMON 455-1330" Subject: Seminar - Panel Discussion on AI/Neural Net Start-ups (Linkabit) SDSIGART March Meeting THursday, March 17, 1988 Growing an AI/ANS Business: A Panel discussion on AI/ANS Start Ups There are many aspects of starting a new company that are the same for all types of businesses. The purpose of this panel is to discuss the unique aspects of starting an AI/ANS company, ;and to do this, we have brought together some of the piople who have started AI/ANS companies recently. Dr. Hjecht-Nielsen worked for several years devloping neural networks at TRW before forming HNC, Hecht-Nielsen Neuron\computer Corporation. Dan Greenwor\od has worked in the defense industry for many ;years, and was with Verac, Inc. before starting Netrologic. Dr. Pamela Coker will discuss her company, Computer Cognition. Dr. Burt will discuss his company, Cogensys. This panel will discuss why and how they are entering the AI/ANS business market. Location: M/A Com-Linkabit, 3033 Science Park Road (off Torrey Pines Road), San Diego, CA TIme : 6:30-8:30 p.m. Thursday March 17, 1988 ------------------------------ Date: 7 Mar 88 16:23:20 PST (Monday) From: Bruce Hamilton Reply-to: Hamilton.osbuSouth@Xerox.COM Subject: Meeting - LA SIGART Organizational Meeting [I'm posting this for Kim Goldsworthy, who is not on the Internet. The use of the first person below refers to Kim, not me. Note: you don't need to be a national ACM member to participate, although you probably do to hold office. --Bruce] I am planning the first organizational meeting for Sunday afternoon, March 13, at 2:00 pm at the Pasadena Library, 285 E. Walnut St. (Thomas Brothers map 27 A3). Please come, or at least contact me prior to then. If too few people respond, then I will inform the ACM that there is not enough interest in ARTIFICIAL INTELLIGENCE to charter a local group. WE NEED VOLUNTEERS, VOLUNTEERS, VOLUNTEERS! To Organize, we will need to name a chairman, vice-chairman, secretary, treasurer, and program coordinator. I envision our group meeting once monthly to hear programs on: Symbolics' latest developments... Poker progessional Mike Caro explaining his poker expert that beats 99% of all poker players... Boeing's use of AI.. Texas Instruments' new Explorer... Hughes' use of Epistemological Engineering... USC's accounting expert system... etc. If you care enough to be in on the *very first* Los Angeles SIGART, then tell me so. Sincerely, Mr. Kim Goldsworthy home 818/280-5644 (evening, and answering machine) ------------------------------ Date: Sun, 6 Mar 88 20:09:36 CST From: smu!leff@uunet.UU.NET (Laurence Leff) Subject: Conference - Hawaii Systems Sciences Correction CALL FOR PAPERS AND REFEREES HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES - 22 Rapid Prototyping Session KAILUA-KONA, HAWAII - JANUARY 3-6, 1989 Correction: The dates for the Rapid Prototyping Section of the HICCS-22 (Hawaii Software Track, Jan 3-6, 1989) were incorrectly reported. The correct ones are: A 300-word abstract is due by March 30, 1988 Feedback to author concerning abstract by April 30, 1988 Six copies of the manuscript are due by June 6, 1988 Notification of accepted papers by September 1, 1988 Accepted manuscripts, camera-ready, are due by October 3, 1988 ------------------------------ Date: Mon, 7 Mar 88 16:33:59 PST From: Harris Sperling Subject: Conference - Westex-88 Expert Systems WESTEX-88 CALL FOR PAPERS EXPERT SYSTEMS CONFERENCE The objective of the third WESTEX conference is to explore the practical application of expert and knowledge-based systems in industry. The program will consist of invited speakers, submitted papers, and panel sessions. Other features of the conference will be tutorials in expert system development, and exhibits of expert system hardware and software. WESTEX-88 will be held in June 28-30, 1988 in Anaheim, California. Topics for papers and panel sessions are invited. Please send five copies of an abstract and clean review draft paper to: Bruce Bullock Program Chairman, WESTEX-88 Teknowledge Federal Systems, Inc. 501 Marin Street, Suite 214 Thousand Oaks, CA 91360 For further information, contact the Conference Chairman, George Friedman, Northrop Corporation, 1840 Century Park East, Los Angeles, California 90067-2199. (213) 201-3311. Topics of interest include but are not limited to: Aerospace & Commercial Applications Avionics Command & Control Diagnostic & Test Logistics Training & Tutoring Manufacturing Banking/Finance Management Information Systems Development & Implementation Issues Knowledge Engineering Methodology Case Studies in KBS Development Systems Integration & Fielding Real Time Processing Hybrid Expert Systems Knowledge Base Verfication & Validation Expert Systems Transportability Measures of Quality and Performance Topics of interest also include other disciplines that may be applied to problems normally considered to be in the Expert Systems domain. Call for Paper Schedule Abstract (500 Words) anc clean review draft paper (min. 3 pgs.) Deadline: March 15, 1988 Notification of acceptance: April 16, 1988 Camera-ready copies due: May 16, 1988 ------------------------------ Date: Fri, 04 Mar 88 09:52:27 -0800 From: Richard Nelson Subject: Conference - ICEBOL3 Conference on Symbolic and Logical Computing Although the preliminary announcement was posted to AIList a couple of months ago, this new announcement lists featured speakers, planned session topics, and registration info. Cheers Richard * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * International Conference on Symbolic and Logical Computing Dakota State College Madison, South Dakota April 21-22,1988 The third International Conference on Symbolic and Logical Computing (ICEBOL3) will present papers and sessions on many aspects of non-numeric computing: artificial intelligence, analysis and printing of texts, machine translation, natural language processing, the use of dangerously powerful computer languages, SNOBOL4, SPITBOL, Icon, Prolog, and LISP. There will be a series of concurrent sessions (some for experienced computer users and others for interested novices). Coffee breaks, lunches, social hour, and banquet will provide a series of opportunities for participants to meet informally and exchange information. Sessions will be scheduled for "Birds of a Feather" to discuss common interests. KEYNOTE SPEAKER: Paul Abrahams, President, Association for Computing Machinery (ACM), Consultant on Programming and Technical Writing. BANQUET SPEAKER: Robert Dewar, Courant Institute, New York University, SPITBOL originator. OTHER FEATURED SPEAKERS AND PANELISTS: Ralph Griswold, University of Arizona, author of numerous books and articles on SNOBOL4 and Icon Viktors Berstis, Minnesota SNOBOL4 creator Michael Shafto, author of articles on SNOBOL4 and artificial intelligence Mark Emmer, of Catspaw, Inc., creator of SNOBOL4+ Sessions covering the following topics are planned: Parsing and grammar analysis Tutoring Systems Machine translation Data conversion Style analysis Processing and printing List handling and scheduling special character sets Natural language processing Multi-thread processing Cryptography SNOBOL4 heuristics Icon programming Music analysis - - - - - - - - - - REGISTRATION FORM - - - - - - - - - - - - - - - Dakota State College International Conference on Symbolic and Logical Computing April 21-22, 1988 Madison, South Dakota 57042 Indicate a number for the following: ____ Advanced registration - $125.00 (includes two lunches, coffee breaks, banquet, one copy of the proceedings) on-site registration - $140.0 ____ Additional copies of the proceedings ($20.00 each) ____ Additional banquet tickets ($12.00 each) ____ Shuttle from Sioux Falls airport ($25.00 each roundtrip) (Notify us of date and time of arrival & departure) TOTAL ENCLOSED $_________ Rental cars are available at the Sioux Falls, SD, airport. Name __________________________________________________________ College or Firm _______________________________________________ Mailing address _______________________________________________ _______________________________________________ Electronic mail address _______________________________________ Suggested topic for "Birds of a Feather" section:______________ _______________________________________________________________ Please make your own motel reservations at one of the following: Super 8 Motel Lake Park Motel DSC Dormitory (605) 256-6931 (605) 256-3524 (605) 256-5149 Single: $25.00 Single: $23.00 Single: $7.50 Double: $31.00 Double: $30.00 Double: $10.00 Return this form to Eric Johnson ICEBOL3 114 Beadle Hall Dakota State College Madison, SD 57042 ------------------------------ Date: Mon, 07 Mar 88 16:00:41 V From: b39711%tansei.cc.u-tokyo.junet%utokyo-relay.csnet@RELAY.CS.NET Subject: Conference - 2nd IFIP Workshop on Intelligent CAD Here goes Call for Papers of the 2nd IFIP WG 5.2 Workshop on Intelligent CAD. Tetsuo Tomiyama (b39711%tansei.cc.u-tokyo.junet@relay.cs.net) ------------------------------------------- The Second IFIP W.G. 5.2 Workshop on Intelligent CAD 19-22 September 1988, University of Cambridge, UK _A_I_M This workshop is the second in the series of three IFIP Working Group 5.2 workshops on Intelligent CAD. In October 1987, the first workshop was successfully held at MIT, USA, and various concepts about Intelligent CAD were outlined. An intelligent CAD system is an environment or a set of tools to support designer's intellectual activities with built-in knowledge on design processes and objects. The introduction of knowledge engineering is not neces- sarily the primary goal for the development of intelligent CAD. In the first workshop we have found out that under- standing the nature of design processes and representation of design objects in an evolutionary design process are more important. A number of interesting work to try to capture the semantics of design were presented in subgroup discus- sions. The results of the first workshop will be published from North-Holland by the summer of 1988. Based on theoretical achievements made in the first workshop, this second workshop is aiming at outlining specifications for intelligent CAD. The architectures shall be schematically clarified through stimulating discussions among experts of the field. In the third workshop in Tokyo, 1989, practical applications of intelligent CAD systems based on new theories and specifications are expected to appear. _T_O_P_I_C_S o Specifications for intelligent CAD systems o Architecture of intelligent CAD systems o Implementation of intelligent CAD systems o Implementation of design knowledge in intelligent CAD systems _W_O_R_K_S_H_O_P _F_O_R_M_A_T The number of participants are roughly limited to 40 in order to stimulate mutual exchange of opinions. Thus, participation will be decided based on submitted position papers or extended abstracts. Since this workshop is aiming at exchanging ideas on individual base rather than organiza- tional, any participant must be the first author of her/his own position paper or extended abstract. Potential authors are invited to submit 5 copies of a position paper (or an extended abstract) of 1000 to 2000 words (reference and figures do not count) before May 20, 1988. Acceptance will be notified by June 20 and the accepted authors will submit the preprint versions of full papers by August 20, 1988. The results of the workshop will be published by North-Holland and the program committee will select papers for this book from the submitted full papers after the workshop. A couple of subgroups will be formed during the workshop to discuss specialized topics. The topics will be suggested at the opening session based on the reviews of position papers. In addition to this, there will be invited speakers from artificial intelligence, computer-aided design, and design studies. _S_C_H_E_D_U_L_E 20 May 1988 Deadline for position papers/extended abstracts 20 June 1988 Notification of acceptance 20 August 1988 Deadline for preprint versions 19-22 September Workshop _P_R_O_G_R_A_M _C_O_M_M_I_T_T_E_E H. Yoshikawa The University of Tokyo T. Holden University of Cambridge F. Kimura The University of Tokyo F. Arbab University of Southern California A. Bijl EdCAAD, University of Edinburgh K. MacCallum University of Strathclyde R. Popplestone University of Massachusetts H. Suzuki The University of Tokyo T. Tomiyama The University of Tokyo _C_O_R_R_E_S_P_O_N_D_E_N_C_E Please send applications to: Professor Hiroyuki Yoshikawa Department of Precision Machinery Engineering The University of Tokyo Hongo 7-3-1, Bunkyo-ku, Tokyo 113, Japan Tel: +81-3-812-2111 (ext. 6446) Telex: 272 2111 FEUT J, Fax: +81-3-812-8849 Internet: b39711%tansei.cc.u-tokyo.junet@relay.cs.net ------------------------------ End of AIList Digest ********************