Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference

Edited by Valerie Barr and Zdravko Markov

Miami Beach, Florida, May 12-14, 2004. 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 / xvii
Valerie Barr and Zdravko Marko

Florida AI Research Society Officers and FLAIRS-04 Committees / xix

Invited Talks / xxiii

Agents

Sos: Accommodation on the Fly with ACCESS / 2
Donnacha Phelan, Robin Strahan, Rem Collier, Conor Muldoon, and Gregory M. P. O’Hare

Experience-Based Resource Description and Selection in Multiagent Information Retrieval / 8
Leen-Kiat Soh

Agent-based Players for a First-Person Entertainment-Based Real-Time Artificial Environment / 14
G. Michael Youngblood and Lawrence B. Holder

Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems / 20
Lingzhong Zhou, John Thornton, and Abdul Sattar

AI and Music (Special Track)

Music Life Cycle Support through Ontologies / 27
Stephan Baumann and Melanie Dulong de Rosnay

Recurrent Neural Networks and Pitch Representations for Music Tasks / 33
Judy A. Franklin

Composing Affective Music with a Generate and Sense Approach / 38
Sunjung Kim and Elisabeth André

Knowledge Engineering of Creative Musical Expressions Using Carnatic Music Ideology / 44
S. Ganesh Ram, C. T. Palaniappan, M. S. Ramakrishnan, and R. Devanathan

AI and the Web (Special Track)

Towards a Universal Web Wrapper / 49
Theodore W. Hong and Keith L. Clark

An Experimental Assessment of Direct Versus Interlingual Translation for Cross-Language Information Retrieval / 55
Michael Poprat, Udo Hahn, Joachim Wermter, Stefan Schulz, and Kornél Markó

Mining On-line Sources for Definition Knowledge / 61
Horacio Saggion and Robert Gaizauskas

Automatic Generation of Background Text to Aid Classification / 67
Sarah Zelikovitz and Robert Hafner

Intelligent Control of Closed-Loop Sedation in Simulated ICU Patients / 109
Brett L. Moore, Eric D. Sinzinger, Todd M. Quasny, and Larry D. Pyeatt

Mining Bayesian Networks to Forecast Adverse Outcomes Related to Acute Coronary Syndrome / 115
Andrew J. Novobilski, Francis M.Fesmire, and David Sonnemaker

AI Techniques in Multisensor Fusion (Special Track)

A Functional and Behavioral Knowledge-based Implementation for Intelligent Sensors/Actuators / 122
R. Dapoigny, P. Barlatier, L. Foulloy, and E. Benoit

A Surveillance System based on Multiple Mobile Sensors / 128
K. Madhava Krishna, Henry Hexmoor, Subbarao Pasupuleti, and Srinivas Chellapa

Real-Time Sensor Fusion Framework for Distributed Intelligent Sensors / 134
Xiaojing Yuan, Xiangshang Li, and Xiaohui Yuan

Automated Reasoning

Adapting LSI for Fine-Grained and Multi-Level Document Comparison / 141
Nicholas Adelman and Marin Simina

A Tool for Satisfiability-Based Commonsense Reasoning in the Event Calculus / 147
Erik T. Mueller

Case-Based Reasoning (Special Track)

Case-Based Approaches for Diagnosing Multiple Disorders / 154
Martin Atzmueller, Joachim Baumeister, Frank Puppe, Wenqi Shi, and John A. Barnden

Satisfying Varying Retrieval Requirements in Case-Based Intelligent Directory Assistance / 160
Vivek Balaraman and Sutanu Chakraborti

Mixed-Initiative Case Replay / 166
Michael T. Cox

Towards Acquiring Case Indexing Taxonomies From Text / 172
Kalyan Moy Gupta and David W. Aha

Advancements and Trends in Medical Case-Based Reasoning: An Overview of Systems and System Development / 178
Markus Nilsson and Mikael Sollenborn

In-Depth Analysis of Similarity Knowledge and Metric Contributions to Recommender Performance / 184
Derry O’Sullivan, Barry Smyth, and David C. Wilson

An Effective Indexing and Retrieval Approach for Temporal Cases / 190
David Patterson, Mykola Galushka, and Niall Rooney

Cautious Cooperative Learning with Distributed Case-Based Reasoning / 196
Leen-Kiat Soh

