Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference

Edited by David Wilson and Geoff Sutcliffe

Key West, Florida. May 7–9, 2007. 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 / xv
David Wilson and Geoff Sutcliffe

Florida AI Research Society Officers / xvi

General Conference Program Committee / xvii

Special Track Committees / xx

Invited Speaker Papers

Finding Data, Knowledge, and Answers on the Semantic Web / 2
Tim Finin, Joel Sachs, and Cynthia Sims Parr

Playing with Cases: Tempo Transformations of Jazz Performances Using Case-Based Reasoning / 8
Ramon López de Mántaras, Maarten Grachten, and Josep-Lluís Arcos

Self-Driving Cars — An AI-Robotics Challenge / 12
Sebastian Thrun

Special Track Invited Speaker Papers

Ontologies, Semantic Maps, and Cognitive Scheme / 13
Jean-Pierre Desclés

IIS: A Marriage of Computational Linguistics, Psychology, and Educational Technologies / 15
Danielle S. McNamara

Annotation in Computer Assisted Reading and Analysis of Texts / 21
Jean-Guy Meunier

Artificial Intelligence for Adaptive Computer Games / 22
Ashwin Ram, Santiago Ontañón, and Manish Mehta

Foundations of Similarity and Utility / 30
Michael M. Richter

General Conference

Handling Qualitative Preferences Using Normal Form Functions / 38
Salem Benferhat, Daniel Le Berre, and Karima Sedki

Applying Heuristic Evaluation to Human-Robot Interaction Systems / 44
Edward Clarkson and Ronald C. Arkin

Intention Is Commitment with Expectation / 50
James Creel, Christopher Menzel, and Thomas Ioerger

Multi-Threaded BLAO* Algorithm / 56
Peng Dai and Judy Goldsmith

Structure Information in Decision Trees and Similar Formalisms / 62
Mats Danielson, Love Ekenberg, and David Sundgren

Compositional Belief Update / 68
James Delgrande, Francis Jeffry Pelletier, and Matthew Suderman

Learning Uncertain Rules with CONDORCKD / 74
Jens Fisseler, Gabriele Kern-Isberner, and Christoph Beierle

Abstracting Web Agent Proofs into Human-Level Justifications / 80
Vasco Furtado, Paulo Pinheiro da Silva, Deborah McGuinness, Priyendra Deshwal, Dhyanesh Narayanan, Juliana Carvalho, Vladia Pinheiro, and Cynthia Chang

OWA-Based Search in State Space Graphs with Multiple Cost Functions / 86
Lucie Galand and Olivier Spanjaard

Memory-Prediction Framework for Pattern Recognition:Performance and Suitability of the Bayesian Model of Visual Cortex / 92
Saulius Juozas Garalevicius

Efficient Caching in Elimination Trees / 98
Kevin Grant and Michael C. Horsch

Knowledge Transfer in Deep Convolutional Neural Nets / 104
Steven Gutstein, Olac Fuentes, and Eric Freudenthal

The Design and Implementation of a Successful General Game Playing Agent / 110
David M. Kaiser

System Diagnosability Analysis Using p-slop MAP / 116
Tsai-Ching Lu and K. Wojtek Przytula

Probabilistic Knowledge Processing and Remaining Uncertainty / 122
Elmar Reucher and Friedhelm Kulmann

Detection and Classification of Cardiac Murmurs Using Segmentation Techniques and Artificial Neural Networks / 128
Spencer L. Strunic, Fernando Rios-Gutierrez, Rocio Alba-Flores, Glenn Nordehn, and Stanley Burns

Maintaining Arc-Consistency over Mutex Relations in Planning Graphs during Search / 134
Pavel Surynek and Roman Barták

Autonomous Classification of Knowledge into an Ontology / 140
Matthew E. Taylor, Cynthia Matuszek, Bryan Klimt, and Michael Witbrock

Guiding Inference with Policy Search Reinforcement Learning / 146
Matthew E. Taylor, Cynthia Matuszek, Pace Reagan Smith, and Michael Witbrock

A Generic Memory Module for Events / 152
Dan G. Tecuci and Bruce W. Porter

Dynamic DDN Construction for Lightweight Planning Architectures / 158
William H. Turkett, Jr.

Lossless Decomposition of Bayesian Networks / 164
Dan Wu

A Decision Theoretic View on Choosing Heuristics for Discovery of Graphical Models / 170
Yang Xiang

