Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference
Edited by John Kolen and Ingrid Russell
May 21–23, 2001, Key West, 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. Not all abstracts and papers are available. 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 / xiii
FLAIRS-2001 Invited Talks / xx
Kenneth Forbus, Kenneth Ford, Patrick Hayes, Gerhard Ritter, Jonathan Schaeffer
Artificial Intelligence and Electronic Commerce
A Multimodal Shopping Assistant for Home E-Commerce / 2
Mehrdad Jalali-Sohi and Feza Baskaya, Fraunhofer Institute for Computer Graphics, Germany
Dynamic Strategies for Negotiating Agents in E-Commerce Applications / 7
Nishan Jebanasam, Hana Ma, and N. Parameswaran, The University of New South Wales, Australia
Data Mining with Distributed Agents in E-Commerce Applications / 12
Y. Lee, University of Missouri, USA; J. Geller, New Jersey Institute of Technology, USA; E. K. Park and C. Oh, University of Missouri, USA
Artificial Intelligence in Aerospace
An Automated Approach to Post-Flight Simulation Analysis and Validation Using Stochastic Optimization Methods / 19
Murray B. Anderson, Sverdrup Technology, Inc., USA
Empirical Requirements Analysis for Mars Surface Operations Using the Flashline Mars Arctic Research Station / 24
William J. Clancey, Pascal Lee, and Maarten Sierhuis, NASA/Ames Research Center, USA
Alternative Approaches to Mission Control Automation at NASA’s Goddard Space Flight Center / 27
Miranda Cooter, George Davis, and Jennifer Mackey, Commerce One Global Services, USA; Michael Rackley, NASA Goddard Space Flight Center, USA
Goal-Directed Scientific Exploration Using Multiple Rovers / 33
Tara Estlin, Rebecca Castaño, Ashley Davies, Darren Mutz, Gregg Rabideau, Steve Chien, and Eric Mjolsness, Jet Propulsion Laboratory, California Institute of Technology, USA
Genetic Algorithms Training of Neural Nets for Aircraft Guidance and Control / 38
Glenn Gebert and Murray Anderson, Sverdrup Technology, Inc., USA; Johnny Evers, Air Force Research Laboratory, USA
On-Line Situation Assessment for Unmanned Air Vehicles / 44
Mark L. Hanson, Olga Sullivan, and Karen A. Harper, Charles River Analytics, USA
Efficiency as a Motivation to Team / 49
Henry Hexmoor, University of Arkansas, USA; Harry Duchscherer, University of North Dakota, USA
Current Level of Mission Control Automation at NASA Goddard Space Flight Center / 53
Lori Maks, Julie Breed, and Michael Rackley, NASA Goddard Space Flight Center, USA
Mission Planning for Formation-Flying Satellite Cluster / 58
John L. Mohammed, Stottler Henke Associates, Inc., USA
A Background Layer of Health Monitoring and Error Handling for ObjectAgent / 63
Joseph B. Mueller, Derek M. Surka, and Joy J. Lin, Princeton Satellite Systems, USA
Distributed Satellite Constellation Planning and Scheduling / 68
Robert A. Richards, Ryan T. Houlette, and John L. Mohammed, Stottler Henke Associates, Inc., USA
A Tool for Autonomous Ground-Based Rover Planning / 73
Rob Sherwood, Andrew Mishkin, Tara Estlin, Steve Chien, Barbara Engelhardt, Brian Cooper, and Gregg Rabideau, Jet Propulsion Labortory, California Institute of Technology, USA
Using the Genetic Algorithm to Locate Optimal Bi-Phase Waveforms for Pulse Compression Radar / 78
Ross Wainwright, Air Force Research Laboratory, USA
Autonomy for SOHO Ground Operations / 83
Walt Truszkowski, NASA Goddard Space Flight Center, USA; Nick Netreba and Don Ginn, a.i. solutions, Inc., USA; Sanda Mandutianu, Jet Proplusion Laboratory, USA
Case Based Reasoning
Capturing Lessons Learned for Variation Reduction in an Automotive Assembly Plant / 89
John A. Cafeo, Diane I. Gibbons, Ronald M. Lesperance, Alexander P. Morgan, Gülcin H. Sengir, and Andrea M. Simon, General Motors, USA
Case-Based Reasoning at General Electric / 93
William Cheetham, Anil Varma, and Kai Goebel, General Electric Company, USA
Behavior Retrieval for Robot Control in a Unified CBR Hybrid Planner / 98
Susan Eileen Fox, Macalester College, USA
Exploiting Fuzzy-SQL in Case-Based Reasoning / 103
Luigi Portinale and Andrea Verrua, Universita' del Piemonte Orientale, Italy
Virtual Reality Case-Based Reasoning: A Framework for Computer-Based Instruction / 108
Leonardo Rocha de Oliveira, Federal University of Rio Grande do Sul, Brazil
Improvement of Nearest-Neighbor Classifiers via Support Vector Machines / 113
Marc Sebban and Richard Nock, Université des Antilles-Guyane, France
Knowledge Management and Case-Based Reasoning: A Perfect Match? / 118
Ian Watson, University of Auckland, New Zealand
Data Mining and the World Wide Web
Hierarchical Representatives Clustering with Hybrid Approach / 124
Byung-Joo An, Eun-Ju Kim, and Yill-Byung Lee, Yonsei University of Korea, Korea
WebAdaptor: Designing Adaptive Web Sites Using Data Mining Techniques / 128
Howard J. Hamilton, Xuewei Wang, and Y. Y. Yao, University of Regina, Canada
Structural Web Search Using a Graph-Based Discovery System / 133
Nitish Manocha, Diane J. Cook, and Lawrence B. Holder, University of Texas at Arlington, USA
Decision Analysis and Models
A* as an Optimal Resource Allocation Policy in Path Finding Problems / 139
Antti Autere, Helsinki University of Technology, Finland
Exploring Unknown Structured Environments / 145
Jonathan F. Diaz, Alexander Stoytchev, and Ronald C. Arkin, Georgia Institute of Technology, USA
DARE: An Emotion-Based Agent Architecture / 150
Márcia Maçãs, Rodrigo Ventura, Luis Custódio, and Carlos Pinto-Ferreira, Instituto Superior Técnico, Portugal
Graphical Analysis of Value of Information in Decision Models / 155
Songsong Xu and Kim-Leng Poh, University of Singapore, Singapore; Eric J. Horvitz, Microsoft Research, USA
Genetic Algorithms
Evolutionary Search for Matrix Multiplication Algorithms / 161
John F. Kolen and Phillip Bruce, University of West Florida, USA
Knowledge-Embedded Multi-Stage Genetic Algorithm for Interactively Optimizing a Large-Scale Distribution Network / 166
Takashi Onoyama, Sen Kubota, and Kazuko Oyanagi, Hitachi Software Engineering Co., Ltd., Japan; Setsuo Tsuruta, Hitachi, Ltd., Japan
Human-Computer Interaction/Intelligent User Interface
An Adaptable Dialog Interface Agent Using Meta-Rules / 172
Jung-Jin Lee, The Catholic University of Korea, Korea; Jaeho Lee, University of Seoul, Korea
Learning and Predicting User Behavior for Particular Resource Use / 177
Jung-Jin Lee, The Catholic University of Korea, Korea; Robert McCartney and Eugene Santos, Jr. University of Connecticut, USA
An Intelligent Interface for Keyboard and Mouse Control -- Providing Full Access to PC Functionality via Speech / 182
Bill Manaris and Renée McCauley, College of Charlston, USA; Valanne MacGyvers, University of Louisiana, USA
Intelligent Agents
Attitudes for Agents in Dynamic Worlds / 190
S. Au and N. Parameswaran, The University of New South Wales, Australia
Heterogeneous BDI Agents I: Bold Agents / 195
Maria Fasli, University of Essex, United Kingdom
A Holonic Multi-Agent Coordination Server / 200
Andreas Gerber and Christian Russ, German Research Centre for Artificial Intelligence, Germany
Intelligent Tutoring Systems
A Client-Server Interactive Tool for Integrated Artificial Intelligence Curriculum / 206
Diane J. Cook and Lawrence B. Holder, University of Texas at Arlington, USA
Using the Atlas Planning Engine to Drive an Intelligent Tutoring System: CIRCSIM-Tutor Version 3 / 211
Bruce Mills, Wisconsin Lutheran College, USA
Knowledge-Based Systems
Validity of First-Order Knowledge Bases / 217
John Debenham, University of Technology, Australia
Building a Large Knowledge Base Semi-Automatically / 222
Udo Hahn, Freiburg University, Germany and Stefan Schulz, Freiburg University Hospital, Germany
An Efficient Hybrid Rule Based Inference Engine with Explanation Capability / 227
Ioannis Hatzilygeroudis and Jim Prentzas, University of Patras, Greece
Knowledge Discovery and Data Mining
Views: Fundamental Building Blocks in the Process of Knowledge Discovery / 233
Hideo Bannai, University of Tokyo, Japan; Yoshinori Tamada, Tokai University, Japan; Osamu Maruyama, Kyushu University, Japan; Kenta Nakai and Satoru Miyano, University of Tokyo, Japan
Tracking Clusters in Evolving Data Sets / 239
Daniel Barbará and Ping Chen, George Mason University, USA
An Empirical Comparison of Methods for Iceberg-CUBE Construction / 244
Leah Findlater and Howard J. Hamilton, University of Regina, Canada
Learning Approaches to Wrapper Induction / 249
Gunter Grieser, Technical University Darmstadt, Germany and Steffen Lange, German Research Center for Artificial Intelligence Ltd., Germany
Syntactic Folding and its Application to the Information Extraction from Web Pages / 254
Jörg Herrmann, German Research Center for Artificial Intelligence Ltd., Germany
Approximate Association Rule Mining / 259
Jyothsna R. Nayak and Diane J. Cook, University of Texas at Arlington, USA
Extracting Partial Structures from HTML Documents / 264
Hiroshi Sakamoto, Yoshitsugu Murakami, Hiroki Arimura, and Setsuo Arikawa, Kyushu University, Japan
A Comparison of Noise Handling Techniques / 269
Choh Man Teng, University of West Florida, USA
Knowledge Management
An Infrastructure for Managing Knowledge Using Intelligent Workflow / 275
Irma Becerra-Fernandez, Karen McCarthy, and Juan Rodriguez, Florida International University, USA
Web Data Mining Techniques for Expertise-Locator Knowledge Management Systems / 280
Irma Becerra-Fernandez and Juan Rodriguez, Florida International University, USA
Combining Concept Mapping with CBR: Towards Experience-Based Support for Knowledge Modeling / 286
Alberto Cañas, University of West Florida, USA; David B. Leake and Ana Maguitman, Indiana University, USA
An Expertise Recommender Using Web Mining / 291
Purnima Chandrasekaran, Anupam Joshi, Michelle Shu Yang, and Ramya Ramakrishnan, University of Maryland, Baltimore County, USA
Integrating Task, Role, and User Modeling in Organizational Memories / 295
Ludger van Elst and Andreas Abecker, German Research Center for Artificial Intelligence, Germany
Professional Services Automation: A Knowledge Management Approach Using LSI and Domain Specific Ontologies / 300
Vipul Kashyap, Siddhartha Dalal, and Cliff Behrens, Telecordia Technologies, USA
Facilitating the Exchange of Explicit Knowledge through Ontology Mappings / 305
Martin S. Lacher, Technische Universität München, Germany and Georg Groh, Universität Kaiserslautern, Germany
Knowledge on Demand: Human Language Technology for Knowledge and Expertise Discovery / 310
Mark Maybury, The MITRE Corporation, USA
Multi-Disciplinary Perspective on Knowledge Quality: Dimensions of Knowledge Quality / 315
F. Mili, L. Blackwell, and A. Gokani, Oakland University, USA
Assessing the Effectiveness of LSI in Approaching the Intention of a User’s Query / 320
Massoud Moussavi, The World Bank, USA and Robert Najlis, Indiana University, USA
Syntactic-Level Ontology Integration Rules for E-Commerce / 324
Borys Omelayenko, Vrije Universiteit, The Netherlands
A Decision Support System for Local Government Regulatory Advice / 329
Ian Watson, University of Auckland
On the Technological, Human, and Managerial Issues in Sharing Organizational Lessons / 334
Rosina Weber, University of Wyoming and Naval Research Laboratory, USA; Leonard Breslow, Naval Research Laboratory, USA; Nabil Sandhu, ITT Industries AES Division, USA
Knowledge Representation and Problem Solving
Structural Learning in Object Oriented Domains / 340
Olav Bangsø, Helge Langseth, and Thomas D. Nielsen, Aalborg University, Denmark
Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization / 345
Joachim Draeger and Stephan Schulz, Technische Universität München, Germany
Nonbinary Constraint Satisfaction: From the Dual to the Primal / 350
S. Nagarajan, QNX Software Systems, Canada; S. D. Goodwin, University of Regina, Canada; A. Sattar, Griffith University, Australia
Binary Representations for General CSPs / 355
Wanlin Pang, National Research Council of Canada, Canada and Scott D. Goodwin, University of Regina, Canada
Machine Learning
An Eager Regression Method Based on Selecting Appropriate Features / 361
Tolga Aydin and H. Altay Güvenir, Bilkent University, Turkey
Introducing Local Optimization for Effective Initialization and Crossover of Genetic Decision Trees / 367
Arindam Basak and Sudeshna Sarkar, Indian Institute of Technology, India
Multiple Predicate Learning for Document Image Understanding / 372
Floriana Esposito, Donato Malerba, and Francesca A. Lisi, Università degli Studi di Bari, Italy
Graph-Based Concept Learning / 377
Jesus A. Gonzalez, Lawrence B. Holder, and Diane J. Cook, University of Texas at Arlington, USA
User-Agent Interactions in Mixed-Initiative Learning / 382
Dorin Marcu, Mihai Boicu, and Gheorghe Tecuci, George Mason University, USA
A Lattice-Based Approach to Hierarchical Clustering / 389
Zdravko Markov, Central Connecticut State University, CT
Skill Refinement through Competence Feedback / 394
David Patterson, Sarabjot S. Anand, and John Hughes, University of Ulster, Northern Ireland
Information-Based Selection of Abstraction Levels / 402
Stephan Schulz, Technische Universität München, Germany
Hybrid Decision Tree Learners with Alternative Leaf Classifiers: An Empirical Study / 407
Alexander K. Seewald and Johann Petrak, Austrian Research Institute for Artificial Intelligence, Austria; Gerhard Widmer, Austrian Research Institute for Artificial Intelligence and University of Vienna, Austria
Learning Plan Rewriting Rules / 412
M. Afzal Upal, Dalhousie University, Canada
Natural Language Processing
Knowledge Acquisition for Question Answering / 418
Roxana Gîrju and Dan Moldovan, Southern Methodist University, USA
Computing in Formal Knowledge Base Contexts for Natural Language Ambiguity Resolution / 423
Udo Hahn and Martin Romacker, Freiburg University, Germany
The Association Between Subject Matter and Discourse Segmentation / 428
Susan Haller and Timothy Fossum, University of Wisconsin-Parkside, USA
Exploring the Use of Cognitive Models in AI Applications Using the Stroop Effect / 433
Charles Hannon and Diane J. Cook, University of Texas at Arlington, USA
Data-Driven Coreference Resolution / 439
Sanda M. Harabagiu and Razvan Bunescu, Southern Methodist University, USA
Dialogue Management for Interactive Question Answering / 444
Sanda M. Harabagiu, Marius Pasca, and V. Finley Lacatusu, Southern Methodist University, USA
Automatic Discovery of Linguistic Patterns for Information Extraction / 449
Sanda M. Harabagiu, Mihai Surdeanu, and Paul Morarescu, Southern Methodist University, USA
EZ.WordNet: Principles for Automatic Generation of a Coarse Grained WordNet / 454
Rada Mihalcea and Dan I. Moldovan, Southern Methodist University, USA
Transformation of WordNet Glosses into Logic Forms / 459
Dan I. Moldovan and Vasile Rus, Southern Methodist University, USA
Neural Network and Fuzzy Logic Applications
A Framework for Evolving Fuzzy Classifier Systems Using Genetic Programming / 465
Brian Carse and Anthony G. Pipe, University of the West of England, United Kingdom
Solution of Inverse Problems in Laser Spectroscopy of Water Media with the Help of Neural Networks / 470
S. A. Dolenko, I. V. Boychuk, I. V. Churina, T. A. Dolenko, V. V. Fadeev, and I. G. Persiantsev, Moscow State University, Russia; B. Carse, University of the West, England
Time Series Analysis Using Unsupervised Construction of Hierarchical Classifiers / 475
S. A. Dolenko, Yu. V. Orlov, I. G. Persiantsev, and Ju. S. Shugai, Moscow State University, Russia; A. G. Pipe, University of the West, England
Decision Tree Rule Reduction Using Linear Classifiers in Multilayer Perceptron / 480
DaeEun Kim, University of Edinburgh, United Kingdom and Sea Woo Kim, KAIST, Korea
Synchronized Firing in a Time-Delayed Neural Network / 485
Anthony S. Maida, Benjamin A. Rowland, and Cengiz Günay, University of Louisiana at Lafayette, USA
Neural Networks in Forecasting Electrical Energy Consumption / 489
G. E. Nasr, E. A. Badr, and M. R. Younes, Lebanese American University, Lebanon
"Michigan" and "Pittsburgh" Fuzzy Classifier Systems for Learning Mobile Robot Control Rules: An Experimental Comparison / 493
Anthony G. Pipe and Brian Carse, University of the West of England, United Kingdom
Niche Autonomous Robots
A Reference Test Course for Urban Search and Rescue Robots / 499
Adam Jacoff, Elena Messina, and John Evans, National Institute of Standards and Technology, USA
Entertainment Robots - Myth or Reality / 504
Alexander K. Seewald, Austrian Research Institute for Artificial Intelligence, Austria
Effective Shared Control in Cooperative Mobility Aids / 509
G. Wasson, J. Gunderson, S. Graves, and R. Felder, University of Virginia, USA
The History of the Mobot Museum Robot Series: An Evolutionary Study / 514
Thomas Willeke and Clay Kunz, Mobot, Inc., USA; Illah Nourbakhsh, Carnegie Mellon University, USA
Optimization
A Practical Markov Chain Monte Carlo Approach to Decision Problems / 520
Timothy Huang and Yuriy Nevmyvaka, Middlebury College, USA
A Computational Model for Portfolios of Cooperative Heterogeneous Algorithms for Discrete Optimization / 525
Eugene Santos Jr., University of Connecticut, USA
Robotics
Probabilistic Planning for Behavior-Based Robots / 531
Amin Atrash and Sven Koenig, Georgia Institute of Technology, USA
A Binary Tree Based Approach for the Design of Fault-Tolerant Robot Team / 536
Haihang Sun and Robert McCartney, University of Connedticut, USA
Spatiotemporal Reasoning
Algorithms for Buffering Fuzzy Raster Maps / 542
Hans W. Guesgen, University of Auckland, New Zealand and Joachim Hertzberg, GMD, Germany
On Deciding Consistency for CSPs of Cyclic Time Intervals / 547
Amar Isli, Universität Hamburg, Germany
The Benefits of Multi-Agent Systems in Spatial Reasoning / 552
Christian Kray, German Research Center for Artificial Intelligence, Germany
A Logical Framework for Frequent Pattern Discovery in Spatial Data / 557
Donato Malerba, Floriana Esposito, and Francesca A. Lisi, Università degli Studi di Bari, Italy
Modeling of Multi-Dimensional Relational Constraints Between Point Objects / 562
Debasis Mitra, Jackson State University, USA; Gerard Ligozat, Universite Paris-Sud, France; Lail Hossain, Jackson State University, USA
Spatial Reasoning for Information Brokering / 568
H. Stuckenschmidt, C. Schlieder, U. Visser, T. Vögele, and H. Neumann, University of Bremen, Germany
Uncertainty
Symmetry in Decision Evaluation / 575
Mats Danielson, Royal Institute of Technology, Sweden, and Love Ekenberg, Mid Sweden University, Sweden
Probabilistic Plan Recognition for Hostile Agents / 580
Christopher W. Geib and Robert P. Goldman, Honeywell Technology Center, USA
Practical Modeling of Bayesian Decision Problems -- Exploiting Deterministic Relations / 585
Anders L. Madsen, Hugin Expert A/S, Denmark; Kristian G. Olesen, Aalborg University, Denmark; Søren L. Dittmer, Systematic Software Engineering, Denmark
Absolute Percent Error Based Fitness Functions for Evolving Forecast Models / 591
Andy Novobilski, University of Tennessee at Chattanooga, USA; Farhad A. Kamangar, University of Texas at Arlington, USA
Maximal Prime Subgraph Decomposition of Bayesian Networks / 596
Kristian G. Olesen, Aalborg University, Denmark; Anders L. Madsen, Hugin Expert A/S, Denmark
The Disappearance of Equation Fifteen, a Richard Cox Mystery / 602
Paul Snow, USA
A Method for Evaluating Elicitation Schemes for Probabilities / 607
Haiqin Wang, Denver Dash, and Marek J. Druzdzel, University of Pittsburgh, USA
Generating Dependence Structure of Multiply Sectioned Bayesian Networks / 613
Y. Xiang and X. An, University of Guelph, Canada
A General Approach to Uncertainty Representation Using Fuzzy Measures / 619
Ronald R. Yager, Iona College, USA
Verification, Validation, and System Certification
A Quagmire of Terminology: Verification and Validation, Testing, and Evaluation / 625
Valerie Barr, Hofstra University, USA
Secure Systems Development -- The Evolving Integration of Validation and Verification / 630
Klaus P. Jantke and Oliver Keller, German Research Center for Artificial Intelligence, Ltd., Germany
The Character of Human Behavior Representation and Its Impact on the Validation Issue / 635
Rainer Knauf and Ilka Philippow, Ilmenau Technical University, Germany; Avelino J. Gonzalez, University of Central Florida, USA; Klaus P. Jantke, German Research Center for Artificial Intelligence, Ltd., Germany
Using Hybrid Automata to Express Realtime Properties in VSE-II / 640
Andreas Nonnengart, Georg Rock, and Werner Stephan, German Research Center for Artificial Intelligence, Ltd., Germany
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking / 645
Carsten Sinz, Andreas Kaiser, and Wolfgang Küchlin, University of Tübingen, Germany
Intelligent Systems Validation Tool Based on Bi-Directional Many-Sided Explanation Typed Multi-Step Validation Method / 650
Setsuo Tsuruta, Hitachi, Ltd., Japan; Takashi Onoyama, Hitachi Software Engineering Co., Ltd., Japan
Improving Knowledge-Based System Performance by Reordering Rule Sequences / 655
Neli P. Zlatareva, Central Connecticut State University, USA
Index / 660