Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference

Edited by Ingrid Russell and Susan Haller

St. Augustine, Florida, May 12-14, 2003. 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!

Preface / xiii
Ingrid Russell and Susan Haller

Florida AI Research Society Officers and FLAIRS-03 Committees / xiv

Invited Talks / xxiii

Agents

Growing Agents--An Investigation of Architectural Mechanisms for the Specification of "Developing" Agent Architectures / 2
Virgil Andronache and Matthias Scheutz

Advantages of Brahms for Specifying and Implementing a Multiagent Human-Robotic Exploration System / 7
William J. Clancey, Maarten Sierhuis, Charis Kaskiris, and Ron van Hoof

LIDS: Learning Intrusion Detection System / 12
M. Dass, J. Cannady, and W. D. Potter

Cost-Based Policy Mapping for Imitation / 17
Srichandan V. Gudla and Manfred Huber

GLUE--A Component Connecting Schema-based Reactive to Higher-level Deliberative Layers for Autonomous Agents / 22
James Kramer and Matthias Scheutz

Norm Adaptation and Revision in a Multi-Agent System / 27
Nick Lacey and Henry Hexmoor

Evaluating Human-Consistent Behavior in a Real-time First-person Entertainment-based Artificial Environment / 32
G. Michael Youngblood and Lawrence B. Holder

AI Architectures

Active LeZi: An Incremental Parsing Algorithm for Sequential Prediction / 28
Karthik Gopalratnam and Diane J. Cook

Improving the Performance of Action Prediction through Identification of Abstract Tasks / 43
Sira Panduranga Rao and Diane J. Cook

Design and Implementation of Anatomic Pathology Database System / 48
Changwoo Yoon, James K. Massey, William H. Donnelly, and Douglas D. Dankel II

AI in Aerospace

Human-Centered Design in Synthetic Teammates for Aviation: The Challenge for Artificial Intelligence / 54
Shawn M. Doherty

Automated Data Fusion and Situation Assessment in Space Systems / 57
Mark L. Hanson and Paul G. Gonsalves

Agent-based Spectral Analysis Automation (SAA) for On-board Science Data Processing / 62
Walt Truszkowski and Sidney Bailin

AI in Medicine

Machine Learning Models for Classification of Lung Cancer and Selection of Genomic Markers Using Array Gene Expression Data / 67
C.F. Aliferis, I. Tsamardinos, P. P. Massion, A. Statnikov, N. Fananapazir, and D. Hardin

Using Bayesian Networks for Cleansing Trauma Data / 72
Prashant J. Doshi, Lloyd G. Greenwald, and John R. Clarke

Multilayer Perceptrons for Time Series Prediction: A Case Study on Heart Signals / 77
Rajai El Dajani, Maryvonne Miquel, and Paul Rubel

ADEMA : A System to Help Physicians in the Asthma Health Care / 82
Icham Sefion, Abdel Ennaji, and Marc Gailhardou

Some AI Considerations in the Mathematical Modeling of Large Biological Pathways / 87
Frank Tobin and Igor Goryanin

Gene Expression Classification: Decision Trees vs. SVMs / 92
Xiaojing Yuan, Xiaohui Yuan, Fan Yang, Jing Peng, and Bill P. Buckles

Automated Reasoning

Incremental Breakout Algorithm with Variable Ordering / 98
Carlos Eisenberg and Boi Faltings

Inference Fusion: A Hybrid Approach to Taxonomic Reasoning / 103
Bo Hu, Inés Arana, and Ernesto Compatangelo

Proving Harder Theorems by Axiom Reduction / 108
Geoff Sutcliffe and Alexander Dvorsky

Case-Based Reasoning

Lessons Learned using CBR for Customer Support / 114
William Cheetham

Alternate Strategies for Retrieval in State-Spaces / 119
Boris Kerkez and Michael T. Cox

Using Statistical Word Associations for the Retrieval of Strongly-Textual Cases / 124
Luc Lamontagne, Philippe Langlais, and Guy Lapalme

Dispatching Cases versus Merging Case-Bases: When MCBR Matters / 129
David B. Leake and Raja Sooriamurthi

Case-Based Argumentation via Process Models / 134
J. William Murdock, David W. Aha, and Leonard A. Breslow