Posters

Rating the Naturalness of Ontology Taxonomies / 176
Yoo Jung An, Kuo-chuan Huang, and James Geller

Prioritized Reasoning in Logic Programming / 178
Luciano Caroprese, Irina Trubitsyna, and Ester Zumpano

UCFTAC: A Control Based Supply Chain Management Trading Agent / 180
Ghaith Haddad, Brent Horine, and Ladislau Bölöni

Search Ordering Heuristics for Restarts-Based Constraint Solving / 182
Margarita Razgon, Barry O’Sullivan, and Gregory M. Provan

A Morphological Neural Network Approach to Information Retrieval / 184
Christian Roberson and Douglas D. Dankel II

Performance Analysis of Evolutionary Search with a Dynamic Restart Policy / 186
Michael Solano and Istvan Jonyer

Competitive Neural Network Training: A Multi-Resolution Approach / 188
Dan E. Tamir

Using Plans to Automate Software Applications / 190
Jon R. Wright

Special Track: Applied Natural Language Processing

Learning Paraphrases from WNS Corpora / 193
Joäo Cordeiro, Gaël Dias, and Pavel Brazdil

A Robust Spoken Language Architecture to Control a 2D Game / 199
Andrea Corradini, Thomas Hanneforth, and Adrian Bak

Discriminating between Second Language Learning Text-Types / 205
Scott A. Crossley, Philip M. McCarthy, and Danielle S. McNamara

Investigations in Unsupervised Back-of-the-Book Indexing / 211
András Csomai and Rada Mihalcea

Using Phrasal Verbs as an Index to Distinguish Text Genres / 217
Kyle B. Dempsey, Philip M. McCarthy, and Danielle S. McNamara

Transliteration of Named Entity: Bengali and English as Case Study / 223
Asif Ekbal and Sivaji Bandyopadhyay

An Approach to Email Categorization with the ME Model / 229
Peifeng Li, Jinhui Li, and Qiaoming Zhu

Cohesion and Structural Organization in High School Texts / 235
Erin J. Lightman, Philip M. McCarthy, David F. Dufty, and Danielle S. McNamara

Combining Machine Learning with Linguistic Heuristics for Chinese Word Segmentation / 241
Xiaofei Lu

Assessing Entailer with a Corpus of Natural Language from an Intelligent Tutoring System / 247
Philip M. McCarthy, Vasile Rus, Scott A. Crossley, Sarah C. Bigham, Arthur C. Graesser, and Danielle S. McNamara

Annotation of Children’s Oral Narrations: Modeling Emergent Narrative Skills for Computational Applications / 253
Rebecca J. Passonneau, Adam Goodkind, and Elena T. Levy

Posters

Deriving Chronological Information from Texts through a Graph-Based Algorithm / 259
Cosmin Adrian Bejan

Lexicon Development and POS Tagging Using a Tagged Bengali News Corpus / 261
Asif Ekbal and Sivaji Bandyopadhyay

Using Language as an Accessibility Tool: A System for Natural Language Interaction with Graphs over the Web / 263
Leo Ferres, Petro Verkhogliad, and Gitte Lindgaard

Towards Handling General Purpose Topics for a Conversational Character / 265
Manish Mehta and Andrea Corradini

Towards a Lexicon-Grammar of Polish: Extraction of Verbo-Nominal Collocations from Corpora / 267
Zygmunt Vetulani, Tomasz Obrebski, and Grazyna Vetulani

A Machine Learning Approach to Personal Pronoun Resolution in Turkish / 269
Sava Yildirim and Yilmaz Kiliçaslan

Special Track: Artificial Intelligence and Social Semantic Collaboration

Accessing XML Documents Using Semantic Meta Data in a P2P Environment / 272
Dominic Battré, Felix Heine, André Höing, and Giovanni Cortese

Knowledge Management in a Wiki Platform via Microformats / 278
Sergiu Dumitriu, Marta Gîrdea, and Sabin Buraga

Explaining Task Processing in Cognitive Assistants that Learn / 284
Deborah L. McGuinness, Alyssa Glass, Michael Wolverton, and Paulo Pinheiro da Silva

Extending Community Ontology Using Automatically Generated Suggestions / 290
Vit Novácek, Maciej Dabrowski, Sebastian Ryszard Kruk, and Siegfried Handschuh

