Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference
Edited by Susan Haller and Gene Simmons
May 14-16, 2002, Pensacola Beach, Florida. 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. Not all abstracts and papers are available. 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 / vi
FLAIRS 2002 Organization / vii
Agents
Biologically Inspired Mechanisms for Processing Sensor Rich Environments / 3
Charles J. Hannon
Planning at the Intention Level / 8
Nick Lacey, Henry Hexmoor, and Gordon Beavers
Far and A WAY: Context Sensitive Service Delivery through Mobile Lightweight PDA Hosted Agents / 13
P. T. O' Hare, G. M. P. O' Hare, and T. D. Lowen
AI in Aerospace
Semi-Formal Representations in Support of Design Coordination / 19
Eric A. Domeshek
SpaceCAPS: Automated Mission Planning for the TechSat 21 Formation-Flying Cluster Experiment / 24
John L. Mohammed
Design of a Satellite Data Distribution Center / 28
Lance Self
An Agent Community Supporting Orbit Determination / 32
Walt Truszkowski
Artificial Intelligence in Educational Information Technology
On the Training of Mental Reasoning: Searching the Works of Literature / 36
Boris Galitsky
Modeling and Implementing Intelligent Educational Environments Using An Interdisciplinary Approach / 41
Lucia M. M. Giraffa
Cluster Analysis in Science and Technology: An Application in Research Group Evaluation / 46
Alexandre L. Gonçalves, Roberto Carlos dos Santos Pacheco, Aran Bey Tcholakian Morales, and Vinícius Medina Kern
User Modeling and Instance Reuse for Information Retrieval Study Case: Visually Disabled Users Access to Scientific Documents / 51
Lobna Jeribi, Beatrice Rumpler, and Jean Marie Pinon
Automated Reasoning
Homogeneous Sets of ATP Problems / 57
Matthias Fuchs and Geoff Sutcliffe
Dimensional Indexing for Targeted Case-Base Retrieval: The SMIRKS System / 62
Philomena Y. Lee and Michael T. Cox
Answer Finding Guided by Question Semantic Constraints / 67
Marius Pasca
A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae / 72
Stephan Schulz
Behavioral Characteristics and AI Systems: Innovations and Application
Application of the Multilevel Process Theory of Emotion to User-Modeling / 78
Christine L. Lisetti and Fatma Nasoz
Emotions in Intelligent Agents / 82
Nandan Parameswaran
TAG Models with Emotion / 87
Michael J. Prietula and Kathleen M. Carley
Agents with or without Emotions? / 89
Matthias Scheutz
Case-Based Reasoning
Causal Query Elaboration in Conversational Case-Based Reasoning / 95
David W. Aha and Kalyan Moy Gupta
CBROnto: A Task/Method Ontology for CBR / 101
Belén Díaz-Agudo and Pedro A. González-Calero
Managing Multiple Case Bases: Dimensions and Issues / 106
David B. Leake and Raja Sooriamurthi
Shared Experiences in Personalized Route Planning / 111
Lorraine McGinty and Barry Smyth
An Industrial Application of CBR in Manufacturing to Reduce Rejections / 116
M. Michael and Deepak Khemani
Using Collaborative Filtering Data in Case-Based Recommendation / 121
Derry O'Sullivan, David Wilson, and Barry Smyth
Towards Dynamic Maintenance of Retrieval Knowledge in CBR / 126
David Patterson, Niall Rooney, Mykola Galushka, and Sarab S. Anand
Using CBR to Estimate Development Effort for Web Hypermedia Applications / 132
Ian Watson, Emilia Mendes, Chris Triggs, Nile Mosley, and Steve Counsell
Categorization and Concept Representation Models and Implications
The Role of Action in Object Categorization / 138
Andrea Di Ferdinando, Anna M. Borghi, and Domenico Parisi
Categorisation of Actions by Analogy: From the Analysis of Metaphoric Utterances to a Computational Model / 143
Karine Duvignau, Olivier Gasquet, Bruno Gaume, and Marie-Dominique Gineste
Contextualizing Concepts / 148
Liane Gabora and Diederik Aerts
Inference and Categorization / 153
Françoise Gayral and Daniel Kayser
Perceptual Scaling in Materials Selection for Concurrent Design / 158
Michael Grimsley and Anthony Meehan
Modeling Unsupervised Learning with SUSTAIN / 163
Todd M. Gureckis and Bradley C. Love
Assessing Conceptual Similarity to Support Concept Mapping / 168
David B. Leake, Ana Maguitman, and Alberto Cañas
Category Similarity as a Predictor for SVM Learning Performance / 173
Fabio Pardi
Object Determination Logic - A Categorization System / 178
Anca Pascu and François-Gilles Carpentier
The Logic of Categorization / 181
Pei Wang
Constraint Satisfaction and Theorem Proving
An On-Line Satisfiability Algorithm for Conjunctive Normal Form Expressions with Two Literals / 187
John F. Kolen
Extending Dual Arc Consistency / 192
Shiv Nagarajan, Scott D. Goodwin, and A. Sattar
Bracketing Compound Nouns for Logic Form Derivation / 198
Vasile Rus, Dan I. Moldovan, and Orest Bolohan
Memory-Bounded A* Graph Search / 203
Rong Zhou and Eric A. Hansen
Evaluation of Intelligent Systems
Higher Order Refinement Heuristics for Rule Validation / 211
Hans-Werner Kelbassa
System Refinement in Practice - Using a Formal Method to Modify Real-Life Knowledge / 216
Rainer Knauf, Ilka Philippow, Avelino J. Gonzalez, Klaus P. Jantke, and Dirk Salecker
Requirements for Successful Verification in Practice / 221
Silvie Spreeuwenberg and Rik Gerrits
Knowledge-Based Validation Method for Validating Intelligent Systems / 226
Setsuo Tsuruta, Takashi Onoyama, and Yoshio Taniguchi
Genetic Algorithms
Enhancing Structure Discovery for Data Mining in Graphical Databases Using Evolutionary Programming / 232
Sanghamitra Bandyopadhyay, Ujjwal Maulik, Diane J. Cook, Lawrence B. Holder, and Yousuf Ajmerwala
Proposal and Evaluation of "Selfish-Gene with Limited Allowance" Type GA for Solving Constraint TSP / 237
Takashi Onoyama, Sen Kubota, Yoshio Taniguchi, and Setsuo Tsuruta
Prediction of Aerodynamic Coefficients Using Neural Networks for Sparse Data / 242
T. Rajkumar and Jorge Bardina
Imprecise and Indeterminate Probabilities in Artificial Intelligence
Algorithms for Conditioning on Events of Zero Lower Probability / 248
Fabio Gagliardi Cozman
Semantics for Interval Probabilities / 253
Henry E. Kyburg, Jr.
Towards Temporal Reasoning Using Qualitative Probabilities / 258
Ahmed Y. Tawfik
Integrated Intelligent Systems
On the Validation of the DIMLP Neural Network / 264
Guido Bologna
Integration of Data Mining and Hybrid Expert System / 267
I. G. L. da Silva, B. P. Amorim, P.G. Campos, and L. M. Brasil
An Intelligent Hybrid Decision Support System for the Management of Water Resources / 272
H. Kazeli, T. Christofides, and E. Keravnou
Modular Neuro-Fuzzy Networks Used in Explicit and Implicit Knowledge Integration / 277
Ciprian-Daniel Neagu and Vasile Palade
Biologically-Inspired Agents for Priority Routing in Networks / 282
Tony White, Bernard Pagurek, and Dwight Deugo
Interactive Tutoring
A Knowledge-Based Instructional Assistant to Accompany LEO: A Learning Environment Organizer / 289
John W. Coffey
A Task-Specific Architecture for the Generation of Intelligent Tutoring Systems / 294
Eman El-Sheikh and Jon Sticklen
Checking for Dimensional Correctness in Physics Equations / 299
C. W. Liew and D. E. Smith
Knowledge Management
A Business-Rules Approach for Departmental Advising / 305
Lisa Burnell, Ryan Figg, Minh Phan, Justin Smith, Akihiro Sugihara, John Priest, and John R. Durrett
Knowledge Assets: Governmental Measurement Standards / 310
Kenneth R. Henry
Data Mining: An Empirical Application in Real Estate Valuation / 314
Ruben D. Jaen
Intelligent Architectures for Knowledge Sharing: A Soar Example and General Issues / 318
Dan Zhu and Michael J. Prietula
Machine Learning
An Algorithm for Inducing Least Generalization Under Relative Implication / 322
Svetla Boytcheva and Zdravko Markov
Unlabeled Data Can Degrade Classification Performance of Generative Classifiers / 327
Fabio G. Cozman and Ira Cohen
Data Integration Using Data Mining Techniques / 332
Karen C. Davis, Krishnamoorthy Janakiraman, Ali Minai, and Robert B. Davis
Modifying Upstart for Use in Multiclass Numerical Domains / 339
Ronnie Fanguy and Miroslav Kubat
Compression-Based Induction and Genome Data / 344
Rattikorn Hewett, John Leuchner, Choh Man Teng, Sean D. Mooney, and Teri E. Klein
Imitating Agent Game Strategies Using a Scalable Markov Model / 349
Priyath T. Sandanayake and Diane J. Cook
Eigenvector-Based Feature Extraction for Classification / 354
Alexey Tsymbal, Seppo Puuronen, Mykola Pechenizkiy, Matthias Baumgarten, and David Patterson
Natural Language Processing
Text Mining for Causal Relations / 360
Roxana Girju and Dan Moldovan
Generating Natural Language Aggregations Using a Propositional Representation of Sets / 365
Susan Haller, Barbara Di Eugenio, and Michael Trolio
Contextual Knowledge Representation for Requirements Documents in Natural Language / 370
Beum-Seuk Lee and Barrett R. Bryant
Accurate Semantic Annotations via Pattern Matching / 375
Adrian Novischi
Neural Networks
Cross Entropy Error Function in Neural Networks: Forecasting Gasoline Demand / 381
G. E. Nasr, E. A. Badr, and C. Joun
A New XML-Based Language for Neural Solution Interchange / 385
Denis V. Rubtsov and Sergei V. Butakov
Robotics
Applying Agent Oriented Software Engineering to Cooperative Robotics / 391
Scott A. DeLoach, Eric T. Matson, and Yonghua Li
Personality, Affect and Emotion Taxonomy for Socially Intelligent Agents / 397
Christine L. Lisetti
Semantic Web
GoldenBullet in a Nutshell / 403
Ying Ding, Maksym Korotkiy, Borys Omelayenko, Vera Kartseva, Volodymyr Zykov, Michel Klein, Ellen Schulten, and Dieter Fensel
Presentations and Bearers of Semantics on the Web / 408
James Farrugia and Max J. Egenhofer
A Comparison of (Semantic) Markup Languages / 413
Yolanda Gil and Varun Ratnakar
Mapping Technology for Enterprise Integration / 419
Borys Omelayenko, Dieter Fensel, and Christoph Bussler
Semantic Web Service Architecture -- Evolving Web Service Standards toward the Semantic Web / 425
Tanja Sollazzo, Siegfried Handschuh, Steffen Staab, Martin Frank, and Nenad Stojanovic
On Personalizing the Catalogs of Web Portals / 430
Nicolas Spyratos, Yannis Tzitzikas, and Vassilis Christophides
Searching for the Knowledge in the Semantic Web / 435
Nenad Stojanovic and Ljiljana Stojanovic
Learning Structural Classification Rules for Web-Page Categorization / 440
Heiner Stuckenschmidt, Jens Hartmann, and Frank van Harmelen
Ontology Construction - An Iterative and Dynamic Task / 445
Holger Wache, Ubbo Visser, and Thorsten Scholz
An Approach for Semantic Search by Matching RDF Graphs / 450
Haiping Zhu, Jiwei Zhong, Jianming Li, and Yong Yu
Spatiotemporal Reasoning
A Framework for Constructing Temporal Models from Texts / 456
Enrique Alfonseca and Suresh Manandhar
Frames of Reference, Positional Information and Navigational Assistance / 461
Jörg Baus and Christian Kray
Granularity in Reference to Spatio-Temporal Location and Relations / 466
Thomas Bittner
High Expressive Spatio-Temporal Relations / 471
R. Chbeir, Y. Amghar, and A. Flory
From the Egg-Yolk to the Scrambled-Egg Theory / 476
Hans W. Guesgen
Looking Backward, Forward, and All Around: Temporal, Spatial, and Spatio-Temporal Data Mining / 481
Howard J. Hamilton and Leah Findlater
A Class of Star-Algebras for Point-Based Qualitative Reasoning in Two-Dimensional Space / 486
Debasis Mitra
Uncertain Reasoning and Imprecise and Indeterminate Probabilities in AI
A Variation on the Paradox of Two Envelopes / 493
Mikelis Bickis and Eric Neufeld
Toward a Universal Translator of Verbal Probabilities / 498
Tzur M. Karelitz, Mandeep K. Dhami, David V. Budescu, and Thomas S. Wallsten
Indeterminate Probability and Change of View / 503
Isaac Levi
The Reasonableness of Necessity / 508
Paul Snow
Uncertain Reasoning
A Bayesian Approach to Operational Decisions in Transportation Businesses / 514
Nils-Peter Andersson, Love Ekenberg, and Aron Larsson
Fusion of Possibilistic Knowledge Bases from a Postulate Point of View / 519
Salem Benferhat and Souhila Kaci
Semantics and Knowledge Acquisition in Bayesian Knowledge-Bases / 524
Eugene Santos Jr., Eugene S. Santos, and Solomon Eyal Shimony
Conflict Resolution in Probabilistic Multi-Agent Systems / 529
S. K. M. Wong and Tao Lin
Comparing Alternative Methods for Inference in Multiply Sectioned Bayesian Networks / 534
Y. Xiang
Workshop
Institutionalizing the Field of Expertise Studies and Its Applications to Computer Science / 540
Robert R. Hoffman
Index / 545