Program Committee: Chidanand Apte
Total Page:16
File Type:pdf, Size:1020Kb
tr^c A-92 . It is being mailed to you in >S. UMBC.EDU. For further information, _/l-1013 or Tim Finin at [email protected]. ADVANCE PROGRAM The Eighth lEEE Conference on ARTIFICIAL INTELLIGENCE for APPLICATIONS March 2-6, 1992 Doubletree Hotel Monterey, California CONFERENCE COMMITTEE General Chair: Timothy Finin, University of Maryland, Baltimore County Program Chair: Jan Aikins, Aion Corporation Tutorial Chair: Daniel 0 Leary, University of Southern California Workshop Chair: Donald McKay, Unisys Defense Systems Publicity Chairs: Curt Hall and Paul Harmon, Intelligent Software Strategies newsletter Local Arrangements Chair: Bob Engelmore, Stanford University Program Committee: Chidanand Apte, IBM Jim Bennett, Amdahl Ron Brachman, AT&T Bell Labs Elizabeth Byrnes, Bankers Trust Joe Carter, Andersen Consulting Vasant Dhar, New York University Lee Erman, Cimflex Teknowledge Corporation Richard Gabriel, Lucid Inc. Phil Hayes, Carnegie Group, Inc. Se June Hong, IBM Gary S. Kahn, A. C. Nielsen Bernadette Kowalski Minton, Aion Corporation William Mark, Lockheed IT£C Use , ; L---**' Date: Tue, 7 Jan 92 16:49:12— EST From: [email protected] To: [email protected] This is the advance program for CAIA-92. It is being mailed to you in response to a message sent to [email protected]. For further information, contact the lEEE CS Office at 202-371-1013 or Tim Finin at [email protected]. ADVANCE PROGRAM The Eighth lEEE Conference on ARTIFICIAL INTELLIGENCE for APPLICATIONS March 2-6, 1992 Doubletree Hotel Monterey, California CONFERENCE COMMITTEE General Chair: Timothy Finin, University of Maryland, Baltimore County Program Chair: Jan Aikins, Aion Corporation Tutorial Chair: Daniel 0 Leary, University of Southern California Workshop Chair: Donald McKay, Unisys Defense Systems Publicity Chairs: Curt Hall and Paul Harmon, Intelligent Software Strategies newsletter Local Arrangements Chair: Bob Engelmore, Stanford University Program Committee: Chidanand Apte, IBM Jim Bennett, Amdahl Ron Brachman, AT&T Bell Labs Elizabeth Byrnes, Bankers Trust Joe Carter, Andersen Consulting Vasant Dhar, New York University Lee Erman, Cimflex Teknowledge Corporation Richard Gabriel, Lucid Inc. Phil Hayes, Carnegie Group, Inc. Se June Hong, IBM Gary S. Kahn, A. C. Nielsen Bernadette Kowalski Minton, Aion Corporation William Mark, Lockheed Brian McCune, Booz, Allen & Hamilton Inc. Steven Minton, NASA Ames Research Center Fumio Mizoguchi, Tokyo Science University Ramesh Patil, USC/Information Sciences Institute Earl Sacerdoti, The Copernican Group Lokendra Shastri, University of Pennsylvania Howard E. Shrobe, Symbolics Inc. David Waltz, Thinking Machines Corp. Mike Wellman, Wright-Patterson AFB Mike Williams, IntelliCorp CONFERENCE OVERVIEW During the last seven years, the lEEE Computer Society's Conference on Artificial Intelligence for Applications has established itself as a key conference for business and technical people who want to keep up on the fast-changing world of commercial AI . This year the eighth annual CAIA 92 will continue that tradition by providing a provocative mix of introductory, intermediate and advanced talks, tutorials, workshops, and panels. This year's conference will feature a special series of talks and panels on the various knowledge representation standardization efforts that are underway in a variety of organizations. The plenary talks will be: AI Applications at NASA: Hindsight and Foresight, Dr. Melvin Montemerlo, NASA Software Patents and Copyrights: How Did We Get Into This Mess? And How Do We Get Out? Dr. Randall Davis, MIT The Calculus of Fuzzy If-Then Rules and Its Application, Dr. Lotfi Zadeh, University of California CAIA-92 TECHNICAL PROGRAM - Wednesday, March 4 8:45 - 9:00 am CHAIRPERSON'S WELCOME ADDRESS: Timothy Finin, University of Maryland and Unisys Defense Systems 9:00 - 10:00 am KEYNOTE TALK: AI Applications at NASA Hindsight and Foresight, Dr. Melvin Montemerlo, Program Manager for Automation and Robotics, NASA Headquarters Chair: Timothy Finin, University of Maryland and Unisys Defense Systems 10:30 am - 12:10 pm Concurrent Sessions PAPER SESSION: INTEGRATING RULE-BASED SYSTEMS Session Chair: Chidanand Apte, IBM T. J. Watson Research Center SPOTLIGHT: A Data Explanation System, Tej Anand and Gary Kahn GRAIL: An Integrated Artificial Intelligence System for Gene Recognition and Interpretation, X. Guan, R. C. Mann, R. Einstein, R. Mural and E. Überbacher Intelligent Document Generation System for Construction Planning, Takamune Kita zawa, Mitsutoshi Hayata, Motoo Matsuda and Shigehito Kaji Pitch Expert An Engineered Collection of Specialized Knowledge Structures, Allen Kowalski, Daniel Gauvin, Oliver Vadas and Yves Larin PAPER SESSION: ENABLING TECHNOLOGIES Session Chair: Lokendra Shastri, University of Pennsylvania Generalized Quicksearch for Expert Systems, Maurice Karnaugh Constraint Propagation Over Ordered Domains, Bai Li, E. Burke, D. Elliman and P . Ford Uncertainty Representation in Practical Decision Support Systems for the Field Service of Large Systems, Narendra Gupta Representation and Control of Knowledge Bases for Support of Multiple Tasks, Young-Tack Park and David C. Wilkins INVITED TALK: Standards and Standardization: Assured Incompatibility? Carl Cargill, Digital Equipment Corp. INVITED TALK: Overview of Standards Activities Earl Sacerdoti, The Copernican Group 12:10 - 1:30 pm Lunch and Sun 1:30 - 3:30 pm Concurrent Sessions Action Selection in Interactive Model-Based Diagnosis, Jiah-Shing Chen and Sarg ur N. Srihari Automated Diagnosis for the Time of Flight Scintillation Array: Development of a Structural and Behavioral Reasoning System, Robert K. Paasch and Alice M. Agogino A Multi-level Diagnosis Methodology for Complex Systems, Xudong Yu and Gautam Biswas An Expert System to Perform Functional Diagnosis of a Bus Subsystem, Chris Preist, Daryl Allred and Ajay Gupta Combining Constraint Satisfaction and Local Improvement Algorithms to Construct Anaesthetists Rotas, Barbara M. Smith and Scan Bennett Balancing Antagonistic Time and Resource Utilization Constraints in Over-Subscr ibed Scheduling Problems, Stephen F. Smith and Dhiraj K. Pathak An Assumption-Based Combinatorial Optimization System, Hirotaka Hara, Nobuhiro Yugami and Hiroyuki Yoshida A Constraint Satisfaction Approach to the Resolution of Uncertainty in Image Interpretation, Peter B. Cullen, Jonathan J. Hull and Sargur N. Srihari INVITED TALK: Task Specific Architectures in Knowledge-Based Systems: Progress and Issues B. Chandrasekaran, Ohio State University PANEL: The Proper Role of Standards in AI Panel Chair: Mike Williams, IntelliCorp 4:00 - 5:45 pm Concurrent Sessions 6:30 - 8:00 pm RECEPTION CAIA-92 TECHNICAL PROGRAM - Thursday, March 5 9:00 - 10:00 am KEYNOTE TALK: Software Patents and Copyrights How Did We Get Into this Mess? How Do We Get Out? Dr. Randall Davis, Professor of Computer Science and Associate Director of the AI Lab, Massachusetts Institute of Technology Chair: Jan Aikins, Aion Corporation 10:30 am - 12:10 pm Concurrent Sessions PAPER SESSION: KNOWLEDGE ACQUISITION AND LEARNING I Session Chair: Phil Hayes, Carnegie Group, Inc. KITSS A Functional Software Testing System Using a Hybrid Domain Model, Uwe Nonnenmann and John K. Eddy An Expert System for the Generation of Digital Frequency Discriminator Multiplexes, Douglas E. Landon Learning Approximate Diagnosis, Yousri El Fattah and Paul O Rorke Knowledge Acquisition Support Environment (KASE) , Padma D. Reddy and Dick B. Simmons PAPER SESSION: INTELLIGENT INTERFACES AND NATURAL LANGUAGE PROCESSING Session Chair: Dave Waltz, Thinking Machines Corp. Integrated Software Environments, Christopher Landauer Intelligent Assistance for the Communication of Information in Large Organizations, Robert Kass and Irene Stadnyk Explanation Based on Contexts, Pertti Huuskonen and Anneli Korteniemi Natural Language Processing Environments Based on a Multilingual Workstation, Richard F. Walters and Cvi Zhang PANEL : As CASE Approaches AI Panel Chair: Mike Williams, IntelliCorp 12:10 - 1:30 pm Lunch and Sun 1:30 - 3:30 pm Concurrent Sessions PAPER SESSION: KNOWLEDGE ACQUISITION AND LEARNING II Session Chair: Daniel O Leary, University of Southern California Using Machine Learning to Understand Manufacturing Control Issues, Bradley L. Whitehall, Bill Fulkerson, James Hall and Stephen C-Y. Lv Building Expert Systems by Training with Automatic Neural Network Generating Ability, Hahn-Ming Lee and Ching-Chi Hsu Learning to Predict DNA Hydrations Patterns, Dawn Cohen, Bohdan Schneider, Helen Berman and Casimir Kulikowski KEDS : A Knowledge-based Equation Discovery System for Engineering Problems, R. Bharat Rao and Stephen C-Y. Lv Learning and Representing Concepts with Graded Structure, Jianping Zhang PAPER SESSION: CASE-BASED REASONING, GENETIC ALGORITHMS AND FUZZY LOGIC Session Chair: Se June Hong, IBM T. J. Watson Research Center Extending the Indexing Vocabulary of Case-Based Reasoning with Task Specific Features, Olivier Fischer, Jack W. Smith Jr. and Philip Smith Use of Multiple Cases in Case-Based Design, Toshikazu Tanaka, Masakazu Hattori and Naomichi Sueda MICAH: A Genetic Algorithm System for Multi-Commodity Network Problems, Sam R. Thangiah and Kendall E. Nygard IDA-NET: An Intelligent Decision Aid for Battlefield Communications Network Configuration, W. D. Potter, R. Pitts, P. Gillis, J. Young and J. Caramadre Quantitative/Fuzzy Approach to Document Recognition, Hiroko Fujihara and Elmamoun Babiker Panels: PANEL : Extracting Information from Text Panel Chair: