HI.JMILLER@MCC.COM (Jim Miller) (11/21/86)
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 -------