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!
Contents
Preface / xv
David Wilson and Geoff Sutcliffe
Florida AI Research Society Officers / xvi
General Conference Program Committee / xvii
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
Special Track: Artificial Intelligence Education
Introductory AI for Both Computer Science and Neuroscience Students / 297
Susan Eileen Fox
BlockTree — Pedagogical Information Visualization for Heuristic Search / 303
David Furcy, Andrew Jungwirth, and Thomas Naps
Teaching NL to FOL and FOL to CF Conversions / 309
Ioannis Hatzilygeroudis
Exploiting MindStorms NXT: Mapping and Localization Projects for the AI Course / 315
Myles McNally, Frank Klassner, and Christopher Continanza
Robotran: A Programming Environment for Novices Using LEGO Mindstorms Robots / 321
R. Mark Meyer and Debra T. Burhans
Teaching Artificial Intelligence across the Computer Science Curriculum Using Sudoku as a Problem Domain / 327
Jeffrey O. Pfaffmann and William J. Collins
Posters
Robotics in the Classroom: Providing Robotics Equipment to Support Intelligent Systems Curricula / 333
Ben A. Juliano and Renee S. Renner
TICK: A Content Management System Framework for Semantic Web Research and Instruction / 335
Robert W. McGrail and S. Rebecca Thomas
Special Track: Automatic Annotation and Information Retrieval
Verbal Polysemy in Automatic Annotation / 338
Maryvonne Abraham
The Operational Annotation and the Analysis of the Correlative Coordination in French / 344
Ismaïl Biskri and Marc André Rochette
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
Index / 675
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.