Case-Agents: A Novel Architecture for Case-Based Agents / 202
Ian Watson

Identifying Critical Factors in Case-Based Prediction / 207
Rosina Weber, William Evanco, Michael Waller, and June Verner

Case-Based Reasoning in Support of Intelligence Analysis / 213
Elizabeth T. Whitaker and Robert L. Simpson, Jr.

Cognitive Modeling

A Computational Psycholinguistic Model of Natural Language Processing / 220
Jerry T. Ball

Modeling Selective Perception of Complex, Natural Scenes / 226
Roxanne L. Canosa

VENUS: A System for Novelty Detection in Video Streams with Learning / 232
Roger S. Gaborski, Vishal S. Vaingankar, Vineet S. Chaoji, and Ankur M. Teredesai

Computing with Emotions in Multiagent Systems (Special Track)

Justification of Customer Complaints Using Emotional States and Mental Actions / 239
Boris Galitsky and Irina Tumarkina

Unifying Emotion and Cognition: The Flow Model Approach / 245
Luís Morgado and Graça Gaspar

Emotionally Intelligent Tutoring Systems (EITS) / 251
Magalie Ochs and Claude Frasson

Constraint Solving and Programming (Special Track)

A New Algorithm for Singleton Arc Consistency / 257
Roman Barták and Radek Erben

VISEXP: Visualizing Constraint Solver Dynamics Using Explanations / 263
Mohammad Ghoniem, Narendra Jussien, and Jean-Daniel Fekete

Using Analytic CLP to Model and Analyze Hybrid Systems / 269
Timothy J. Hickey and David K. Wittenberg

Intermediate Consistencies by Delaying Expensive Propagators / 275
Andreï Legtchenko, Arnaud Lallouet, and AbdelAli Ed-Dbali

A Local Search/Constraint Propagation Hybrid for a Network Routing Problem / 281
Jonathan Lever

A New Approach for Heterogeneous Hybridization of Constraint Satisfaction Search Algorithms / 287
Debasis Mitra and Hyoung-rae Kim

Constraint Processing with Reactive Agents / 293
Georg Ringwelski and Richard J. Wallace

Data Mining

Structure Discovery from Sequential Data / 300
Jeffrey Coble, Diane J. Cook, Lawrence B. Holder, and Runu Rathi

Learning States and Rules for Time Series Anomaly Detection / 306
Stan Salvador, Philip Chan, and John Brodie

Clustering Spatial Data in the Presence of Obstacles / 312
Xin Wang and Howard J. Hamilton

Evaluation and Refinement of Intelligent Systems (Special Track)

Using Automated Tests and Restructuring Methods for an Agile Development of Diagnostic Knowledge Systems / 319
Joachim Baumeister, Dietmar Seipel, and Frank Puppe

Interactive Refinement of a Knowledge Base / 325
R. Djelouah, B. Duval, and S. Loiseau

Analysis of Rule Refinement Conflicts / 331
Hans-Werner Kelbassa

The Power of Experience: On the Usefulness of Validation Knowledge / 337
Rainer Knauf, Setsuo Tsuruta, Kenichi Uehara, Takashi Onoyama, and Torsten Kurbad

A Step out of the Ivory Tower: Experiences with Adapting a Test Case Generation Idea to Business Rules / 343
Rainer Knauf, Silvie Spreeuwenberg, Rik Gerrits, and Martin Jendreck

Testing the Integrity of Nonmonotonic Knowledge Bases Containing Semi-Normal Defaults / 349
Neli P. Zlatareva

Expert Systems

SECLIPS: A Structured English Interface for an Expert System Shell / 356
Frank Hadlock

A Rule-Based Semiautomated Approach to Building Natural Language Question Answering (NLQA) Systems / 361
Kaushik Krishnasamy, Brian P. Butz, and Michael Duarte

Genetic Algorithms

MultiDE: A Simple, Powerful Differential Evolution Algorithm for Finding Multiple Global Optima / 368
Zachary V. Hendershot and Frank W. Moore

Indirect Encoding Evolutionary Learning Algorithm for the Multilayer Morphological Perceptron / 374
Jorge L. Ortiz and Roberto C. Piñeiro

Multimodal Function Optimization Using Local Ruggedness Information / 380
Jian Zhang, Xiaohui Yuan, and Bill P. Buckles

