Copy Link
Add to Bookmark
Report
AIList Digest Volume 6 Issue 049
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 <MVILAIN@G.BBN.COM>
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 <DWELLS@G.BBN.COM>
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" <gslemon@afhrl.arpa>
Reply-to: "GAIL SLEMON 455-1330" <gslemon@afhrl.arpa>
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 <Hamilton.osbuSouth@Xerox.COM>
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 <hsperling@nrtc.northrop.com>
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 <nelson@ICS.UCI.EDU>
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
********************
