Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference

Edited by David Wilson and H. Chad Lane

Coconut Grove, Florida. May 15–17, 2008. 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

Florida AI Research Society Officers / xiii

Conference Committees / xv

Invited Speakers

An AI Model of Creativity / 2
Bruce G. Buchanan

Privacy-Enhanced Personalization / 10
Alfred Kobsa

Humanoid Agents as Hosts, Advisors, Companions, and Jesters / 11
Candace L. Sidner

Special Track Invited Speakers

Some Thoughts on Using Computers to Teach Argumentation / 17
Kevin D. Ashley

Towards a Bridge between Cognitive Linguistics and Formal Ontology / 18
Jean-Pierre Desclés

Provenance and Case-Based Reasoning / 20
David Leake

Belief Update Using Graphs / 21
Florian Stadlbauer

General Conference

Papers

Learning in the Lexical-Grammatical Interface / 23
Tom Armstrong and Tim Oates

Non-Rigid Image Registration / 29
Rhoda Baggs and Dan E. Tamir

A Backward Adjusting Strategy and Optimization of the C4.5 Parameters to Improve C4.5's Performance / 35
Jason R. Beck, Maria Garcia, Mingyu Zhong, Michael Georgiopoulos, and G. C. Anagnostopoulos

State Space Compression with Predictive Representations / 41
Abdeslam Boularias, Masoumeh Izadi, and Brahim Chaib-draa

Unsupervised Approach for Selecting Sentences in Query-based Summarization / 47
Yllias Chali and Shafiq R. Joty

One-Pass Learning Algorithm for Fast Recovery of Bayesian Network / 53
Shunkai Fu, Michel C. Desmarais, and Fan Li

The Utility of Knowledge Transfer for Noisy Data / 59
Steven Gutstein, Olac Fuentes, and Eric Freudenthal

Modelling Uniformity and Control during Knowledge Acquisition / 65
Bernhard Heinemann

On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization / 71
Federico Heras, Vasco Manquinho, and Joao Marques-Silva

Conditional and Composite Constraints with Preferences / 77
Malek Mouhoub and Amrudee Sukpan

Small Models of Large Machines / 83
Pramod Lakshmi Narasimha, Sanjeev S. Malalur, and Michael T. Manry

Genetic Approach for Optimizing Ensembles of Classifiers / 89
Francisco Javier Ordóñez, Agapito Ledezma, and Araceli Sanchis

Contrast Pattern Mining with Gap Constraints for Peptide Folding Prediction / 95
Chinar C. Shah, Xingquan Zhu, Taghi M. Khoshgoftaar, and Justin Beyer

Utilizing Content to Enhance a Usage-Based Method for Web Recommendation Based on Q-Learning / 101
Nima Taghipour

Posters

Causal Reasoning with Contexts Using Dependent Types / 107
Richard Dapoigny and Patrick Barlatier

A Causal Bayesian Network View of Reinforcement Learning / 109
Charles Fox, Neil Girdhar, and Kevin Gurney

Using Contexts to Supervise a Collaborative Process / 111
Avelino J. Gonzalez, Setsuo Tsuruta, Johann Nguyen, Yoshitaka Sakurai, Kouhei Takada, and Ken Uchida

Temporal Representation and Reasoning for the Semantic Web / 113
Sebastian Hübner and Ubbo Visser

More or Less Elaborate / 115
Peter Kühnlein

The Introspective Robot: Using Self-Prediction to Improve Robot Learning / 117
James B. Marshall, Neil K. Makhija, and Zachary D. Rothman

Towards a Generic Infrastructure to Adjust the Autonomy of Soar Agents / 119
Scott A. Wallace and Matthew Henry

Fuzzy Clustering Paradigm and the Shape-Based Image Retrieval / 121
Nan Xing and Imran Shafiq Ahmad

Special Tracks

Applied Natural Language Processing

Unsupervised Discovery of Event Scenarios from Texts / 124
Cosmin Adrian Bejan

On Using SVM and Kolmogorov Complexity for Spam Filtering / 130
Sihem Belabbes and Gilles Richard

Using Latent Semantic Analysis to Explore Second Language Lexical Development / 136
Scott A. Crossley, Thomas Salsbury, Philip McCarthy, and Danielle S. McNamara

Incorporating Latent Semantic Indexing into Spectral Graph Transducer for Text Classification / 142
Xinyu Dai, Baoming Tian, Junsheng Zhou, and Jiajun Chen

Unsupervised Learning of General-Specific Noun Relations from the Web / 147
Gaël Dias, Raycho Mukelov, and Guillaume Cleuziou

