Proceedings of the Eleventh International Florida Artificial Intelligence Research Symposium Conference
Edited by Diane J. Cook
May 18-20, 1998, Sanibel Island, Florida. Published by The AAAI Press, Menlo Park, California. This proceedings is also available in book format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
Preface / xii
FLAIRS-98 Invited Talks / xiii
Jim Bezdek, Oren Etzioni, Kenneth Ford, Patrick Hayes, Sridhar Mahadevan, Ray Mooney
AI Applications
Strategic Evaluation in Complex
Domains / 2
Tristan Cazenave, Université Pierre et Marie Curie
Automated Generation of Plans through the Use of Context-Based Reasoning / 7
Carmen Grama, Eytan Pollak, Randy Brasch, and James Wartski, Lockheed Martin Information Systems; and Avelino J. Gonzalez, University of Central Florida.
A Structural Knowledge-Based Simulation Methodology for Distributed Systems / 12
Chuchang Liu and Mehmet A. Orgun, Macquarie University
Three-Dimensional Surface Recognition Based on Genetic Algorithms / 18
C. Y. Liu and Y. H. Chen, The University of Hong Kong
AI Education
Teaching
Bottom-up AI from the Top Down / 24
Christopher Welty, Kenneth Livingston, Calder Martin, Julie Hamilton, and Christopher Rugger, Vassar College
Teaching the Foundations in AI: Mobile Robots and Symbolic Victories / 29
David A. Shamma, University of West Florida; and Carl W. Turner, CHI Systems,Inc.
AMI: The Automated Maintenance Instruction System / 34
James P. Buckley and Frank W. Moore, University of Dayton
Computer Vision
An AI Approach to Computer Assisted Tomography / 40
John F. Kolen, David A. Shamma, Thomas Reichherzer, and
Timothy Flueharty, University of West Florida
A Formal Framework for the Objective Evaluation of Edge Detectors / 45
Sean Dougherty and Kevin W. Bowyer, University of South Florida
A Parallel Computer Preattentive-Vision System for Learning and Extracting Special Features in 2-D Images / 52
Anne M. Landraud-Lamole, Université des Antilles et de la Guyane
Interactively Training Pixel
Classifiers / 57
Justus H. Piater, Edward M. Riseman, and Paul E. Utgoff, University of Massachusetts
Evolutionary Computation
Using Genetic Programming for Document Classification / 63
Børge Svingen, Norwegian University of Science and Technology
Discovering Heuristic Strategy for Solving Scheduling Problems / 68
Rasaiah Loganantharaj, Center for Advanced Computer Studies, USL
Forecasting Stock Returns Using Genetic Programming in C++ / 73
M. A. Kaboudan, Penn State Lehigh Valley
Expert Systems
El-Tech: A Performance Support System with Embedded Training for Electronics Technicians / 79
Alberto Cañas, John Coffey, Thomas Reichherzer, Greg Hill, Niranjan Suri, Roger Carff, Tim Mitrovich and Derek Eberle, University of West Florida
A Qualitative Expert System for Clinical Trial Assignment / 84
Sanjukta Bhanja, Lynn M. Fletcher-Heath, Lawrence O. Hall,
Dmitry B. Goldgof and Jeffrey P. Krischer, University of South Florida
Decision
Support Information Gathering System / 89
Chiu-Che Tseng and Piotr J. Gmytrasiewicz, University of Texas at Arlington
Genetic Algorithms
An Empirical Comparison of Randomized Algorithms for Large Join Query Optimization / 95
Sushil J. Louis and Yongmian Zhang, University of Nevada, Reno
Parallel Genetic Algorithms for Constrained Ordering Problems / 101
Kay Wiese, Sivakumar Nagarajan, and Scott D. Goodwin, University of Regina
Numeric Mutation: Improved Search in Genetic Programming / 106
Matthew Evett and Thomas Fernandez, Florida Atlantic University
Aflatoxin Prediction Using a GA Trained Neural Network / 110
C. E. Henderson, W. D. Potter, R. W. McClendon, and G. Hoogenboom,
University of Georgia
Intelligent Agents
An Architecture for Smart Internet Agents / 116
Niranjan Suri, Kenneth M. Ford, and Alberto J. Cañas, University of West Florida
The Program Analysis Tool for Reuse: Identifying Reusable Components / 121
L. H. Etzkorn, C. G. Davis, L. L. Bowen, J. C. Wolf, R. P. Wolf, M. Y. Yun,
B. L. Vinz, A. M. Orme, and L. W. Lewis, University of Alabama in Huntsville
and Sung Kyul University
Integrating Hierarchical and Analogical Planning / 126
Billy Harris and Diane J. Cook, University of Texas at Arlington
Ontobroker: The Very High Idea
/ 131
Dieter Fensel, Stefan Decker, Michael Erdmann, and Rudi Studer, University of Karlsruhe
The Giant: An Agent-Based Approach to Knowledge Construction and Sharing / 136
Thomas R. Reichherzer, Alberto J. Cañas, Kenneth M. Ford, and Patrick J. Hayes,
University of West Florida
Intelligent Reasoning
Strategy Parallelism in Automated Theorem Proving / 142
Andreas Wolf and Reinhold Letz, Universität München
Delusions
of Omniscience / 147
Roderic A. Girle, University of Auckland
Intelligent Tutoring Systems
Responding to Unexpected Student Utterances in CIRCSIM-Tutor v.3: Analysis of Transcripts / 151
Jung Hee Kim, Reva Freedman, and Martha W. Evens, Illinois Institute of Technology
A Collaborative Learning Environment for Data Modeling / 158
Adrian Gordon and Lynne Hall, University of Northumbria at Newcastle
Simulating Smooth Tutorial Dialogue with Pedagogical Value / 163
Arthur Graesser, Stanley Franklin, and Peter Wiemer-Hastings, and the
Tutoring Research Group, University of Memphis
An Intelligent Debriefing System
for Situation Awareness Training / 168
Ellen J. Bass, Samuel T. Ernst-Fortin, and Phillip C. Duncan, Search Technology
Tool for Knowledge Acquisition and Knowledge Visualization / 173
Injoo Jeong and Martha W. Evens, Illinois Institute of Technology;
and Yeong Kwun Kim, Korea Telecom
Problem Generation: Evaluation of Two Domains in Operating Systems / 178
Amruth N. Kumar, Ramapo College of New Jersey
Knowledge Discovery in Databases
Coupling
Two Complementary Knowledge Discovery Systems / 183
Lawrence B. Holder and Diane J. Cook, University of Texas at Arlington
A Sequence Building Approach
to Pattern Discovery in Medical Data / 188
Jörge C. G. Ramirez, University of Texas at Arlington and University of Texas
Southwestern Medical Center; Lynn L. Peterson, University of Texas at Arlington;
and Dolores M. Peterson, University of Texas Southwestern Medical Center
A Technique for Generalizing Temporal Durations in Relational Databases / 193
D. J. Randall, Howard J. Hamilton, and R. J. Hilderman, University of Regina
Knowledge Representation
A Framework for Knowledge Reuse / 199
John Debenham, University of Technology, Sydney
Towards a Cooperative Information System Modeling Method Based on Integration of Conceptual Representations / 204
Nahla Haddar, Faïez Gargouri, and Abdelmajid Ben Hamadou, LARIS, FSEGS
Logic
Towards Partial Reasoning
/ 210
Krzysztof Zbigniew Nowak, Macquarie University
Incorporating Specificity in Extended Logic Programs for Belief Revision / 215
Berilhes Borges Garcia and Gabriel Pereira Lopes, Universidade Nova de Lisboa
Machine Learning
An Efficient Algorithm for Inducing Fuzzy Rules from Numerical Data / 221
J. N. Wu and K. C. Cheung, The University of Hong Kong
Concept Formation Taking into Account Property Relevance / 225
João José Furtado Vasco, Universidade de Fortaleza
A Hierarchical Ensemble of Decision Trees Applied to Classifying Data from a Psychological Experiment / 230
Yannick Lallement, Carnegie Mellon University
Lazy Transformation-Based Learning
/ 235
Ken Samuel, University of Delaware
Integrating Machine Learning in Parallel Heuristic Search / 240
R. Craig Varnell, Stephen F. Austin State University; and
Diane J. Cook, University of Texas at Arlington
Determining the Incremental Worth of Members of an Aggregate Set through Difference-Based Induction / 245
Avelino J. Gonzalez, University of Central Florida; Sylvia Daroszewski,
Harris Corporation, and Howard J. Hamilton, University of Regina
Prototype
Selection from Homogeneous Subsets by a Monte Carlo Sampling
/ 250
Marc Sebban, Université des Antilles et de la Guyane
Static Classification Schemes for an Object System / 254
Ana Maris Simonet, Michel Simonet, Cyr Gabin Bassolet,
Xavier Delannoy, and Riad Hamadi, TIMC - IMAG - CNRS
A New Model of Reflective Introspective Learning / 259
Susan Fox, Macalester College
Natural Language Processing
WordNet-Based Inference of Textual Cohesion and Coherence / 265
Sanda M. Harabagiu, SRI International
An Ellipsis Detection Method Based on a Clause Parser for Arabic Language / 270
Kais Haddar and Abdelmajid Ben Hamadou, LARIS
A WordNet-Based Interface to Internet Search Engines / 275
Dan I. Moldovan and Rada Mihalcea, Southern Methodist University
Pronoun Resolution of "They" and "Them" / 280
Bruce A. Wooley, Mississippi State University
Implementing Parser Metarules that Handle Speech Repairs and Other Disruptions / 283
Mark G. Core and Lenhart K. Schubert, University of Rochester
KQML+: An Extension of KQML in Order to Deal with Implicit Information and Social Relationships / 289
Karim Bouzouba and Bernard Moulin, Laval University
Application of Phonological Knowledge in Audio Word Spotting / 294
Wai Yat Wong and John Robertson, CSIRO
Action-Centered Communication with an Embedded Agent / 299
Jan-Torsten Milde, Kornelia Peters, and Simone Strippgen,
University of Bielefeld
Clustering Lexical Patterns Obtained from a Text Corpus / 304
Howard W. Beck and Balaji Kumar, University of Florida
A Learner with a Sense for Quality / 309
Udo Hahn and Klemens Schnattinger, Freiburg University
Neural Networks
Fine
Grained Neural Network Classification of Positron Emission Tomography
Scans of Alzheimer’s and Normal Subjects / 315
Samir Sayegh, Satoshi Minoshima, and David Kuhl, University of Michigan
Multi-Version
Systems of Neural Networks for Predicting the Risk of Osteoporosis
/ 317
Wenjia Wang, Derek Partridge, University of Exeter; and
Sarah Rae, Royal Devon and Exeter Hospital
Detecting Motion in Single Images Using ALISA / 322
Taras P. Riopka and Peter Bock, George Washington University
Facial Expression Recognition Using a Neural Network / 328
Christine L. Lisetti and David E. Rumelhart, Stanford University
Predicting Hospital Length of Stay with Neural Networks / 333
Steven Walczak and Walter E. Pofahl, University of South Alabama;
Ronald J. Scorpio, Floating Hospital for Children
Reasoning about Function
Function Modeling for an Integrated Framework: A Progress Report / 339
Filippo A. Salustri, University of Windsor
IfNot: A Function-Based Approach for Both Proactive and Reactive Integrations of New Productive Technologies
/ 344
Sophie Magner-Canet and Bernard Yannou, Ecole Centrale Paris
The
Use of Function and Component Hierarchies to Generate User Information
/ 351
Andreas Heinzelmann, Daimler Benz AG
Reinforcement Learning
Learning to Race: Experiments with a Simulated Race Car / 357
Larry D. Pyeatt and Adele E. Howe, Colorado State University
Analytical
Design of Reinforcement Learning Tasks / 362
Robert E. Smith, University of Alabama
DFA
Learning of Opponent Strategies / 367
Gilbert Peterson and Diane J. Cook, University of Texas at Arlington
Optimizing Production Manufacturing Using Reinforcement Learning / 372
Sridhar Mahadevan and Georgios Theocharous, Michigan State University
Robotics
The
Path Planning Component of an Architecture for Autonomous Vehicles
/ 379
Richard Fox, Antonio Garcia Jr., and Michael L. Nelson,
University of Texas Pan American
An Autonomous Agent System to Simulate a Set of Robots Exploring a Labyrinth / 384
Nourredine Bensaid and Philippe Mathieu, Université de Lille I
A Hierarchical Shape Representation
for Vision-Guided Robotics / 389
Begoña Martínez-Salvador and Angel P. del Pobil, Jaume-I University
Some Experimental Results of Applying Heuristic Search to Route Finding / 394
John Pearson and Hans W. Guesgen, University of Auckland
Uncertainty Reasoning
Globalization of Belief Distributions
/ 400
Love Ekenberg and Johan Thorbiörnson, Mid Sweden University
Improving Search-Based Inference in Bayesian Networks / 405
E. Castillo and J. M. Gutierrez, University of Cantabria, Spain;
and Ali S. Hadi, Cornell University
Decision Making in Qualitative Influence Diagrams / 410
Silja Renooij and Linda C. van der Gaag, Utrecht University
Qualitative Reasoning under Uncertainty / 415
M. Chachoua and D. Pacholczyk, LERIA
Generating Diagnoses from Conflict Sets / 420
Rolf Haenni, University of Fribourg
Statistical Inference as Default Reasoning / 425
Henry E. Kyburg, Jr. and Choh Man Teng, University of Rochester
Is Intelligent Belief Really Beyond Logic? / 430
Paul Snow, Concord, New Hampshire
ProbSy--A System for the Calculation of Probabilities in the Card Game Bridge / 435
Anders L. Madsen, Aalborg University; Lars M. Nielsen, Hugin Expert A/S;
and Finn V. Jensen, Aalborg University
Propagating Probabilities in System P / 440
Rachel Bourne and Simon Parsons, University of London
Relevance-Based Sequential Evidence Processing in Bayesian Networks / 446
Yan Lin and Marek J. Druzdzel, University of Pittsburgh
Verification and Validation
Characterizing Sufficient Expertise for Learning Systems Validation / 452
Gunter Grieser, HTWK Leipzig; Klaus P. Jantke, Hokkaido University;
and Steffen Lange, Universität Leipzig
Fundamental Considerations of Competence Assessment for Validation / 457
Rainer Knauf, Technical University of Ilmenau; Klaus P. Jantke, Hokkaido University;
Avelino Gonzalez, University of Central Florida; and Ilka Philippow, Technical University
of Ilmenau
Investigating
the Validity of a Test Case Selection Methodology for Expert System
Validation / 462
Jan-Eike Michels, Thomas Abel, and Rainer Knauf, Technical University of Ilmenau; and
Avelino J. Gonzalez, University of Central Florida
Knowledge Refinement During Developmental and Field Validation of Expert Systems / 467
Neli P. Zlatareva, Central Connecticut State University
Variants of Validity and their Impact on the Overall Test Space / 472
Jörg Herrman, HTWK Leipzig; Klaus P. Jantke, Hokkaido University; and Rainer Knauf,
Technical University of Ilmenau
Index / 480