Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference
Edited by Geoff Sutcliffe and Randy Goebel
Melbourne Beach, Florida. May 11–13, 2006. 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 / xvi
Geoff Sutcliffe and Randy Goebel
Florida AI Research Society Officers / xvii
General Conference Program Committee / xviii
Geoff Sutcliffe and Randy Goebel
Invited Speakers
On Repairing Reasoning Reversals via Representational Refinements / 3
Alan Bundy, Fiona McNeill, and Chris Walton
AI for Autonomy in Space Exploration: Current Capabilities and Future Challenges / 13
Robert Morris
Mining the Web to Determine Similarity Between Words, Objects, and Communities / 14
Mehran Sahami
Personalizing Web Search: Communities and Collaboration / 20
Barry Smyth
General Conference
Foundations
Incremental Propagation of Time Windows on Disjunctive Resources / 25
Roman Barták
A Logic Programming Approach to Querying and Integrating P2P Deductive Databases / 31
Luciano Caroprese, Sergio Greco, and Ester Zumpano
Reasoning about Knowledge and Continuity / 37
Bernhard Heinemann
The Information Flow Foundation for Fusing Inferences / 43
Bo Hu
Automated Generation of Interesting Theorems / 49
Yury Puzis, Yi Gao, and Geoff Sutcliffe
Demystify the Messages in the Hugin Architecture for
Probabilistic Inference and Its Application / 55
Dan Wu and Karen Jin
Architectures
Context-based Term Disambiguation in Biomedical Literature / 62
Ping Chen and Hisham Al-Mubaid
Using Self-Organization in an Agent Framework to
Model Criminal Activity in Response to Police Patrol Routes / 68
Vasco Furtado, Adriano Melo, Ronaldo Menezes, and Mairon Belchior
Gloss Overlap Extensions for a Semantic Network Algorithm:
Building a Better Semantic Distance Measure / 74
Thimal Jayasooriya and Suresh Manandhar
Adaptive, Confidence-Based Strategic Negotiations
in Complex Multiagent Environments / 80
Xin Li and Leen-Kiat Soh
CATS: A Synchronous Approach to Collaborative Group Recommendation / 86
Kevin McCarthy, Maria Salamó, Lorraine Coyle, Lorraine McGinty, Barry Smyth, and Paddy Nixon
Referring-Expression Generation Using a Transformation-Based Learning Approach / 92
Jill Nickerson, Stuart Shieber, and Barbara Grosz
Coalition Formation Meets Information Theory / 98
Victor Palmer and Thomas Ioerger
Full Restart Speeds Learning / 104
Smiljana Petrovic and Susan Epstein
Dependency-based Textual Entailment / 110
Vasile Rus
Efficient Bids on Task Allocation for Multi-Robot Exploration / 116
Sanem Sariel and Tucker Balch
Resolving Noun Compounds with Multi-Use Domain Knowledge / 122
Alicia Tribble and Scott E. Fahlman
Fuzzy Model Optimization Using Genetic Algorithm for Aircraft Engine Diagnosis / 128
LiJie Yu, Daniel J. Cleary, Mark D. Osborn, and Vrinda Rajiv
Applications and Implications
Combining Visualization and Feedback for Eyewear Recommendation / 135
John Doody, Edwin Costello, Lorraine McGinty, and Barry Smyth
Incorporating Simplex Method into Guided Complete Search: An Application to the Nurse Rostering Problem / 141
Spencer K. L. Fung, Jimmy H. M. Lee, and Ho-fung Leung
Measuring Long-Term Ontology Quality: A Case Study From the Automotive Industry / 147
Nestor Rychtyckyj
Automated Population of Cyc: Extracting Information about Named-entities from the Web / 153
Purvesh Shah, David Schneider, Cynthia Matuszek, Robert C. Kahlert, Bjørn Aldag, David Baxter, John Cabral, Michael Witbrock, and Jon Curtis
Learning Personalized Query Modifications / 159
Erika E. Torres-Verdín and Manfred Huber
Towards an Ontology-Driven Approach for the Interoperability Problem in Security Compliance / 165
Alfred Ka Yiu Wong, Nandan Paramesh, and Pradeep Ray
Posters
3D Facial Expression Recognition for the Enhancement of Human-Computer Interaction / 172
Chao Li and Armando Barreto
Cognitive Simulation in Virtual Patients / 174
Sergei Nirenburg, Marjorie McShane, Stephen Beale, Thomas O'Hara,
Bruce Jarrell, George Fantry, and John Raczek
Smart Environment for Smarter Agents in E-Markets / 176
Eric Platon
A Multi-Agent Architecture for a Dynamic Supply Chain Management / 178
José Alberto, R. P. Sardinha, Marco S. Molinaro, Patrick M. Paranhos,
Pedro M. Cunha, Ruy L. Milidiú, and Carlos J. P. de Lucena
Adaptive Learning in Machine Summarization / 180
Zhuli Xie, Barbara Di Eugenio, and Peter C. Nelson
Intelligent Browsing Assistance for Corporate Knowledge Portals / 182
Markus Zanker, Sergiu Gordea, and Marius Silaghi
Special Tracks
Artificial Intelligence Education
Focusing AI Students' Attention: A Framework-Based Approach
to Guiding Impasse-Driven Learning / 186
Steven Bogaerts and David Leake
AiboConnect: A Simple Programming Environment for Robotics / 192
Eric Chown, Greydon Foil, Henry Work, and Yi Zhuang
Designing an AI Elective to Encourage Undergraduate Research / 198
Zachary Dodds
An Empirical Exploration of Hidden Markov Models:
From Spelling Recognition to Speech Recognition / 203
Shieu-Hong Lin
Sorting the Sortable from the Unsortable / 209
Tracey Baldwin McGrail and Robert W. McGrail
Clue Deduction: Professor Plum Teaches Logic / 214
Todd W. Neller, Zdravko Markov, and Ingrid Russell
Artificial Intelligence in Music and Art
MediaFlies — An Interactive Flocking Based Tool for the Remixing of Media / 221
Daniel Bisig and Tatsuo Unemi
Incremental Parsing for Real-Time Accompaniment Systems / 227
Giordano Cabral, Jean-Pierre Briot, and François Pachet
An Idiomatic Plucked String Player / 231
Leandro Lesqueves Costalonga, Eduardo R. Miranda, John Matthias, and Rosa M. Vicari
Celerina — A Generative Music System Using Aesthetical Reduction Applied to Simple Cellular Automata / 237
John Flury and Daniel Bisig
Genetic Hierarchical Music Structures / 243
Charles Fox
Developing Aesthetic Computer Generated Drawings through Artificial Evolution / 248
Kevin Moynihan
Melody Track Identification in Music Symbolic Files / 254
David Rizo, Pedro J. Ponce de León, Antonio Pertusa, Carlos Pérez-Sancho, and José M. Iñesta
Poster
Automated “Wow” Generation In Musical Composition / 260
Darrell L. Mann and Chris Bradshaw
Automatic Annotation by Categories for Text Information Extraction
Semantic Annotation of Reported Information in Arabic / 263
Motasem Alrahabi, Amr Helmy Ibrahim, and Jean-Pierre Desclés
Annotation of the Complex Terms in Multilingual Corpora / 269
Ismaïl Biskri, Boubakar Hamrouni, and Nicole Munyana
Creating RSS for News Archives and Beyond / 275
Sandip Debnath
Contextual Exploration Processing for Discourse and Automatic Annotations of Texts / 281
Jean-Pierre Desclés
EXCOM: An Automatic Annotation Engine for Semantic Information / 285
Brahim Djioua, Jorge Garcia-Flores, Antoine Blais, Jean-Pierre Desclés, Gaelle Guibert,
Agata Jackiewicz, Florence Le Priol, Leila Nait-Baha, and Benoît Sauzay
Epistemic Categorization for Analysis of Customer Complaints / 291
Boris Galitsky and Anca Pascu
Constrained Lexical Attraction Models / 297
Radu Ion and Verginica Barbu Mititelu
Natural Language Annotations for Question Answering / 303
Boris Katz, Gary Borchardt, and Sue Felshin
Automatic Annotation of Localization and Identification Relations in Platform EXCOM / 307
Florence Le Priol, Antoine Blais, Jean-Pierre Desclés, Brahim Djioua, Jorge Garcia-Flores, Gaëll Guibert, Agata Jackiewicz, Leila Nait-Baha, and Benoît Sauzay
Automatic Annotation in Text for Bibliometrics Use / 313
Bertin Marc, Jean-Pierre Desclés, Brahim Djioua, and Krushkov Yordan
Computer-Aided Language Processing / 319
Ruslan Mitkov
Corpus Based Unsupervised Labeling of Documents / 321
Delip Rao, Deepak P, and Deepak Khemani
Constructing a Corpus-based Ontology Using Model Bias / 327
Anna Rumshisky, Patrick Hanks, Catherine Havasi, and James Pustejovsky
Annotating and Recognizing Event Modality in Text / 333
Roser Saurí, Marc Verhagen, and James Pustejovsky
Case-Based Reasoning
A Comparison of Ensemble and Case-Base Maintenance Techniques
for Handling Concept Drift in Spam Filtering / 340
Sarah Jane Delany, Pádraig Cunningham, and Alexey Tsymbal
Robot Navigation Using Integrated Retrieval of Behaviors and Routes / 346
Susan Eileen Fox and Peter Anderson-Sprecher
Automatic Personalization of the Human Computer Interaction Using Temperaments / 352
Héctor Gómez-Gauchía, Belén Díaz-Agudo, and Pedro A. González-Calero
Dialog Learning in Conversational CBR / 358
Mingyang Gu and Agnar Aamodt
Improving Case-Based Recommendations Using Implicit Feedback / 364
Deepak Khemani, Mohamed A. K. Sadiq, Rakesh Bangani, and Delip Rao
LARC: Learning to Assign Knowledge Roles to Textual Cases / 370
Eni Mustafaraj, Martin Hoof, and Bernd Freisleben
Reducing the Case Acquisition and Maintenance Bottleneck
with User-Feedback-Driven Case Base Maintenance / 376
Markus Nick
Emotional Intelligence
Predicting Learners’ Emotional Response in Intelligent Distance Learning Systems / 383
Soumaya Chaffar and Claude Frasson
Managing Student Emotions in Intelligent Tutoring Systems / 389
Roger Nkambou
Stress Recognition Using Non-invasive Technology / 395
Jing Zhai and Armando Barreto
Evaluation and Refinement of Intelligent Systems
Introspective Subgroup Analysis for Interactive Knowledge Refinement / 402
Martin Atzmueller, Joachim Baumeister, and Frank Puppe
Conservative and Creative Strategies for the Refinement of Scoring Rules / 408
Joachim Baumeister, Martin Atzmueller, Peter Kluegl, and Frank Puppe
A Case-Based Approach to Explore Validation Experience / 414
Rainer Knauf and Setsuo Tsuruta
Formal Verification of Cognitive Models / 420
Andrea Macklem and Fatma Mili
Prolog-Based Analysis of Tabular Rule-Based Systems with XTT Approach / 426
Grzegorz J. Nalepa and Antoni Ligeza
Explicating Semantic Relations in Non-Monotonic
Theories to Facilitate Validation Analysis / 432
Neli P. Zlatareva
Evolutionary Optimization
Which Dynamic Constraint Problems Can Be Solved By Ants? / 439
Koenraad Mertens, Tom Holvoet, and Yolande Berbers
Evolving Keys for Periodic Polyalphabetic Ciphers / 445
Ralph Morelli and Ralph Walde
Genetic Programming: Analysis of Optimal Mutation Rates in a Problem with Varying Difficulty / 451
Alan Piszcz and Terence Soule
Tabu Search for a Car Sequencing Problem / 457
Nicolas Zufferey, Martin Studer, and Edward A. Silver
Poster
An Artificial Neural Network for a Tank Targeting System / 463
Hans W. Guesgen and Xiao Dong Shi
Intelligent Distributed Sensor Networks
Agile Sensor Networks: Adaptive Coverage via Mobile Nodes / 466
Swapna Ghanekar, Fatma Mili, and Imad Elhajj
Design, Implementation and Performance Analysis of Pervasive Surveillance Networks / 472
Amit Goradia, Zhiwei Cen, Clayton Haffner, Ning Xi, and Matt Mutka
Developing Active Sensor Networks with Micro Mobile Robots: Distributed Node Localization / 478
Weihua Sheng and Girma Tewolde
A Cognitive Approach for Gateway Relocation in Wireless Sensor Networks / 484
Waleed Youssef and Mohamed Younis
Intelligent Tutoring Systems
Evaluation of the q-matrix Method in Understanding Student Logic Proofs / 491
Tiffany Barnes
Developing an Authoring System for Cognitive Models
within Commercial-Quality ITSs / 497
Stephen Blessing, Stephen Gilbert, and Steven Ritter
Toward a Computational Model of Expert Tutoring: A First Report / 503
Barbara Di Eugenio, Trina C. Kershaw, Xin Lu, Andrew Corrigan-Halpern, and Stellan Ohlsson
Comparing Synthesized versus Pre-Recorded Tutor Speech in
an Intelligent Tutoring Spoken Dialogue System / 509
Katherine Forbes-Riley, Diane Litman, Scott Silliman, and Joel Tetreault
The ASSISTment Builder: Towards an Analysis of Cost Effectiveness of ITS Creation / 515
Neil T. Heffernan, Terrence E. Turner, Abraao L. N. Lourenco,
Michael A. Macasek, Goss Nuzzo-Jones, and Kenneth R. Koedigner
A Natural Language Tutorial Dialogue System for Physics / 521
Pamela W. Jordan, Maxim Makatchev, Umarani Pappuswamy, Kurt VanLehn, and Patricia Albacete
Using Enhanced Concept Map for Student Modeling in Programming Tutors / 527
Amruth N. Kumar
Cohesion and Learning in a Tutorial Spoken Dialog System / 533
Arthur Ward and Diane Litman
Posters
“Consciousness” as the Foundation for Diagnosis in a Human-Like Tutoring Agent / 539
Daniel Dubois, Roger Nkambou, and Patrick Hohmeyer
Verbalization Enhanced Tutoring / 541
Christel Kemke and Shamima Mithun
Machine Learning
Using Validation Sets to Avoid Overfitting in AdaBoost / 544
Tom Bylander and Lisa Tate
Analysis of Galactic Spectra using Noise-Aware Learning Algorithms / 550
H. Jair Escalante and Olac Fuentes
Improving Modularity in Genetic Programming Using Graph-Based Data Mining / 556
Istvan Jonyer and Akiko Himes
A Hybrid Generative/Discriminative Bayesian Classifier / 562
Changsung Kang and Jin Tian
Evaluating WordNet Features in Text Classification Models / 568
Trevor Mansuy and Robert Hilderman
Machine Learning for Imbalanced Datasets: Application in Medical Diagnostic / 574
Luis Mena and Jesus A. Gonzalez
Using Active Relocation to Aid Reinforcement Learning / 580
Lilyana Mihalkova and Raymond Mooney
Inexact Graph Matching: A Case of Study / 586
Ivan Olmos, Jesus A. Gonzalez, and Mauricio Osorio
Generating Realistic Large Bayesian Networks by Tiling / 592
Ioannis Tsamardinos, Alexander Statnikov, Laura E. Brown, and Constantin F. Aliferis
Using Web Searches on Important Words to Create Background Sets for LSI Classification / 598
Sarah Zelikovitz and Marina Kogan
Generalized Entropy for Splitting on Numerical Attributes in Decision Trees / 604
Mingyu Zhong, Michael Georgiopoulos, Georgios Anagnostopoulos, and M. Mollaghasemi
Poster
Automated Classification of Astronomical Objects in Multispectral Wide-Field Images / 610
Jorge de la Calleja and Olac Fuentes
Modeling the Real World through Contexts
Context's Modeling for Participative Simulation / 613
Romain Bénard, Cyril Bossard, and Pierre De Loor
Using Activity Theory to Model Context Awareness: A Qualitative Case Study / 619
Jörg Cassens and Anders Kofod-Petersen
Reasoning about Knowledge and Context-Awareness / 625
Michael Cebulla
A Cognitive Framework for Modeling Mental Space Construction
and Switching During Situation Assessment / 631
James L. Eilbert and James Hicinbothom
Supporting Systematic Usage of Context in Web Applications / 637
Joachim Wolfgang Kaltz and Jürgen Ziegler
Contextual Graphs for a Real-World Decision Support System / 643
Johann V. Nguyen, Brian C. Becker, and Avelino J. Gonzalez
Poster
Refining Human Behavior Models in a Context-based Architecture / 649
David Aihe and Avelino J. Gonzalez
Natural Language and Knowledge Representation
On the Application of the Cyc Ontology to Word Sense Disambiguation / 652
Jon Curtis, John Cabral, and David Baxter
An Intelligent Query Interface with Natural Language Support / 658
Paolo Dongilli and Enrico Franconi
Attempto Controlled English Meets the Challenges of
Knowledge Representation, Reasoning, Interoperability and User Interfaces / 664
Norbert E. Fuchs, Kaarel Kaljurand, and Gerold Schneider
Deverbal Nouns in Knowledge Representation / 670
Olga Gurevich, Richard Crouch, Tracy Holloway King, and Valeria De Paiva
One-Shot Procedure Learning from Instruction and Observation / 676
Hyuckchul Jung, James Allen, Nathanael Chambers, Lucian Galescu, Mary Swift, and William Taysom
Representation and Reasoning for Deeper Natural Language
Understanding in a Physics Tutoring System / 682
Maxim Makatchev, Kurt VanLehn, Pamela W. Jordan, and Umarani Pappuswamy
Language Games, Natural and Artificial / 688
John F. Sowa
Neural Networks
GFAM: Evolving Fuzzy ARTMAP Neural Networks / 694
Ahmad Al-Daraiseh, Michael Georgiopoulos, Annie S. Wu, G. Anagnostopoulos, and M. Mollaghasemi
Introducing GEMS — A Novel Technique for Ensemble Creation / 700
Ulf Johansson, Tuve Löfström, Rikard König, and Lars Niklasson
Fast Generation of a Sequence of Trained and Validated Feed-Forward Networks / 706
Pramod Lakshmi Narasimha, Walter Delashmit, Michael Manry, Jiang Li, and Francisco Maldonado
Spatio-Temporal Reasoning
Qualitative Spatial Reasoning with Topological Relations in the Situation Calculus / 713
Mehul Bhatt, Wenny Rahayu and Gerald Sterling
The Theory of Cognitive Prism-Recognizing Variable Spatial Environments / 719
Tiansi Dong
Simulated Visual Perception-Based Control for Autonomous Mobile Agents / 725
Daniel Flower, Burkhard Claus Wünsche, and Hans W. Guesgen
Topological Reasoning for Identifying a Complete Set of
Topological Predicates between Vague Spatial Objects / 731
Alejandro Pauly and Markus Schneider
Poster
On-line Qualitative Temporal Reasoning with Explanation / 737
Debasis Mitra and Florent M. Launay
Trends in Natural Language Processing
Multi-Dimensional Dependency Grammar as Multigraph Description / 740
Ralph Debusmann and Gert Smolka
Computer, Tell Me a Joke ... but Please Make it Funny:
Computational Humor with Ontological Semantics / 746
Christian F. Hempelmann, Victor Raskin, and Katrina E. Triezenberg
Sublanguage Analysis Applied to Trouble Tickets / 752
Elizabeth D. Liddy, Svetlana Symonenko, and Steven Rowe
Dialog Act Classification Using N-Gram Algorithms / 758
Max Louwerse and Scott Crossley
Analyzing Writing Styles with Coh-Metrix / 764
Philip M. McCarthy, Gwyneth A. Lewis, David F. Dufty, and Danielle S. McNamara
The Semantics of Backing Up (Or: What to do with Prepositions and Particles?) / 770
Marjorie McShane, Stephen Beale, and Sergei Nirenburg
User Modeling for Adaptive Question Answering and Information Retrieval / 776
Silvia Quarteroni and Suresh Manandhar
A Machine Learning Approach to Determine Semantic Dependency Structure in Chinese / 782
Jiajun Yan, David B. Bracewell, Fuji Ren, and Shingo Kuroiwa
Poster
Computer-Driven Persuasive Dialogue: A Multi-Layer Reasoning Framework / 787
Pierre Andrews, Suresh Manandhar and Marco De Boni
Syntax-based Concept Extraction for Question Answering Using SEMEX / 789
Demetrios G. Glinos and Fernando Gomez
Ontology-based Disambiguation of the Semantic Relation
between the Heads of two Noun Phrases / 791
Thomas Vestskov Terney and Tine Lassen
Uncertain Reasoning
A Note on Comparing Semantics for Conditionals / 794
Christoph Beierle and Gabriele Kern-Isberner
Agregating Quantitative Possibilistic Networks / 800
Salem Benferhat and Faiza Titouna
Sensitivity Analysis of Markovian Models / 806
Theodore Charitos and Linda C. van der Gaag
Methods for Constructing Balanced Elimination Trees and Other Recursive Decompositions / 812
Kevin Grant and Michael C. Horsch
Uncertainty Reasoning in Description Logics: A Generic Approach / 818
Volker Haarslev, Hsueh-Ieng Pai, and Nematollaah Shiri
Implementation of a Decision Theoretical Framework:
A Case Study of the Red River Delta in Vietnam / 824
Karin Hansson, Love Ekenberg, and Mats Danielson
Model Construction Algorithms for Object-Oriented Probabilistic Relational Models / 830
Catherine Howard and Markus Stumptner
Stochastic Deliberation Scheduling using GSMDPs / 836
Kurt D. Krebsbach
Focusing Strategies for Multiple Fault Diagnosis / 842
Tsai-Ching Lu and K. Wojtek Przytula
Some Second Order Effects on Interval Based Probabilities / 848
David Sundgren, Mats Danielson, and Love Ekenberg
Modeling Bayesian Networks for Autonomous Diagnosis of Web Services / 854
Haiqin Wang, Guijun Wang, Alice Chen, Changzhou Wang,
Casey K. Fung, Stephen A. Uczekaj, and Rodolfo A. Santiago
Decomposing Local Probability Distributions in Bayesian
Networks for Improved Inference and Parameter Learning / 860
Adam Zagorecki, Mark Voortman and Marek J. Druzdzel
Posters
Use of Dempster-Shafer Conflict Metric to Adapt Sensor Allocation to Unknown Environments / 866
Jennifer Carlson and Robin R. Murphy
A Hill-Climbing Approach for Planning with Temporal Uncertainty / 868
Janae N. Foss and Nilufer Onder
Index / 871