Preserving Recommender Accuracy and Diversity in Sparse Datasets / 139
Derry O' Sullivan, David Wilson, and Barry Smyth

Efficient Retrieval for Case-Based Reasoning / 144
David Patterson, Niall Rooney, and Mykola Galushka

Hybrid Deletion Policies for Case Base Maintenance / 150
Maria Salamó and Elisabet Golobardes

A Case-Based Adaptation Model for Thyroid Cancer Diagnosis Using Neural Networks / 155
Abdel-Badeeh M. Salem and Bassant M. El Bagoury

Computing with Emotions in Multiagent Systems

Toward Empathetic Agents in Tutoring Systems / 161
Jessica Faivre, Roger Nkambou, and Claude Frasson

Using Mental Simulator for Emotional Rehabilitation of Autistic Patients / 166
Boris Galitsky

Constraint Solving and Programming

Correctness of Constraint Retraction Algorithms / 172
Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis, and Alexandre Tessier

Meta-S: A Strategy-Oriented Meta-Solver Framework / 177
Stephan Frank, Petra Hofstedt, and Pierre R. Mai

Language, Definition and Optimal Computation of CSP Approximations / 182
Arnaud Lallouet, Thi Bich Hanh Dao, and Abdel Ali Ed-Dbali

On the Computation of Local Interchangeability in Soft Constraint Satisfaction Problems / 187
Nicoleta Neagu, Stefano Bistarelli, and Boi Faltings

k-relevant Explanations for Constraint Programming / 192
Samir Ouis, Narendra Jussien, and Patrice Boizumault

A Graph Based Synthesis Algorithm for Solving CSPs / 197
Wanlin Pang and Scott D. Goodwin

Soft CLP (FD) / 202
Hana Rudová

Evaluation of Intelligent Systems

A Proposed Model for Effective Verification of Natural Language Generation Systems / 208
Valerie Barr

The Rule Retranslation Problem and the Validation Interface / 213
Hans-Werner Kelbassa and Rainer Knauf

Selection of Optimal Rule Refinements / 218
Hans-Werner Kelbassa

Utilizing Validation Experience for System Validation / 223
Rainer Knauf, Avelino J. Gonzalez, and Setsuo Tsuruta

Logical Identities Applied to Knowledge Discovery in Databases / 266
James Buckley, Jennifer Seitzer, Yongzhi Zhang, and Yi Pan

Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study / 271
Artur S. d'Avila Garcez, Luis C. Lamb, Krysia Broda, and Dov M. Gabbay

Intelligent Protocol Adaptation for Enhanced Medical e-Collaboration / 276
George Ghinea, George D. Magoulas, and Andrew O. Frank

Hybrid Intelligence for Driver Assistance / 281
Chung Hee Hwang, Noel Massey, Bradford W. Miller, and Kari Torkkola

A Hybrid Classification Method for Database Contents Analysis / 286
Jean-Charles Lamirel, Yannick Toussaint, and Shadi Al Shehabi

Integrating Emotion and Cognition in Formal Models

An Action Selection Architecture for an Emotional Agent / 293
Gertjan J. Burghouts, Dirk Heylen, Mannes Poel, Rieks op den Akker, and Anton Nijholt

Towards Motivation-based Plan Evaluation / 298
Alexandra M. Coddington and Michael Luck

Integrating Emotion and Rationality in Behavioral Models of Decision Making / 303
Horacio Arló Costa

Knowledge Acquisition

An Improved Algorithm for Mining Association Rules Using Multiple Support Values / 309
Ioannis N. Kouris, Christos H. Makris, and Athanasios K. Tsakalidis

Identifying Inhabitants of an Intelligent Environment Using a Graph-Based Data Mining System / 314
Ritesh Mehta, Diane J. Cook, and Lawrence B. Holder

Structural Web Search Engine / 319
Arash Rakhshan, Lawrence B. Holder, and Diane J. Cook

Knowledge-Based Knowledge Management

Topic Extraction and Extension to Support Concept Mapping / 325
David B. Leake, Ana Maguitman, and Thomas Reichherzer

Discovering Non-Standard Semantics of Semi-Stable Attributes / 330
Angelina A. Tzacheva and Zbigniew W. Ras

Machine Learning