Integrated Intelligent Systems (Special Track)

Strategies for Fuzzy Inference within Classifier Systems / 387
Keeley A. Crockett, Zuhair Bandar, and David Mclean

A Hybrid Approach to Pattern Classification Using Neural Networks and Defeasible Argumentation / 393
Sergio Alejandro Gómez and Carlos Iván Chesñevar

Personalization Using Hybrid Data Mining Approaches in E-Business Applications / 399
Olena Parkhomenko, Chintan Patel, and Yugyung Lee

An Active Architecture for Managing Events in Pervasive Computing Environments / 405
Edwin Wong, Lisa Burnell, and Charles Hannon

Intelligent Agent Systems (Special Track)

Finding Partners to Form Information Sharing Networks in Open Multi-Agent Systems / 412
K. Suzanne Barber and Jisun Park

Combining Global and Local Ontology Handling in a Multiagent System / 418
Ramon F. Brena and Hector G. Ceballos

Aperiodic Dynamics and the Self-Organization of Cognitive Maps in Autonomous Agents / 424
Derek Harter and Robert Kozma

Reasoning about Beliefs, Observability, and Information Exchange in Teamwork / 430
Thomas R. Ioerger

Proactive Utilization of Proximity-Oriented Information Inside an Agent-based Framework / 436
Vincenzo Loia, Witold Pedrycz, Sabrina Senatore, and Maria I. Sessa

A New Filtering Model Towards an Intelligent Guide Agent / 442
Mohammed Abdel Razek, Claude Frasson, and Marc Kaltenbach

Intelligent Tutoring

A Dialogue-Based Tutoring System for Beginning Programming / 449
H. Chad Lane and Kurt VanLehn

Inferring the Context for Evaluating Physics Algebraic Equations When the Scaffolding Is Removed / 455
C. W. Liew, Joel A. Shapiro, and D. E. Smith

PIModel: A Pragmatic ITS Model Based on Instructional Automata Theory / 460
Jinxin Si, Xiaoli Yue, Cungen Cao, and Yuefei Sui

Knowledge Acquisition

Combining Methods for Word Sense Disambiguation of WordNet Glosses / 467
Adrian Novischi

Characterizing Quality of Knowledge on Semantic Web / 472
Kaustubh Supekar, Chintan Patel, and Yugyung Lee

Logic and Categorization in AI (Special Track)

The Analysis of the Relative, Completive and Indirect Interrogative Subordinate Constructions in French by Means of the Applicative and Combinatory Categorial Grammar / 479
Ismaïl Biskri and Claude Begin

Categorization Versus Logic in Category Conjunction: Towards a Model of Overextension / 485
Fintan J. Costello

Typicality, Contextual Inferences and Object Determination Logic / 491
Michael Freund, Jean-Pierre Desclés, Anca Pascu, and Jérôme Cardot

Use of Default Reasoning for Disambiguation under Question Answering / 496
Boris Galitsky

About Norms and Causes / 502
Daniel Kayser and Farid Nouioua

Machine Learning (Special Track)

State Space Reduction for Hierarchical Reinforcement Learning / 509
Mehran Asadi and Manfred Huber

Decision Tree Extraction from Trained Neural Networks / 515
Darren Dancey, David McLean, and Zuhair Bandar

Blind Data Classification Using Hyper-Dimensional Convex Polytopes / 520
Brent T. McBride and Gilbert L. Peterson

Formation of Probabilistic Concepts through Observations Containing Discrete and Continuous Attributes / 526
Ricardo Batista Rebouças and João José Vasco Furtado

Random Subspacing for Regression Ensembles / 532
Niall Rooney, David Patterson, Alexey Tsymbal, and Sarab Anand

Case-Based Bayesian Network Classifiers / 538
Eugene Santos, Jr. and Ahmed Hussein

Context Free Grammar for the Generation of a One Time Authentication Identity / 544
Abhishek Singh and Andre L. M. dos Santos

A Faster Algorithm for Generalized Multiple-Instance Learning / 550
Qingping Tao and Stephen D. Scott

Transductive LSI for Short Text Classification Problems / 556
Sarah Zelikovitz

The Optimality of Naive Bayes / 562
Harry Zhang

Semisupervised Sequence Classification with HMMs / 568
Shi Zhong