Discourse Automatic Annotation of Texts: An Application to Summarization / 350
Antoine Blais, Iana Atanassova, Jean-Pierre Desclés, Mimi Zhang, and Leila Zighem

Indexing Documents by Discourse and Semantic Contents from Automatic Annotations of Texts / 356
Brahim Djioua and Jean-Pierre Desclés

Machine Learning Approach for the Automatic Annotation of the Events / 362
Aymen Elkhlifi and Rim Faiz

A Linguistically-Based Segmentation of Complex Sentences / 368
Vladislav Kubon, Markéta Lopatková, Martin Plátek, and Patrice Pognan

Automatic Annotation of Discourse and Semantic Relations Supplemented by Terminology Extraction for Domain Ontology Building and Information Retrieval / 374
Florence Le Priol, Brahim Djioua, and Daniela Garcia

Document Semantic Annotation for Intelligent Tutoring Systems: A Concept Mapping Approach / 380
Amal Zouaq, Roger Nkambou, and Claude Frasson

Special Track: Case-Based Reasoning

Interpretive Reasoning with Hypothetical Cases / 387
Kevin D. Ashley

Case-Based Recommendation of Node Ordering in Planning / 393
Tomás de la Rosa, Angel García Olaya, and Daniel Borrajo

Case-Based Collective Classification / 399
Luke K. McDowell, Kalyan Moy Gupta, and David W. Aha

An Argumentation Based Approach to Multi-Agent Learning / 405
Santiago Ontañón and Enric Plaza

A Case Elaboration Methodology for a Diagnostic and Repair Help System Based on CBR / 411
Ivana Rasovska, Brigitte Chebel-Morello, and Noureddine Zerhouni

Investigating the Effectiveness of Applying Case-Based Reasoning to the Game of Texas Hold’em / 417
Jonathan Rubin and Ian Watson

Enhanced Case-Based Reasoning through Use of Argumentation and Numerical Taxonomy / 423
Luis A. L. Silva, Bernard F. Buxton, and John A. Campbell

Adaptation of Hierarchical Task Network Plans / 429
Ian Warfield, Chad Hogg, Stephen Lee-Urban, and Héctor Muñoz-Avila

The Evolution and Evaluation of an Internet Search Tool for Information Analysts / 435
Elizabeth T. Whitaker and Robert L. Simpson, Jr.

Posters

Instance-Based Spam Filtering Using SVM Nearest Neighbor Classifier / 441
Enrico Blanzieri and Anton Bryl

Probabilistic Task Content Modeling for Episodic Textual Narratives / 443
Eni Mustafaraj, Martin Hoof, and Bernd Freisleben

Generating Reports from Case-Based Knowledge Artifacts / 445
Rosina O. Weber, Sidath Gunawardena, and Jason M. Proctor

Special Track: Context in AI Tools and Applications

Using Contexts to Prove and Share Situations / 448
Patrick Barlatier and Richard Dapoigny

Embedding Emotional Context in Recommender Systems / 454
Gustavo González, Josep Lluís de la Rosa, and Miquel Montaner

Contextual Concept Discovery Algorithm / 460
Lobna Karoui, Marie-Aude Aufaure, and Nacera Bennacer

Managing Dynamic Contexts Using Failure-Driven Stochastic Models / 466
Nikita A. Sakhanenko, George F. Luger, and Carl R. Stern

Identifying Hidden Variables from Context-Specific Independencies / 472
Manon J. Sanscartier and Eric Neufeld

Special Track: Data Mining

Improving Cluster Method Quality by Validity Indices / 479
Narjes Hachani and Habib Ounalli

Mining Sequences in Distributed Sensors Data for Energy Production / 484
Mehmed Kantardzic and John Gant

Low-Effort Labeling of Network Events for Intrusion Detection in WLANs / 490
Taghi M. Khoshgoftaar, Chris Seiffert, and Naeem Seliya

Inference of Edge Replacement Graph Grammars / 496
Jacek P. Kukluk, Lawrence B. Holder, and Diane J. Cook

Clustering and Approximate Identification of Frequent Item Sets / 502
Selim Mimaroglu and Dan A. Simovici

Posters

Attribute-Oriented Knowledge Discovery in Rough Relational Databases / 507
Theresa Beaubouef and Frederick E. Petry

An Extended Neural Gas Model for Efficient Data Mining Tasks / 509
Jean-Charles Lamirel and Shadi Al Shehabi