Automatic Measurement of Syntactic Complexity Using the Revised Developmental Level Scale / 153
Xiaofei Lu

Learning a Probabilistic Model of Event Sequences from Internet Weblog Stories / 159
Mehdi Manshadi, Reid Swanson, and Andrew S. Gordon

Assessing Forward-, Reverse-, and Average-Entailer Indices on Natural Language Input from the Intelligent Tutoring System, iSTART / 165
Philip M. McCarthy, Vasile Rus, Scott A. Crossley, Arthur C. Graesser, and Danielle S. McNamara

A Semantic Method for Textual Entailment / 171
Andrew Neel, Max Garzon, and Vasile Rus

CANDEL: An Algorithm for Same-Sentence Pronominal Resolution / 177
Cristina Nicolae and Gabriel Nicolae

Automatic Question Pattern Generation for Ontology-based Question Answering / 183
Shiyan Ou, Constantin Orasan, Dalila Mekhaldi, and Laura Hasler

A Semantic Parser for Neuro-Degenerative Disease Knowledge Discovery / 189
I. Burak Ozyurt

Analyzing Dialog Coherence Using Transition Patterns in Lexical and Semantic Features / 195
Amruta Purandare and Diane Litman

Paraphrase Identification with Lexico-Syntactic Graph Subsumption / 201
Vasile Rus, Philip M. McCarthy, Mihai C. Lintean, Danielle S. McNamara, and Arthur C. Graesser

Gender Differences across Correlated Corpora: Preliminary Results / 207
Roberta E. Sabin, Kerri A. Goodwin, Jade Goldstein-Stewart, and Joseph A. Pereira

A Semantic Feature for Verbal Predicate and Semantic Role Labeling Using SVMs / 213
Hansen A. Schwartz, Fernando Gomez, and Christopher Millward

QueSTS: A Query Specific Text Summarization System / 219
M. Sravanthi, C. Ravindranath Chowdary, and P. Sreenivasa Kumar

Data Mining

Semantic Analysis of Association Rules / 270
Ping Chen, Rakesh Verma, Janet C. Meininger, and Wenyaw Chan

Selecting Minority Examples from Misclassified Data for Over-Sampling / 276
Jorge de la Calleja, Olac Fuentes, and Jesús González

Extending Nearest Neighbor Classification with Spheres of Confidence / 282
Ulf Johansson, Henrik Boström, and Rikard König

Using Genetic Programming to Increase Rule Quality / 288
Rikard König, Ulf Johansson, and Lars Niklasson

Complementary Analysis of High-Order Association Patterns and Classification / 294
Thomas W. H. Lui and David K. Y. Chiu

Machine Learning to Predict the Incidence of Retinopathy of Prematurity / 300
Aniket Ray, Vikas Kumar, Balaraman Ravindran, Lingam Gopal, and Aditya Verma

Building Useful Models from Imbalanced Data with Sampling and Boosting / 306
Christopher Seiffert, Taghi M. Khoshgoftaar, Jason Van Hulse, and Amri Napolitano

A Mixture Imputation-Boosted Collaborative Filter / 312
Xiaoyuan Su, Taghi M. Khoshgoftaar, and Russell Greiner

Posters

Combining Naive Bayes and Decision Tables / 318
Mark Hall and Eibe Frank

Co-SOFT-Clustering: An Information Theoretic Approach to Obtain Overlapping Clusters from Co-Occurrence Data / 320
P. Swaminathan and Balaraman Ravindran

Design, Evaluation, and Refinement of Intelligent Systems

Semi-Automatic Refinement and Assessment of Subgroup Patterns / 323
Martin Atzmueller and Frank Puppe

Visualization Techniques for the Evaluation of Knowledge Systems / 329
Joachim Baumeister, Martina Menge, and Frank Puppe

A Priori Evaluation and Refinement of Curricula by Data Mining over Storyboards / 335
Rainer Knauf, Ronald Boeck, Yoshitaka Sakurai, and Setsuo Tsuruta

Granular Logic with Variables for Implementation of Extended Tabular Trees / 341
Antoni Ligeza and Grzegorz J. Nalepa

UServ Case Study, Conceptual Design with ARD+ Method / 347
Grzegorz J. Nalepa

Towards Formalization of ARD+ Conceptual Design and Refinement Method / 353
Grzegorz J. Nalepa and Igor Wojnicki

Declarative Specification and Interpretation of Rule-Based Systems / 359
Dietmar Seipel and Joachim Baumeister

