taylor@hplabsc.UUCP (Dave Taylor) (11/21/86)
This article is from Jim Miller <HI.JMILLER@MCC.COM>
and was received on Thu Nov 20 17:16:19 1986
============================================================================
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
-------