Special Track: Design, Evaluation, and Refinement of Intelligent Systems

Semantic Relations: Modelling Issues, Proposals and Possible Applications / 512
Francisco Jose Álvarez, Antonio Vaquero, Fernando Sáenz, Manuel de Buenaga, and José María Gómez

Pattern-Constrained Test Case Generation / 518
Martin Atzmueller, Joachim Baumeister, and Frank Puppe

Towards the Verification of Ontologies with Rules / 524
Joachim Baumeister, Thomas Kleemann, and Dietmar Seipel

Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems / 530
Antoni Ligeza and Grzegorz J. Nalepa

Business Rules Design and Refinement Using the XTT Approach / 536
Grzegorz J. Nalepa

A Proposal of Hybrid Knowledge Engineering and Refinement Approach / 542
Grzegorz J. Nalepa and Igor Wojnicki

Posters

The Reflexive System Inference Engine: A Tool to Use Metaknowledge / 548
Yann Barloy and Jean-Marc Nigro

Compiling Experience into Knowledge / 550
Rainer Knauf

Special Track: Games and Entertainment

Probabilistic Interactive Installations / 553
Constance G. Baltera, Sara B. Smith, and Judy A. Franklin

Security in Online Games — Case Study: Second Life / 559
Anja Beyer

Adapting Psychologically Grounded Facial Emotional Expressions to Different Anthropomorphic Embodiment Platforms / 565
Marco Paleari, Amandine Grizard, and Christine Lisetti

Towards Player Preference Modeling for Drama Management in Interactive Stories / 571
Manu Sharma, Santiago Ontañón, Christina Strong, Manish Mehta, and Ashwin Ram

Poster

Game State versus Play State: From DVDi Games to a Language of Gaming Experience / 577
Gunther Kreuzberger

Special Track: Machine Learning

Enhancing the Performance of Semi-Supervised Classification Algorithms with Bridging / 580
Jason Chan, Josiah Poon, and Irena Koprinska

A Generalizing Spatial Representation for Robot Navigation with Reinforcement Learning / 586
Lutz Frommberger

Learning to Identify Global Bottlenecks in Constraint Satisfaction Search / 592
Diarmuid Grimes and Richard J. Wallace

Instance-Based Classifiers Dealing with Ambiguous Attributes and Class Labels / 598
Hans Holland, Miroslav Kubat, and Jan Zizka

Naive Bayes and Decision Trees for Function Tagging / 604
Mihai Lintean and Vasile Rus

Disjunctive Bottom Set and Its Computation / 610
Wenjin Lu and Ross King

Random Subsets Support Learning a Mixture of Heuristics / 616
Smiljana Petrovic and Susan L. Epstein

Pursuing the Best ECOC Dimension for Multiclass Problems / 622
Edgar Pimenta, João Gama, and André Carvalho

Context-Sensitive MTL Networks for Machine Lifelong Learning / 628
Daniel L. Silver and Ryan Poirier

Posters

A Distance-Based Over-Sampling Method for Learning from Imbalanced Data Sets / 634
Jorge de la Calleja and Olac Fuentes

A Multidimensional Scaling Approach to Indexing by Metric Adaptation and Representation Upgrade / 636
Rodrigo Ventura and Carlos Pinto-Ferreira

Automated Search for the Quantitative Laws Affecting CO2 Fugacity in Sea Water / 638
Kasun Wickramaratna, Miroslav Kubat, and Peter Minnett

Special Track: Spatio-Temporal Knowledge Representation and Reasoning

Temporal Networks with Alternatives: Complexity and Model / 641
Roman Barták and Ondrej Cepek

Fuzzy Temporal Relations for Fault Management / 647
Hanna Bauerdick and Björn Gottfried

A Model for Qualitative Spatial Reasoning Combining Topology, Orientation and Distance / 653
David Brageul and Hans W. Guesgen

Some Spatial and Spatio-Temporal Operators Derived from the Topological View of Knowledge / 659
Bernhard Heinemann

Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables / 665
Stefan Wölfl, Till Mossakowski, and Lutz Schröder

Posters

The Optimisation of Unitising Designs / 671
Andrew Shewring and Hans W. Guesgen

Qualitative Spatial Reasoning for Rule Compliant Agent Navigation / 673
Diedrich Wolter, Frank Dylla, Lutz Frommberger, Jan Oliver Wallgrün, Bernhard Nebel, and Stefan Wölfl