Alignment of Heterogeneous Ontologies: A Practical Approach to Testing for Similarities and Discrepancies / 365
Neli P. Zlatareva and Maria Nisheva

Posters

Towards Verification of Storyboards / 371
Rainer Knauf and Horst Duesel

ARD+ Design and Visualization Tool-Chain Prototype in Prolog / 373
Grzegorz J. Nalepa and Igor Wojnicki

Games and Entertainment

Memory-Bounded D* Lite / 376
Denton Cockburn and Ziad Kobti

German Girls Are Goofy. An Investigation into the Knowledge Deficiencies of Digital Games that Are Designed for Learning / 381
Klaus P. Jantke

Longboard: A Sketch Based Intelligent Storyboarding Tool for Creating Machinima / 386
Arnav Jhala, Curtis Rawls, Samuel Munilla, and R. Michael Young

Posters

Win, Lose, or Get Out the Way — Eliminating Unnecessary Evaluation in Game Search / 392
Hsiu-Chin Lin and Colleen van Lent

Narratoria, an Authoring Suite for Digital Interactive Narrative / 394
Martin van Velsen

Intelligent Tutoring Systems

Problem Posing in AnimalWatch: An Interactive System for Student-Authored Content / 397
Mike Birch and Carole R. Beal

Diagnosing Natural Language Answers to Support Adaptive Tutoring / 403
Myroslava O. Dzikovska, Gwendolyn E. Campbell, Charles B. Callaway, Natalie B. Steinhauser, Elaine Farrow, Johanna D. Moore, Leslie A. Butler, and Colin Matheson

A Framework for Evaluating Semantic Knowledge in Problem-Solving-Based Intelligent Tutoring Systems / 409
Philippe Fournier-Viger, Roger Nkambou, and André Mayers

Trialog: How Peer Collaboration Helps Remediate Errors in an ITS / 415
Robert G. M. Hausmann, Brett van de Sande, and Kurt VanLehn

The Coverage of Error Diagnosis in Logic Programming Using Weighted Constraints — The Case of an Ill-Defined Domain / 421
Nguyen-Thinh Le and Wolfgang Menzel

Learning to Assess Low-Level Conceptual Understanding / 427
Rodney D. Nielsen, Wayne Ward, and James H. Martin

Graph Grammars: An ITS Technology for Diagram Representations / 433
Niels Pinkwart, Kevin D. Ashley, Vincent Aleven, and Collin Lynch

Content-Learning Correlations in Spoken Tutoring Dialogs at Word, Turn, and Discourse Levels / 439
Amruta Purandare and Diane Litman

Posters

A New Emotional Architecture for Cognitive Tutoring Agents / 445
Usef Faghihi, Pierre Poirier, Daniel Dubois, and Mohamed Gaha

An Intelligent Tutoring Architecture for Simulation-Based Training / 447
Dave Gomboc, Mark Core, H. Chad Lane, Ashish Karnavat, and Milton Rosenberg

Logics, General Ontologies, Categorization and Semantic Annotation

A Cross-Lingual Approach to the Discourse Automatic Annotation: Application to French and Bulgarian / 450
Iana Atanassova, Antoine Blais, and Jean-Pierre Desclés

Categorizations and Annotations of Citation in Research Evaluation / 456
Marc Bertin

The Categorial Annotation of Coordination in Arabic / 462
Ismaïl Biskri and Boucif Amar Bensaber

Categorization of the < SEATS >: Examples of a Domain of Notions in the Lexical Field / 468
Pierre Boudon

Multi-Prototype Concept and Object Typicality in Ontology / 470
Yi Cai, Ho-fung Leung, and Ada Wai-Chee Fu

Combinators Introduction: An Algorithm / 476
Adam Joly and Ismaïl Biskri

Exceptions in Ontologies: When Topology Meets Typicality / 482
Christophe Jouis and Julien Bourdaillet

Categorial Grammars, Combinatory Logic and the Korean Language Processing / 488
Juyeon Kang and Jean-Pierre Desclés

Automatic Annotation of Images, Pictures or Videos Comments for Text Mining Guided by No Textual Data / 494
Florence Le Priol

Answer Set Programming on Expert Feedback to Populate and Extend Dynamic Ontologies / 500
Mathias Niepert, Cameron Buckner, and Colin Allen

Attribute-Value Formalization in the Framework of the Logic of Determination of Objects (LDO) and Categorization / 506
Anca Pascu and Jean-Pierre Desclés

