Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference
Edited by Jim Etheredge and Bill Manaris
May 21-23, 2000, Orlando, 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-2000 Invited Talks / xx
Nicola Muscettola, Subrata Dasgupta, James Hendler, Janet L. Kolodner
Artificial Intelligence Applications
Autonomous Automobile Behavior through Context-Based Reasoning / 2
Fernando G. Gonzalez, Patrick Grejs, and Avelino J. Gonzalez, University of Central Florida, USA
Validation of Cryptographic Protocols by Efficient Automated Testing / 7
Sigrid Gürgens, German National Research Center for Information Technology, Germany; and René Peralta, Yale University, USA
Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints / 13
Ortrun Ibens, Institut für Informatik, Technische Universität München, Germany
The SH-Verification Tool / 18
Peter Ochsenschläger, Jürgen Repp, and Roland Rieke, German National Research Center for Information Technology, Germany
Automated Partitioning of Tonal Music / 23
Bryan Pardo and William P. Birmingham, The University of Michigan, USA
Using Genetic Algorithms to Solve the Tactical Fixed Interval Scheduling Problem / 28
Xiaomin Zhong and Eugene Santos Jr., University of Connecticut, USA
Artificial Intelligence in Instructional Software
Reasoning from Data Rather than Theory / 34
Joseph E. Beck and Beverly P. Wolf, University of Massachusetts, USA
Actively Supporting Collaboration in Virtual Learning Environments / 40
Adrian Gordon and Lynne Hall, University of Northumbria at Newcastle, UK
What Is Wrong with this Equation? Error Detection and Feedback with Physics Equations / 45
C. W. Liew, Lafayette College, USA; Joel A. Shapiro and D. E. Smith, Rutgers University, USA
Supporting Intelligent Tutoring in CALL by Modeling the User’s Grammar / 50
Lisa N. Michaud and Kathleen F. McCoy, University of Delaware, USA
An Ontology as Domain Model in a Web-Based Educational System for Prolog / 55
Christoph Peylo, Wilfried Teiken, Claus Rollinger, and Helmar Gust, University of Osnabrück, Germany
Turn Planning in CIRCSIM-Tutor / 60
Feng-Jen Yang, Jung Hee Kim, Michael Glass, and Martha Evens, Illinois Institute of Technology, USA
Classification
Overriding the Experts: A Stacking Method for Combining Marginal Classifiers / 66
Mark D. Happel and Peter Bock, The George Washington University, USA
A Boosting-Based Prototype Weighting and Selection Scheme / 71
Richard Nock and Marc Sebban, Université des Antilles-Guyane, France
Neural Network Based Classification Using Blur Degradation and Affine Deformation Invariant Features / 76
Yani Zhang, Changyun Wen, and Ying Zhang, Nanyang Technological University, Singapore
Data Mining
Discovering Structural Patterns in Telecommunications Data / 82
Andi Baritchi, Diane J. Cook, and Lawrence B. Holder, University of Texas at Arlington, USA
Structural Knowledge Discovery Used to Analyze Earthquake Activity / 86
Jesus A. Gonzalez, Lawrence B. Holder, and Diane J. Cook, University of Texas at Arlington, USA
Graph-Based Hierarchical Conceptual Clustering / 91
Istvan Jonyer, Lawrence B. Holder, and Diane J. Cook, University of Texas at Arlington, USA
Genetic Algorithms
A Fuzzy Algorithm for the Efficient Utilization of Information in Decision Trees / 97
Keeley A. Crockett and Zuhair Bandar, The Manchester Metropolitan University, UK; Akeel Al-Attar, Attar Software Limited, UK
Partitioning Sets with Genetic Algorithms / 102
William A. Greene, University of New Orleans, USA
Cache Diversity in Genetic Algorithm Design / 107
Eunice E. Santos, Lehigh University, USA; Eugene Santos Jr., University of Connecticut, USA
Information Retrieval
The Degradation of Knowledge Base Integrity / 113
John Debenham, University of Technology, Australia
Fundamental Properties of the Core Matching Functions for Information Retrieval / 118
D. W. Song and K. F. Wong, The Chinese University of Hong Kong, Hong Kong; P. D. Bruza, University of Queensland, Australia; C. H. Cheng, The Chinese University of Hong Kong, Hong Kong
Intelligent Agents
A Multiagent Architecture to Support Distance Learning Personalization on the Web / 124
J. G. Boticario and E. Gaudioso, Universidad Nacional de Educación a Distancia, Spain
A Coherent Teamwork Model in a Dynamic Environment / 128
M. Goyal and N. Parameswaran, The University of New South Wales, Australia
Resolving Conflicts Among Actions in Concurrent Behaviors: Learning to Coordinate / 133
Henry Hexmoor, University of North Dakota, USA
Domain Semantics for Agent-Oriented Programming / 137
Roger Norton and Rebecca Thomas, Marist College, USA
Using Learning in a Control Agent / 144
James J. Pomykalski, James Madison University, USA
Use of Data Mining on Satellite Data Bases for Knowledge Extraction / 149
Lance Self, Air Force Research Laboratory, USA
Knowledge Management
Developing an Advanced Environment for Collaborative Computing / 154
Irma Becerra-Fernandez, Florida International University, USA; Helen Stewart, NASA Ames Research Center, USA; Martha Del Alto and Chris Knight, Caelum Research Corporation, USA
Defining and Monitoring Knowledge Integrity / 159
Fatma Mili, Krish Narayanan and Vamsi Atluri, Oakland University, USA
The Effect of Organizational Culture on the Implementation of Knowledge Management / 166
Francis D. Tuggle and Nancy Shaw, American University, USA
Active Case-Based Reasoning for Lessons Delivery System / 170
Rosina Weber, University of Wyoming and Naval Research Laboratory, USA; David W. Aha, Naval Research Laboratory, USA; L. Karl Branting, University of Wyoming, USA; J. Robert Lucas, USACOM Joint Warfighting Center, USA; Irma-Becerra Fernandez, Florida International University, USA
Knowledge Representation
HyperADD: An Incremental and Hybrid Approach for Knowledge Acquisition on Active Design Documents / 176
Sandro Coimbra Assis, Xerox do Brasil; Flávio Miguel Varejão, Universidade Federal do Espírito Santo, Brasil; Ana Cristina Garcia, Universidade Federal Fluminense, Brasil
Producing Modular Hybrid Rule Bases for Expert Systems / 181
Ioannis Hatzilygeroudis and Jim Prentzas, University of Patras and Computer Technology Institute, Greece
Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain Knowledge / 186
Gregory Johnson Jr. and Eugene Santos Jr., University of Connecticut, USA
Machine Learning
Real-Time Learning when Concepts Shift / 192
Jeffrey Coble and Diane J. Cook, The University of Texas at Arlington, USA
An Algebraic Approach to Inductive Learning / 197
Zdravko Markov, Central Connecticut State University, USA
Natural Language Processing
Using a Reactive Planner as the Basis for a Dialogue Agent / 203
Reva Freedman, University of Pittsburgh, USA
A Parallel Approach to Modeling Language Learning and Understanding in Young Children / 209
Charles Hannon and Diane J. Cook, University of Texas at Arlington, USA
Mining Textual Answers with Knowledge-Based Indicators / 214
Sanda M. Harabagiu and Marius Pasca, Southern Methodist University, USA
An Iterative Approach to Word Sense Disambiguation / 219
Rada Mihalcea and Dan I. Moldovan, Southern Methodist University, USA
Domain-Specific Knowledge Acquisition and Classification Using WordNet / 224
Dan Moldovan and Roxana Girju, Southern Methodist University, USA
Neural Networks
Fast Text Compression with Neural Networks / 230
Matthew V. Mahoney, Florida Institute of Technology, USA
Comparing Performance of Neural Networks Applied to a Simplified Recognition Problem / 235
Marcin Paprzycki, Rick Niess, Jason Thomas, Lenny Scardino, and William Douglas, University of Southern Mississippi, USA
Systematic Treatment of Failures Using Multilayer Perceptrons / 240
Fadzilah Siraj, Northern University of Malaysia, Malaysia; and Derek Partridge, University of Exeter, England
Spacecraft Autonomy
Case Studies of Autonomy / 246
Henry Hexmoor, University of North Dakota, USA
Comparison of Multiple Agent-Based Organizations for Satellite Constellations (TechSat21) / 250
Thomas Schetter and Mark Campbell, University of Washington, USA; Derek Surka, Princeton Satellite Systems, USA
Ground-Based Control of a Satellite Cluster / 260
Ross Wainwright, Air Force Research Laboratory, USA
Spatiotemporal Reasoning
Erosion Modeling in a Raster-Based GIS with Fuzzy Logic / 266
Hans W. Guesgen, Jochen Albrecht and Stefi Grundner, University of Auckland, New Zealand
Deriving Summaries Through an Identity-Based Approach / 271
Kathleen Hornsby, University of Maine, USA
Learning to Transfer Knowledge between Reference Systems / 276
Maria do Carmo Nicoletti and Jane Brennan, The University of New South Wales, Australia
Uncertain Reasoning
Top-Down Construction and Repetitive Structures Representation in Bayesian Networks / 282
Olav Bangsø, Aalborg University, Denmark; Pierre-Henri Wuillemin, Université Paris 6, France
Latin Hypercube Sampling in Bayesian Networks / 287
Jian Cheng and Marek J. Druzdzel, University of Pittsburgh, USA
Distributed Multi-Agent MSBN: Implementing Verification / 293
Hongyu Geng and Yang Xiang, University of Regina, Canada
Inferencing Bayesian Networks from Time Series Data Using Natural Selection / 298
Andrew J. Novobilski and Farhad A. Kamangar, University of Texas at Arlington, USA
Zooming in on Trade-Offs in Qualitative Probabilistic Networks / 303
Silja Renooij and Linda C. van der Gaag, Utrecht University, The Netherlands; Shaw Green, Queen Mary and Westfield College, University of London, UK; Simon Parsons, University of Liverpool, UK
Independence Semantics for BKBs / 308
Solomon Eyal Shimony, Ben Gurion University, Israel; Eugene Santos Jr., University of Connecticut, USA; Tzachi Rosen, Ben Gurion University, Israel
A Deterministic Algorithm for Solving Imprecise Decision Problems / 313
Håkan L. Younes, Carnegie Mellon University, USA; Love Ekenberg, Mid Sweden University, Sweden
Verification, Validation, and System Certification
Formal Concepts of Learning Systems Validation in Use / 319
Volker Dötsch, Leipzig University, Germany; Gunter Grieser, Darmstadt University of Technology, Germany; Klaus P. Jantke, German Research Center for Artificial Intelligence Ltd., Germany; Steffen Lange, Leipzig University, Germany
TIC -- A Toolkit for Validation in Formal Language Learning / 325
Volker Dötsch, Leipzig University, Germany; and Klaus P. Jantke, German Research Center for Artificial Intelligence Ltd., Germany
Towards Validation of Rule-Based Systems - The Loop is Closed / 331
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
The Use of Formal Methods for Trusted Digital Signature Devices / 336
Bruno Langenstein and Roland Vogt, German Research Center for Artificial Intelligence Ltd., Germany; Markus Ullmann, German Information Security Agency, Germany
A Case Study in the Mechanical Verification of Fault Tolerance / 341
Heiko Mantel, German Research Center for Artificial Intelligence Ltd., Germany; and Felix C. Gärtner, Darmstadt University of Technology, Germany
Verification of Cooperating Systems -- An Approach Based on Formal Languages / 346
Peter Ochsenschläger, Jürgen Repp and Roland Rieke, German National Research Center for Information Technology, Germany
Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification / 351
Uwe Petermann, University of Applied Sciences Leipzig, Germany
Modeling, Specification and Verification of an Emergency Closing System / 356
Werner Stephan, Georg Rock and Michael Brodski, German Research Center for Artificial Intelligence Ltd., Germany
Validation Method for Intelligent Systems / 361
Setuo Tsuruta, Hitachi Ltd., Japan; Takashi Onoyama, Sen Kubota and Kazuko Oyanagi, Hitachi Software Engineering Co., Ltd., Japan
Tutorial
Formal Software Development in the Verification Support Environment (VSE) / 367
Dieter Hutter, Georg Rock, Jorg H. Siekmann, Werner Stephan, and Roland Vogt, German Research Center for Artificial Intelligence, Germany
Index / 377