Improving the Representation Space through Exception-Based Learning / 336
Cristina Boicu, Gheorghe Tecuci, Mihai Boicu, and Dorin Marcu

The Indifferent Naive Bayes Classifier / 341
Jesús Cerquides and Ramon López de Màntaras

Subgoal Discovery for Hierarchical Reinforcement Learning Using Learned Policies / 346
Sandeep Goel and Manfred Huber

MDL-Based Context-Free Graph Grammar Induction / 351
Istvan Jonyer, Lawrence B. Holder, and Diane J. Cook

Optimizing F-Measure with Support Vector Machines / 356
David R. Musicant, Vipin Kumar, and Aysel Ozgur

Learning from Reinforcement and Advice Using Composite Reward Functions / 361
Vinay N. Papudesi and Manfred Huber

Association Mining in Gradually Changing Domains / 366
Antonin Rozsypal and Miroslav Kubat

A Comparison of Standard and Interval Association Rules / 371
Choh Man Teng

Algorithms for Large Scale Markov Blanket Discovery / 376
Ioannis Tsamardinos, Constantin F. Aliferis, and Alexander Statnikov

Natural Language Processing

Minimal Text Structuring to Improve the Generation of Feedback in Intelligent Tutoring Systems / 382
Susan Haller and Barbara Di Eugenio

Multi-Document Summaries Based on Semantic Redundancy / 387
Sanda M. Harabagiu, V. Finley Lacatusu, and Steven J. Maiorano

Keyword Extraction from a Single Document using Word Co-occurrence Statistical Information / 392
Yutaka Matsuo and Mitsuru Ishizuka

Open Domain Information Extraction via Automatic Semantic Labeling / 397
Alessandro Moschitti, Paul Morarescu, and Sanda M. Harabagiu

Orthographic Case Restoration Using Supervised Learning Without Manual Annotation / 402
Cheng Niu, Wei Li, Jihong Ding, and Rohini K. Srihari

Sentence Extraction by Spreading Activation with Refined Similarity Measure / 407
Naoaki Okazaki, Yutaka Matsuo, Naohiro Matsumura, and Mitsuru Ishizuka

Bayesian Classification of Triage Diagnoses for the Early Detection of Epidemics / 412
Robert T. Olszewski

Object Determination Logic Quantification--A System for Natural Language Processing / 417
Anca Pascu and François-Gilles Carpentier

The Right Threshold Value: What Is the Right Threshold of Cosine MeasureWhen Using Latent Semantic Analysis for Evaluating Student Answers? / 422
Phanni Penumatsa, Matthew Ventura, Brent A. Olde, Donald R. Franceschetti, Arthur C. Graesser, and the Tutoring Research Group

A Vector Space Equalization Scheme for a Concept-based Collaborative Information Retrieval System / 427
Takashi Yukawa, Sen Yoshida, and Kazuhiro Kuwabara

Neural Network Applications

Experimental Comparisons of Semi-Supervised and Supervised ART Classifiers (Invited Talk) / 433
Michael Georgiopoulos, Georgios C. Anagnostopoulos, and Madan Bharadwaj

Learning Opening Strategy in the Game of Go / 434
Timothy Huang, Graeme Connell, and Bryan McQuade

On Proper Handling of Multi-collinear Inputs and Errors-in-Variables with Explicit and Implicit Neural Models / 439
Seppo J. Karrila and Neil R. Euliano

Classification of Natural Language Sentences using Neural Networks / 444
Sergio Roa and Fernando Nino

Spatiotemporal Reasoning

Indeterminacy and Rough Approximation / 450
Thomas Bittner

Optimal Approach for Temporal Patterns Discovery / 455
Khellaf Bouandas and Aomar Osmani

On the Computational Complexity of Spatio-Temporal Logics / 460
David Gabelaia, Roman Kontchakov, Agi Kurucz, Frank Wolter, and Michael Zakharyaschev

When Regions Start to Move / 465
Hans W. Guesgen

Spatially-Aware Information Retrieval with Graph-Based Qualitative Reference Models / 470
Thomas Vögele and Christoph Schlieder

Low Level Fusion of Imagery Based on Dempster-Shafer Theory / 475
Xiaohui Yuan, Jian Zhang, Xiaojing Yuan, and Bill P. Buckles