Applicative and Combinatory Categorial Grammar: Analysis of the French Interrogative Sentences / 512
Aurélie Rossi

Automatic Retrieval of Definitions in Texts, in Accordance with a General Linguistic Ontology / 518
Charles Teissedre, Brahim Djioua, and Jean-Pierre Desclés

Planning and Scheduling

Reformulating Constraint Models for Classical Planning / 525
Roman Barták and Daniel Toropila

Towards Getting Domain Knowledge: Plans Analysis through Investigation of Actions Dependencies / 531
Lukás Chrpa and Roman Barták

A Novel Prioritization Technique for Solving Markov Decision Processes / 537
Jilles Steeve Dibangoye, Brahim Chaib-draa, and Abdel-illah Mouaddib

A New Approach to Heuristic Estimations for Cost-Based Planning / 543
Raquel Fuentetaja, Daniel Borrajo, and Carlos Linares

Recovering from Inconsistency in Distributed Simple Temporal Networks / 549
Anthony Gallagher and Stephen F. Smith

Reasoning with Conditional Time-Intervals / 555
Philippe Laborie and Jérôme Rogerie

Tractable Class of a Problem of Goal Satisfaction in Mutual Exclusion Network / 561
Pavel Surynek

Distributed University Timetabling with Multiply Sectioned Constraint Networks / 567
Yang Xiang and Wanling Zhang

Posters

Neptune: A Mixed-Initiative Environment for Planning and Scheduling / 573
Pauline M. Berry, Blazej Bulka, Bert Peintner, Mark Roberts, and Neil Yorke-Smith

Feeder Setup Optimization in SMT Assembly / 575
Jan Kelbel and Zdenek Hanzálek

Combining Heuristic Search with Hierarchical Task-Network Planning: A Preliminary Report / 577
Nathaniel Waisbrot, Ugur Kuter, and Tolga Könik

Spatio-Temporal Reasoning

Dynamical Spatial Systems — A Potential Approach for the Application of Qualitative Spatial Calculi / 580
Mehul Bhatt

A Framework for Merging Qualitative Constraints Networks / 586
Jean-François Condotta, Souhila Kaci, and Nicolas Schwind

ThomCat: A Bayesian Blackboard Model of Hierarchical Temporal Perception / 592
Charles Fox

An Inference Mechanism for Point-Interval Logic / 600
Mashhood Ishaque, Faisal Mansoor, and Abbas K. Zaidi

Reasoning about Topological and Positional Information in Dynamic Settings / 606
Marco Ragni and Stefan Wölfl

Uncertain Reasoning

On the Compilation of Possibilistic Default Theories / 613
Salem Benferhat, Safa Yahi, and Habiba Drias

Parallel Rollout for Online Solution of Dec-POMDPs / 619
Camille Besse and Brahim Chaib-draa

Stability of Coalitions in Belief-Based Non-Transferable Utility Games / 625
Chi-Kong Chan and Ho-fung Leung

A First-Order Bayesian Tool for Probabilistic Ontologies / 631
Paulo C. G. Costa, Marcelo Ladeira, Rommel N. Carvalho, Kathryn B. Laskey, Laécio L. Santos and Shou Matsumoto

Second-Order Risk Constraints / 637
Love Ekenberg, Aron Larsson, and Mats Danielson

Toward Markov Logic with Conditional Probabilities / 643
Jens Fisseler

Belief Update Using Graphs / 649
Konstantinos Georgatos

Learning Dynamic Naive Bayesian Classifiers / 655
Miriam Martínez and Luis Enrique Sucar

Evolutionary Learning of Dynamic Naive Bayesian Classifiers / 660
Miguel A. Palacios-Alonso, Carlos Alberto Brizuela, and Luis Enrique Sucar

A New Justification of the Unnormalized Dempster’s Rule of Combination from the Least Commitment Principle / 666
Frédéric Pichon and Thierry Denoeux

Preference-Based Default Reasoning / 672
Manuela Ritterskamp and Gabriele Kern-Isberner

A New Approach to Model-Based Diagnosis Using Probabilistic Logic / 678
Nikita A. Sakhanenko, Roshan R. Rammohan, George F. Luger, and Carl R. Stern

Distance Metric Learning for Conditional Anomaly Detection / 684
Michal Valko and Milos Hauskrecht

Insensitivity of Constraint-Based Causal Discovery Algorithms to Violations of the Assumption of Multivariate Normality / 690
Mark Voortman and Marek J. Druzdzel

Planning for Welfare to Work / 696
Liangrong Yi, Raphael Finkel, and Judy Goldsmith