Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 266
AIList Digest Monday, 24 Nov 1986 Volume 4 : Issue 266
Today's Topics:
Discussion Lists - Neural Networks Digest & Psychnet,
Call for Papers - Journal of Logic Programming,
Conferences - Workshop on AI in Process Engineering &
IEEE Conference on AI Applications: Advance Program
----------------------------------------------------------------------
Date: Thu, 20 Nov 86 10:41:08 cst
From: Mike Gately 995-3273 M/S 154
<gately%crl1%ti-csl.csnet@RELAY.CS.NET>
Subject: Neural Networks Digest
---- NEW DIGEST ANNOUNCEMENT ----
I am starting up a new e-mail Digest which will cover the
topic of Neural Networks (both real and imagined). The name
of this new mailing list is
---- NEURON ----
You have probably noticed that there has been an increase
in the amount of message traffic regarding connectionism on
this and other digests. The intent is that this digest will
be a focal point for this information.
NEURON is open to discussion of any topic related to neurons.
This should include:
Neural Networks
Algorithms
Software Simulations
Digital Hardware
Analog Hardware
Optical Hardware
Biology
Neurophysiology
Neuroscience
Cellular Automata
As you can see, I am attempting to get some interest from
the 'wet ware' folks. This may be a first; but the results
will surely be interesting.
The official starting date of the mailing list is the first
of December. I am using the US MAIL to inform many of the
researchers in this field that I already know about.
If you are interested in receiving this Digest, reply to
CSNET: NEURON@TI-CSL
ARPANET: NEURON%TI-CSL.CSNET%RELAY.CS.NET@CSNET-RELAY.ARPA
with your current net address. If you expect that a large
number of folks from you site will want to receive this digest,
contact your site postmaster to set up a redistribution file
and have him/her send me a single site address.
As I receive addresses from you, I will try to send out a
Welcome message. If you do not receive this within 4 work days
please resend your request information (I hope this isn't a
mistake).
If you responded to Mitch Wyle's message of 2 weeks ago about
such a Digest, he has forwarded those messages to me.
Regards,
Michael T. Gately
Texas Instruments, Inc.
Advanced Concepts Branch
GATELY%CRL1%TI-CSL.CSNET%RELAY.CS.NET@CSNET-RELAY.ARPA
------------------------------
Date: Sat, 22 Nov 86 13:28:39 CST
From: Psychnet Newsletter and Bulletin Board
Reply-to: EPSYNET%UHUPVM1.BITNET@WISCVM.WISC.EDU
Subject: announcement for AIlist
Persons interested in artificial intelligence who also have
interests in psychology may wish to subscribe to the Psychnet
Newsletter via the net. Contributors from time to time even
include such persons as the (in)famous Stevan Harnad! To
subscribe send your request to:
epsynet%uhupvm1.bitnet@wiscvm.wisc.edu
Thanks, Bob Morecock, Psychnet Editor
------------------------------
Date: Wed, 12 Nov 86 22:01:45 EST
From: Leon Sterling <leon%case.csnet@RELAY.CS.NET>
Reply-to: Leon Sterling <leon%case.csnet@RELAY.CS.NET>
Subject: Call for papers -Journal of Logic Programming
Call for Papers
Papers are requested for a special issue of the Journal of Logic
Programming concerned with
Applications of Logic Programming for Knowledge-Based Systems
The papers should describe applications which exploit special features of
logic programming. Two examples: a problem solved by using a logic
programming language where the solution would be more difficult to state
in another language; or the development of a methodology for the more
effective use of logic programs. The reported research should be original
and should not have appeared elsewhere. Updates of successful, ongoing
projects containing material not otherwise available will also be
considered.
Applications of interest include, but are not limited to:
Financial expert systems Diagnosis systems
Medical expert systems Configuration systems
Expert system tools VLSI design
Natural language programs Problem-solving
Programming environments Learning
Please send 4 copies of your paper by May 31, 1987 to
Leon Sterling,
Department of Computer Engineering and Science,
Case Western Reserve University,
Cleveland, Ohio, USA 44106
Electronic mail address:
CSNET: leon@case
UUCP: ...!decvax!cwruecmp!leon
------------------------------
Date: Thu 20 Nov 86 16:26:38-EST
From: V. Venkatasubramanian <VENKAT@CS.COLUMBIA.EDU>
Subject: Workshop on AI in Process Engineering...
WORKSHOP ON
ARTIFICIAL INTELLIGENCE IN PROCESS ENGINEERING
Place: COLUMBIA UNIVERSITY, Kellogg Auditorium
Date: March 9-10, 1987
Deadline: Dec 22, 1986 for the submission of applications for
attending the workshop.
Sponsored by: American Association for Artificial Intelligence
Air Products
Amoco
1. Themes and Motivations:
In the past few years there has been considerable work in applying recent
advances in Artificial Intelligence to problems in the various disciplines of
engineering. Substantial impact has already been seen in electrical,
mechanical, and civil engineering applications. It is now well-recognized that
the domain of Process Engineering also has much to gain from applications of
AI. Particular attention is being paid to fault diagnosis and control, process
design and planning. Interest in the process engineering community (both in
academia and in industry) is substantial, but only a handful of researchers are
currently engaged in applying AI to problems in process engineering. This is
largely due to lack of proper exposure of this novel area to the rest of the
community. This workshop is being organized to provide this much needed
exposure to researchers in academia and industry.
Thus the workshop will serve the following current needs:
- Bring together for an intense program, people in academia as well as in
industry who are interested in AI in process engineering.
- Disseminate the ideas and techniques of AI in an appropriate form by
relating them to fault diagnosis and control, design and planning
applications in process engineering.
- Provide demonstrations of some expert system prototypes in process
engineering.
- Help resolve the confusion about what AI can do, how to go about applying
AI for process engineering problems, etc.
- To provide a long-term research focus, identify a set of problems that
have important basic research issues, as well as useful practical
components.
2. Workshop Subjects:
* Fault Diagnosis
* Design
* Operations
3. Workshop Speakers:
Chemical Engineering:
Prof. Jim Davis (Ohio State), Prof. Prasad Dhurjati (Delaware)
Prof. George Stephanopoulos (MIT), Prof. V. Venkatasubramanian (Columbia)
Prof. Art Westerberg (Carnegie-Mellon)
Computer Science:
Prof. B. Chandrasekaran (Ohio State), Prof. Ken Forbus (Univ. of Illinois)
Dr. Jeff Pan (Schlumberger Research), Dr. John Kunz (Intellicorp)
4. Workshop Participation:
For the workshop to be intense, stimulating, and useful, we feel that the
number of partcipants must be limited. Hence the number of participants,
besides the invited speakers, will be limited to fifty. Interested parties are
urged to contact one of the members of the organizing committee (given below)
before Dec 22nd by writing a letter describing their background, research
interests, and current process engineering problems they are working on. The
organizing committee will select the participants from the applicant pool.
Participation is by invitation only. The registration fee is $ 150 for the
two-day workshop and will include a copy of the proceedings.
5. Organizing Committee:
Prof. V. Venkatasubramanian, Chairman
Intelligent Process Engineering Laboratory
Department of Chemical Engineering
Columbia University
New York, NY 10027.
(212) 280-4453
Prof. G. Stephanopoulos, Co-Chairman
Laboratory for Intelligent Systems in Process Engineering
Department of Chemical Engineering
Massachusetts Institute of Technology
Cambridge, MA 02139.
(617) 253-3904
Prof. James Davis
Department of Chemical Engineering
Ohio State University
Columbus, OH 43210.
(614) 292-0090
------------------------------
Date: Thu 20 Nov 86 17:28:23-CST
From: Jim Miller <HI.JMILLER@MCC.COM>
Subject: IEEE Conference on AI Applications: Advance Program
THE THIRD IEEE CONFERENCE ON ARTIFICIAL INTELLIGENCE APPLICATIONS
Advance Program
Orlando Hyatt Regency
Orlando, Florida
February 23-28, 1987
Sponsored by the Computer Society of the IEEE
For information on any part of the conference, please contact:
The Third IEEE Conference on AI Applications
Computer Society of the IEEE
1730 Massachusetts Avenue NW
Washington DC 20036-1903
202-371-1013
Conference Committee:
General Chair: Program Chairs:
Jan Aikins James Miller
Aion Corporation Elaine Rich
MCC
Tutorials Chair: For the Computer Society
Paul Harmon of the IEEE:
Harmon Associates William Habingreither
Program Committee:
William J. Clancey Keith Clark
Stanford University Imperial College
Byron Davies Michael Fehling
Texas Instruments Rockwell International
Mark Fox Bruce Hamill
Carnegie-Mellon University Applied Physics Laboratory
and Carnegie Group Inc Johns Hopkins University
Peter Hart Elaine Kant
Syntelligence Schlumberger-Doll Research
Paul Kline Benjamin Kupiers
Texas Instruments University of Texas
John McDermott Roy Maxion
Carnegie Mellon University Carnegie Mellon University
Charles Petrie Bruce Porter
MCC University of Texas
John Roach Marty Tenenbaum
Virginia Tech Schlumberger
Harry Tennant Michael D. Williams
Texas Instruments IntelliCorp
==============================================================================
Wednesday, February 25, 1987
==============================================================================
9:00 - 10:00: KEYNOTE ADDRESS
AI and Natural Language in the Real World
Gary Hendrix, Symantec
10:00 - 10:30: BREAK
10:30 - 12:00: INVITED TALKS:
Viewing Knowledge Bases as Qualitative Models
William J. Clancey, Stanford University
Second-Generation Manufacturing Systems
Mark Fox, Carnegie Mellon University and Carnegie Group Inc
10:30 - 12:00: Paper Session 1A: KNOWLEDGE ACQUISITION
Verifying Consistency of Production Systems
T. A. Nguyen, Lockheed
Principles of Design for Knowledge Acquisition
Thomas Gruber, University of Massachusetts
Probabilistic Inference
Won D. Lee, University of Texas at Arlington; Sylvian R. Ray,
University of Illinois
10:30 - 12:00: Paper Session 1B: QUESTION ANSWERING
Question Answering with Rhetorical Relations
Wanying Jin and Robert F. Simmons, University of Texas at Austin
Question-Driven Approach to the Construction of Knowledge-Based Software
Advisor Systems
Patrick Constant, Stainslaw Matwin and Stainslaw Szpakowicz, University of
Ottawa
12:00 - 1:30: LUNCH
1:30 - 3:30: Paper Session 2A: MANUFACTURING
A Knowledge-based Approach to Printing Press Configuration
M. S. Lan, R. M. Panos, and M. S. Balban, Rockwell International
A Knowledge Based Imaging System for Electromagnetic Nondestructive Testing
L. Udpa and W. Lord, Colorado State University
An Object-Based Architecture for Manufactured Parts Routing
R. L. Young, D. M. O'Neill, P. W. Mullarkey, P. C. Gingrich, A. Jain, and
S. Sardana, Schlumberger-Doll Research
Expert System for Visual Solder Joint Inspection
Sandra L. Bartlett, Charles L. Cole, amd Ramesh Jain, University of Michigan
1:30 - 3:30: Paper Session 2B: KNOWLEDGE REPRESENTATION
Breaking the Primitive Concept Barrier
Robert Kass, Ron Katriel, and Tim Finin, University of Pennsylvania
FRAMEWORKS: A Uniform Approach to Knowledge Representation for Natural
Language Processing
Howard R. Smith, Warren H. Harris, and Dan Simmons, United Technologies
Modeling Connections for Circuit Diagnosis
Mingruey R. Taie and Sargur N. Srihari, State University of New York at Buffalo
CONGRES: Conceptual Graph Reasoning System
Anand S. Rao and Norman Y. Foo, University of Sydney
1:30 - 3:30: INVITED PANEL
The Challenges of Integrating AI into Real-Time Control and C^2
Moderator: J. R. Gersh, Johns Hopkins University Applied Physics Laboratory
3:30 - 4:00: BREAK
4:00 - 5:30: PLENARY PANEL
Programming Languages for AI: Lisp vs. Conventional Languages
Moderator: Mark Miller, Computer * Thought Corporation
==============================================================================
Thursday, February 26, 1987
==============================================================================
9:00 - 10:00: KEYNOTE ADDRESS
Expert Systems in a General Cognitive Architecture
John Laird, University of Michigan
10:00 - 10:30: BREAK
10:30 - 12:00: Paper Session 3A: EXPLANATION-BASED LEARNING
Analyzing Variable Cancellations to Generalize Symbolic Mathematical
Calculations
Jude W. Shavlik and Gerald F. DeJong, University of Illinois
Extending Explanation-Based Learning: Failure-Driven Schema Refinement
Steve A. Chien, University of Illinois
A Learning Apprentice System for Mechanical Assembly
Alberto Maria Segre, University of Illinois
10:30 - 12:00: Paper Session 3B: AI AND REAL-TIME PROGRAMMING
Real Time Process Management for Materials Composition in Chemical
Manufacturing
Bruce D'Ambrosio and Peter Raulefs, FMC Corporation, Michael R. Fehling and
Stephanie Forrest, Teknowledge
Knowledge-Based Experiment Builder for Magnetic Resonance Imaging (MRI) Systems
J. Sztipanovits, C. Biegl, G. Karsai, J. Bourne, C. Harrison, and R. Mushlin,
Vanderbilt University
YES/L1: Integrating Rule-Based, Procedural, and Real-time Programming for
Industrial Applications
A. Cruise, R. Ennis, A. Finkel, J. Hellerstein, D. Loeb, M. Masullo,
K. Milliken, H. Van Woerkom, N. Waite, IBM; D. Klein,
University of Pennsylvania
10:30 - 12:00: INVITED PANEL
Delivery in the Real World
Moderator: Esther Dyson, EDventures Holding, Inc.
12:00 - 1:30: LUNCH
1:30 - 3:30: Paper Session 4A: DIAGNOSIS
LVA: A Knowledge-based System for Diagnosing Faults in Digital Data Loggers
S. C. Laufmann and R. S. Crowder III, Batelle Pacific Northwest Laboratory
A Multiparadigm Knowledge-based System for Diagnosis of Large Mainframe
Peripherals
David W. Rolston, Honeywell
Distributed Diagnosis of Systems with Multiple Faults
Hector Geffner and Judea Pearl, UCLA
Testing, Verifying, and Releasing an Expert System: The Case History of Mentor
Edward L. Cochran and Barbara L. Hutchins, Honeywell
1:30 - 3:30: Paper Session 4B: ROBOTICS AND PERCEPTION
On the Terrain Acquisition by a Point Robot Amidst of Polyhedral Obstacles
Nageswara S. V. Rao, S. S. Iyengar, Louisiana State University;
B. John Oommen, Carelton University; R. L. Kashyap, Purdue University
A Computational Theory and Algorithm for Fluent Reading
Jonathan J. Hull, State University of New York at Buffalo
Automated Reasoning about Machine Geometry and Kinematics
Andrew Gelsey, Yale University
Color Separation Using General-Purpose Computer Vision Algorithms
Deborah Walters, University of Buffalo
1:30 - 3:30: Paper Session 4C: CASE STUDIES
FRESH: A Naval Scheduling System
Michael Babin, Michael Gately, and Michael Sullivan, Texas Instruments
Building Near-Term Fieldable Militry AI Systems: Formalisms and an Example
Mark L. Akey and Kirk A. Dunkelberger, Magnavox
Rule-Based Flexible Control of Tutoring Process in Scene-oriented CAI systems
Ichiro Morihara, Toru Ishida, and Hiroyuki Furuya, NTT Electrical
Communications Laboratory
Abductive and Deductive Inference in an Expert System
Jacqueline A. Haynes and Joshua Lubell, University of Maryland
3:30 - 4:00: BREAK
4:00 - 5:30: PLENARY PANEL
The Future of AI Applications: An Industry Perspective
Panelists: Walden C. Rhines; Texas Instruments, Herbert Schorr, IBM;
Thomas P. Kehler, IntelliCorp
Moderator: Esther Dyson, EDventures Holding, Inc.
==============================================================================
Friday, Feburary 27, 1986
==============================================================================
9:00 - 10:00: KEYNOTE ADDRESS
Overcoming the Brittleness Bottleneck:
Douglas B. Lenat, MCC
10:00 - 10:30: BREAK
10:30 - 12:00: Paper Session 5A: SEARCH
The Cycle-Cutset Method for Improving Search Performance in AI Applications
Rina Dechter and Judea Pearl. UCLA
Schedule Optimization with Probabilistic Search
Lawrence Davis and Frank Ritter, Bolt Beranek and Newman
10:30 - 12:00: Paper Session 5B: UNCERTAINTY
Uncertain Inference Using Belief Functions
Sunggu Lee and Kang G. Shin, University of Michigan
Truth Maintenance with Numeric Certainty Estimates
Bruce D'Ambrosio, FMC Corporation
A Real-Time AI System for Military Communications
M. E. Ulug, General Electric
10:30 - 12:00: INVITED TALKS
Judging the Risk: Expert Systems in Finance
Peter Hart, Syntelligence
Artificial Intelligence: Expectations vs. Reality
Jay M. Tenenbaum, Schlumberger Palo Alto Research
12:00 - 1:30: LUNCH
1:30 - 3:30: Paper Session 6A: DEFAULT REASONING
A Framework for Describing Troubleshooting Behavior Using Default Reasoning
and Functional Abstraction
Michael Young, Stanford University
Assumption Based Reasoning Applied to Personal Flight Planning
Adithya M. Rao and Gautam Biswas, University of South Carolina;
Prasanta K. Bose, Texas Instruments
Classification by Semantic Matching
Paul R. Cohen, Philip M. Stanhope, and Rick Kjeldsen, University of
Massachusetts
Default Reasoning -- Extension and Semantics
Keki B. Irani and Zhaogang Qian, University of Michigan
1:30 - 3:30: Paper Session 6B: DESIGN AND PLANNING
Goal Directed Planning of the Design Process
Christopher Tong, Rutgers University
Concerns: A Means of Identifying Potential Plan Failures
Marc Luria, University of California at Berkeley
A VLSI Design Automation System Using Frames and Logic Programming
Takayoshi Yokota, Keisuke Bekki, and Nobuhiro Hamada, Hitachi Research
Laboratory
PLEX: A Knowledge Based Placement Program for Printed Wire Boards
Sankar Virdhagriswaran, Sam Levine, Scott Fast, and Susan Pitts, Honeywell
1:30 - 3:30: Paper Session 6C: SOFTWARE AND TOOLS
Engineous: A Knowledge Directed Computer Aided Design Shell
Dennis J. Nicklaus, Siu S. Tong, and Carol J. Russo, General Electric
Implementing Distributed AI Systems
Les Gasser, Carl Braganza, and Nava Herman, USC
AI Based Software Maintenance
Lori B. Alperin and Beverly I. Kedzierski, Carnegie Group Inc
Application of Correlation Measures for Validating Structured Selectors
Keith A. Butler, Boeing
==============================================================================
Tutorial Program
==============================================================================
Monday, February 12, 1987
Morning:
Managing Knowledge System Development
Avron Barr, Aldo Ventures
Programming in the Lisp Machine Environment
Sue Green, Texas Instruments
Afternoon:
Analyzing Expert System Building Tools
Paul Harmon, Harmon Associates
Logic Programming, Expert Systems, and Databases
Steve Hardy, Teknowledge
Tuesday, February 13, 1987
Morning:
AI and Computer Integrated Manufacturing
Arvind Sathi, Carnegie Group Inc
Commercial Applications of Natural Language Processing
Tim Johnson, Ovum Ltd.
Afternoon:
AI Programming on Parallel Machines
Joe Brandenburg, Intel
Intelligent Interfaces
Marilyn Stelzner, IntelliCorp
------------------------------
End of AIList Digest
********************