Modeling the Real World through Contexts (Special Track)

Context-Based Awareness in Group Work / 575
P. Brézillon, M. R. S. Borges, J. A. Pino, and J.-Ch. Pomerol

Context-Based Representation of the Task/Method Paradigm / 581
Patrick Brézillon and Emilie Marquois

Automatic Creation of Contextual Knowledge in Simulated Agents / 587
Hans K. Fernlund and Avelino J. Gonzalez

A Context-Based Approach of Security Policies / 594
Ghita Kouadri Mostéfaoui and Patrick Brézillon

Improved Situation Interpretation Metrics in Context-Based Reasoning Simulations / 599
Roberto C. Sanchez and Avelino J. Gonzalez

Context-Based Reasoning: A Revised Specification / 603
Brian S. Stensrud, Gilbert C. Barrett, Viet C. Trinh, and Avelino J. Gonzalez

Neural Network Applications (Special Track)

An Application of Neural Networks to Sequence Analysis and Genre Identification / 611
David Bisant

Simulating Biological Motion Perception Using a Recurrent Neural Network / 617
Roxanne L. Canosa

A Partitioned Fuzzy ARTMAP Implementation for Fast Processing of Large Databases on Sequential Machines / 623
José Castro, Michael Georgiopoulos, Ronald Demara, and Avelino Gonzalez

Rule Extraction from Dynamic Cell Structure Neural Networks Used in a Safety Critical Application / 629
Marjorie Darrah, Brian Taylor, and Spiro Skias

The Use of a Modified Backpropagation Neural Network for Random Access to Data Files on Secondary Storage / 635
Jim Etheredge

ABSURDIST II: A Graph Matching Algorithm and Its Application to Conceptual System Translation / 640
Ying Feng, Robert L. Goldstone, and Vladimir Menkov

An Evolutionary Neural Learning Algorithm for Offline Cursive Handwriting Words with Hamming Network Lexicon / 646
Moumita Ghosh, Ranadhri Ghosh, and John Yearwood

Backcalculation of Airport Flexible Pavement Nonlinear Moduli Using Artificial Neural Networks / 652
Kasthurirangan Gopalakrishnan and Marshall R. Thompson

The Truth Is in There—Rule Extraction from Opaque Models Using Genetic Programming / 658
Ulf Johansson, Rikard K&oulm;nig, and Lars Niklasson

Highway Vehicle Classification by Probabilistic Neural Networks / 664
Valerian Kwigizile, Majura Selekwa, and Renatus Mussa

A Method Based on RBF-DDA Neural Networks for Improving Novelty Detection in Time Series / 670
A. L. I. Oliveira, F. B. L. Neto, and S. R. L. Meira

Spatiotemporal Novelty Detection Using Resonance Networks / 676
Benjamin Rowland and Anthony S. Maida

Invariance of MLP Training to Input Feature Decorrelation / 682
Changhua Yu, Michael T. Manry, and Jiang Li

Hidden Layer Training via Hessian Matrix Information / 688
Changhua Yu, Michael T. Manry, and Jiang Li

Pattern Recognition/Classification

Adaptive K-Means Clustering / 695
Sanjiv K. Bhatia

Iterative Improvement of Neural Classifiers / 700
Jiang Li, Michael T. Manry, Li-Min Liu, Changhua Yu, and John Wei

Prototype Based Classifier Design with Pruning / 706
Jiang Li, Michael T. Manry, and Changhua Yu

Planning

Using Previous Experience for Learning Planning Control Knowledge / 713
Susana Fernández, Ricardo Aler, and Daniel Borrajo

Discovering Causal Chains by Integrating Plan Recognition and Sequential Pattern Mining / 719
Shreeram Sahasrabudhe and Héctor Muñoz-Avila

Robotics

Towards an Embodied and Situated AI / 726
Artur M. Arsenio

The Mobile Agents Integrated Field Test: Mars Desert Research Station, April 2003 / 732
William J. Clancey, Maarten Sierhuis, Rick Alena, Sekou Crawford, John Dowding, Jeff Graham, Charis Kaskiris, Kim S. Tyree, and Ron van Hoof

Developing Task Specific Sensing Strategies Using Reinforcement Learning / 738
Srividhya Rajendran and Manfred Huber

Online-learning and Attention-based Obstacle Avoidance Using a Range Finder / 744
Shuqing Zeng and Juyang Weng

Search

Combining Entropy Based Heuristics with Minimax Search and Temporal Differences to Play Hidden State Games / 751
Gregory J. Calbert and Hing-Wah Kwok

Pathological Dependency Cycles in State-Space Planning: When Control Rules Fail / 757
Kevin Cleereman and Michael T. Cox

Secure Multiparty Computations and Distributed Constraint Reasoning (Special Track)

CSAA: A Distributed Ant Algorithm Framework for Constraint Satisfaction / 764
Koenraad Mertens and Tom Holvoet

Using Privacy Loss to Guide Decisions During Distributed CSP Search / 770
Richard J. Wallace and Marius C. Silaghi

Concurrent Backtrack Search on DisCSPs / 776
Roie Zivan and Amnon Meisels

Spatio-Temporal Reasoning (Special Track)

Physical Approximations for Urban Fire Spread Simulations / 783
Daniel J. Bertinshaw and Hans W. Guesgen

A Theory for Convex Interval Relations Including Unbounded Intervals / 789
Diana R. Cukierman and James P. Delgrande

Splitting Ratios: Metric Details of Topological Line-Line Relations / 795
Konstantinos A. Nedas and Max J. Egenhofer

Reasoning on Spatial Constraints over Regions / 801
Kazuko Takahashi

Knowledge-Based Constraint Satisfaction for Spatial Reasoning / 807
Dan Tappan

Towards a Linguistically Motivated Ontology of Motion: Situation Based Synsets of Motion Verbs / 813
Zygmunt Vetulani

Speech Recognition and Understanding (Special Track)

A Method for Measuring Sentence Similarity and Its Application to Conversational Agents / 820
Yuhua Li, Zuhair Bandar, David McLean, and James O’Shea

Speaker Verification Using Speaker-Specific Prompts / 826
Yongxin Zhang, Adel Iskander Fahmy, and Michael S. Scordilis

Uncertain Reasoning (Special Track)

Product-based Causal Networks and Quantitative Possibilistic Bases / 832
Salem Benferhat, Faïza Khellaf, and Aïcha Mokhtari

Inducing Fuzzy Decision Trees in Nondeterministic Domains Using CHAID / 838
Jay Fowdar, Zuhair Bandar, and Keeley Crockett

Conditioning and Evidence / 844
Henry E. Kyburg, Jr.

Multi-Attribute Decision Tree Evaluation in Imprecise and Uncertain Domains / 850
Aron Larsson, Jim Johansson, Love Ekenberg, and Mats Danielson

(Dis)Belief Change and Feed-Back Loop / 856
Laurent Perrussel and Jean-Marc Thévenin

Computing Marginals with Hierarchical Acyclic Hypergraphs / 862
S. K. M. Wong and T. Lin

Local Propagation in Bayesian Networks Versus Semi-Join Program in Databases / 868
Dan Wu and Michael Wong

Package Planning with Graphical Models / 874
Y. Xiang and M. Janzen

An Empirical Study of Probability Elicitation under Noisy-OR Assumption / 880
Adam Zagorecki and Marek Druzdzel

User Modeling and HCI Approaches in Natural Language Generation (Special Track)

Natural Language Generation and Discourse Context: Computing Distractor Sets from the Focus Stack / 887
David DeVault, Charles Rich, and Candace L. Sidner

Being as Informative as the User Wants: The Generation of Information Enriched Utterances / 893
Stina Ericsson

Using HCI Experiments to Validate Intelligent Multimedia Cue Generation / 899
Nancy Green

Using Student Explanations as Models for Adapting Tutorial Dialogue / 905
Pamela W. Jordan

Exploiting Visual Salience for the Generation of Referring Expressions / 911
John Kelleher and Josef van Genabith

Generating Tailored, Comparative Descriptions in Spoken Dialogue / 917
Johanna D. Moore, Mary Ellen Foster, Oliver Lemon, and Michael White

Generating Tutorial Feedback with Affect / 923
Johanna D. Moore, Kaska Porayska-Pomsta, Sebastian Varges, and Claus Zinn

Building Hint Specifications in an NL Tutorial System for Mathematics / 929
Dimitra Tsovaltzi, Helmut Horacek, and Armin Fiedler