Proceedings of the Twelfth International Florida Artificial Intelligence Research Symposium Conference
Edited by Amruth N. Kumar and Ingrid Russell
May 1-5, 1999, Orlando, 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 / xii
Ingrid Russell and Amruth Kumar
FLAIRS-99 Organization / xiii
FLAIRS-99 Invited Talks
John Laird, Bruce G. Buchanan, Kenneth M. Ford and Patrick J. Hayes, David Stork, Frank Anger
AI Applications
Dynamic User Model Construction with Bayesian Networks for Intelligent Information Queries / 3
Eugene Santos Jr., University of Connecticut; Scott M. Brown, Air Force Research Laboratory; Moises Lejter and Grace Ngai, University of Connecticut; Sheila B. Banks and Martin R. Stytz, Calculated Insight
A Threat Ranking Algorithm for Multiple Intelligent Entities in a Simulated Environment / 8
Ilker Gumus, GE-Harris Railway Electronics LLC. and Avelino J. Gonzalez, University of Central Florida
A Quality Assurance System Using Neural Networks / 13
Edson Pacheco Paladini, Universidade Federal de Santa Catarina
KARDIO--A Simulation of a Cardiac Care Unit Intended for the Study of the Ethical Components of Medical Decision-Making / 18
Søren Holm, University of Manchester; Peter Øhrstrøm and Claus Donner, Aalborg University
Towards More Intelligent and Interactive Interfaces / 24
James S. Jennings and Nicole D. Terry, Tulane University
RAID: A System to Aid in the Removal of Program Bugs / 32
Lisa Burnell, Alan Meadows, Patricia Bass and Keith Biggers, Texas Wesleyan University; John Priest, The University of Texas at Arlington
Knowledge-Based Systems, Viewpoints and the World Wide Web / 37
Ian Finch, University of Liverpool
AI Applied to Spacecraft Autonomy
Generating Satellite Control Schedules Using Case-Based Scheduling / 43
Costas Tsatsoulis and Julian Holtzman, Lawrence Applied Research Corporation (LARC)
Distributed Space-Segment Control Using SCL / 49
Jim Van Gaasbeck, Allan Posner and Brian Buckley, Interface & Control Systems, Inc.
Anytime Diagnosis Using Model-Based Methods for Satellite Diagnostics / 56
Paul Cobb, Eric S. Yager and Charles Jacobus, Cybernet Systems Corporation
An Overview of Agent Technology for Satellite Autonomy / 64
Paul Zetocha and Lance Self, Air Force Research Laboratory
Autonomy in Spacecraft Software Architecture / 69
Henry Hexmoor, University of North Dakota
Laying a Foundation for Software Engineering of Knowledge Bases in Spacecraft Ground Systems / 73
Mala Mehrotra, Pragati Synergetic Research Inc.; Sergio Alvarado, Aerospace Corporation; Ross Wainwright, Air Force Research Laboratory
Computer Vision
A Reinforcement Learning Approach for a Goal-Reaching Behavior / 79
T. D'Orazio, G. Cicirelli and G. Attolico, Istituto Elaborazione Segnali ed Immagini - C.N.R.; C. Distante, University of Massachusetts
A Framework for Learning Visual Discrimination / 84
Justus H. Piater and Roderic A. Grupen, University of Massachusetts
Databases and AI
Applying the Subdue Substructure Discovery System to the Chemical Toxicity Domain / 90
Ravindra N. Chittimoori, Lawrence B. Holder and Diane J. Cook, University of Texas at Arlington
Cooperative Relational Database Querying Using Multiple Knowledge Bases / 95
José Luís Braga, Universidade Federal de Viçosa; Alberto H. F. Laender, Universidade Federal de Minas Gerais; Claudiney Vander Ramos, Engetron Engenharia
Ranking the Interestingness of Summaries from Data Mining Systems / 100
Robert J. Hilderman, Howard J. Hamilton and Brock Barber, University of Regina
Evolutionary Computation
Improving Technical Analysis Predictions: An Application of Genetic Programming / 108
Jin Li and Edward P. K. Tsang, University of Essex
Using Genetic Programming to Determine Software Quality / 113
Matthew Evett, Taghi Khoshgoftaar, Pei-der Chien and Ed Allen, Florida Atlantic University
Multi-Agent Robot Simulation for Evolutionary Learning of Cooperative Behavior / 118
Yoichiro Maeda, Osaka Electro-Communication University
Enhanced Simulated Annealing Techniques for Multiprocessor Scheduling / 124
G. E. Nasr and A. Harb, Lebanese American University; G. Meghabghab, Valdosta State University
Robustness of Case-Initialized Genetic Algorithms / 129
Sushil J. Louis and Judy Johnson, University of Nevada
Knowledge-Based Control of Self-Adaptive Evolutionary Search / 134
Chan-Jin Chung, Lawrence Technological University and Robert G. Reynolds, Wayne State University
Improved Multiprocessor Task Scheduling Using Genetic Algorithms / 140
Michael Bohler, Air Force Research Laboratory; Frank Moore, Miami University; Yi Pan, University of Dayton
Intelligent Agents
Towards a First-Order Approach for Social Agents: Preliminary Report / 148
Maria Fasli, University of Essex
An Agent Based Approach to Expert System Explanation / 153
Samhaa R. El-Beltagy and Ahmed Rafea, Ministry of Agriculture and Land Reclamation; Ahmed Sameh, The American University in Cairo
Group Membership Services for Dynamically Organized Sensible Agent-Based Systems / 160
K. S. Barber, R. M. McKay and T. H. Liu, University of Texas at Austin
Intelligent Tutoring Systems
Reasoning about Algebraic Answers in Physics / 167
C. W. Liew, Lafayette College; Joel A. Shapiro and D. E. Smith, Rutgers University
A Connectionist Model for Part of Speech Tagging / 172
Brent A. Olde, James Hoeffner, Patrick Chipman, Arthur C. Graesser and the Tutoring Research Group, The University of Memphis
Adding Intelligence to Net-Based Learning / 177
Lynne Hall, Adrian Gordon, Paul Black, and Gary Baptist, University of Northumbria at Newcastle
A Case-Based Reasoning Approach to Internet Intelligent Tutoring Systems (ITS) and ITS Authoring / 181
Richard Stottler and Sowmya Ramachandran, Stottler Henke Associates, Inc.
What Should the Tutor Do When the Student Cannot Answer a Question? / 187
Yujian Zhou, Illinois Institute of Technology; Reva Freedman, University of Pittsburgh and Illinois Institute of Technology; Michael Glass, Illinois Institute of Technology; Joel A. Michael and Allen A. Rovick, Rush Medical College; Martha W. Evens, Illinois Institute of Technology
Approximate Natural Language Understanding for an Intelligent Tutor / 192
Peter Wiemer-Hastings, Katja Wiemer-Hastings and Arthur C. Graesser, University of Memphis
A Curriculum Planning Model for an Intelligent Tutoring System / 197
Byung-In Cho, Illinois Institute of Technology; Joel A. Michael and Allen A. Rovick, Rush Medical College; Martha W. Evens, Illinois Institute of Technology
Knowledge-Based Systems
Knowledge Object Decomposition / 203
John Debenham, University of Technology, Sydney
Preparing a First-Order Knowledge Base for Fast Inference / 208
Helmut Prendinger and Mitsuru Ishizuka, University of Tokyo
Expert System for the Handling of the Attendance Mechanical Ventilation in Recently Born / 213
Mauricio F. Deabate, Luis Manzanares and Carlos A. Bartó, Universidad Nacional de Córdoba
Knowledge Management
Case-Based Problem Solving for Knowledge Management Systems / 219
Irma Becerra-Fernandez, Florida International University and David W. Aha, Naval Research Laboratory
Searchable Answer Generating Environment (SAGE): A Knowledge Management System for Searching for Experts in Florida / 224
Irma Becerra-Fernandez, Florida International University
Learning
On Feature Selection: A New Filter Model / 230
Marc Sebban, West Indies and Guiana University
Feature Selection for Machine Learning: Comparing a Correlation-Based Filter Approach to the Wrapper / 235
Mark A. Hall and Lloyd A. Smith, University of Waikato
A Weighted Instance-Based Algorithm for Situated Autonomous Robot Learning / 240
Carlos H. C. Ribeiro and Elder M. Hemerly, Instituto Tecnológico de Aeronáutica
Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving / 244
Stephan Schultz and Felix Brandt, Technische Universität München
Logic and AI
Generalization Discovery for Proofs by Induction in Conditional Theories / 250
Emmanuel Kounalis and Pascal Urso, Université de Nice
New Logics for Intelligent Control / 257
E. Cherkashin, A. Postoenko, S. Vassilyev and A. Zherlov, Siberian Branch of Russian Academy of Sciences
Multi-Agent Systems: A Theory Based on Organization and Communication Concepts / 262
Walid Chainbi, Laris Laboratory--FSEG
Logic Programming
CH-Prolog: A Proof Procedure for Positive Disjunctive Logic Programming / 268
Wenjin Lu, University of Koblenz-Landau
Adopting an Object-Oriented Data Model in Inductive Logic Programming / 273
M. Milano, A. Omicini and F. Riguzzi, Università di Bologna
DISPO: Distributed Multi-Threaded Execution of Prolog Programs / 280
A. S. Mohamed, A. Galal, I. Khalil, K. Sobh and M. Selim, The American University in Cairo
Natural Language Processing
Universal Access to Mobile Computing Devices through Speech Input / 286
Bill Manaris and Valanne MacGyvers, University of Southwestern Louisiana; Michail Lagoudakis, Duke University
Automatic Acquisition of Sense Tagged Corpora / 293
Rada Mihalcea and Dan I. Moldovan, Southern Methodist University
Learning the Past Tense of English Verbs: An Extension to FOIDL / 298
Ahmed Sameh, Tarek Radi and Rana Mikhail, The American University in Cairo
Integrating Symbolic and Statistical Methods for Prepositional Phrase Attachment / 303
Sanda M. Harabagiu and Marius Pasca, Southern Methodist University
Neural Network Applications
Experiments in On-Line Learning Neuro-Control / 309
A. G. Pipe, M. Randall and Y. Jin, University of the West of England
A Method of Automatic Training Sequence Generation for Recursive Neural Networks in the Area of Sensing Directional Motion / 315
Dudley Girard, University of South Carolina
A Neural Network Approach to Sensitivity Analysis of AVIRIS Spectral Bands / 320
James N. Etheredge, University of Southern Mississippi
Connection Admission Control in ATM Networks Using Neural Networks: Research Directions and Issues in Commercial Exploitation / 325
Paul Cullen and Brian Carse, University of the West of England
Neural Network Predictive Tool of Ground Settlement Due to Dewatering Activities / 332
Amr W. Sadek and Hesham Ghoneim, Kuwait Institute for Scientific Research; Mustafa Mossad, Cairo University
Applying Probabilistic Neural Networks to the Multifont Recognition Problem with Large Training Set / 336
Marcin Paprzycki, Sean Bowers and Aaron Costeines, University of Southern Mississippi
Parallel and Distributed Reasoning
Smart Selective Competition Parallelism ATP / 341
Geoff Sutcliffe and Darryl Seyfang, James Cook University
Strategy Selection by Genetic Programming / 346
Gernot Stenz and Andreas Wolf, Universität München
Adaptive Parallel Search for Theorem Proving / 351
Diane J. Cook and Charles Hannon, University of Texas at Arlington
Solving Hard Computational Problems through Collections (Portfolios) of Cooperative Heterogeneous Algorithms / 356
Eugene Santos Jr., University of Connecticut; Solomon Eyal Shimony, Ben Gurion University of the Negev; Edward Michael Williams, Air Force Information Warfare
Strategy Parallelism and Lemma Evaluation / 361
Joachim Draeger and Andreas Wolf, Universität München
Planning
Anytime Planning for Optimal Tradeoff between Deliberative and Reactive Planning / 367
Will Briggs, Lynchburg College and Diane J. Cook, University of Texas at Arlington
Learning Rationales to Improve Plan Quality for Partial Order Planners / 371
Muhammad Afzal Upal and Renée Elio, University of Alberta
Learning Opposite Concept for Machine Planning / 378
Kang Soo Tae, Jeonju University
Reasoning About Function
Function Modeling Based on Interactions of Mass, Energy and Information / 384
Yang Bo and Filippo A. Salustri, The University of Windsor
Towards Functional Benchmarking of Information Retrieval Models / 389
D. W. Song and K. F. Wong, Chinese University of Hong Kong; P. D. Bruza, Queensland University of Technology; C. H. Cheng, Chinese University of Hong Kong
Automating Mechanical FMEA Using Functional Models / 394
Nigel Hughes, Enxi Chou, Chris Price and Mark Lee, University of Wales
Functional Modeling: Representation of Dynamic Aspects in Function Structures / 399
Hans Grabowski, Ralf Lossack and Harald Kunze, University of Karlsruhe
Spatiotemporal Reasoning
Satisfiability in Nonlinear Time: Algorithms and Complexity / 406
Frank D. Anger, University of West Florida; Debasis Mitra, Morgan State University; Rita V. Rodríguez, University of West Florida
A Qualitative Notion of Spatial Proximity / 412
Hans W. Guesgen and Jochen Albrecht, University of Auckland
On Correcting Sewer Robots’ Odometry Errors by Reasoning / 417
Joachim Hertzberg and Frank Schönherr, GMD-SET
A Wayfinding Application Based on the Influence Area Spatial Model / 422
Driss Kettani, Department of National Defense and Laval University; Bernard Moulin, Laval University
Representing Simple Trajectories as Oriented Curves / 431
Carola Eschenbach, Christopher Habel and Lars Kulik, University of Hamburg
Uncertain Reasoning
Some Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian Networks / 438
Y. Xiang, University of Regina; K. G. Olesen and F. V. Jensen, Aalborg University
A Factorized Representation of Independence of Causal Influence and Lazy Propagation / 444
Anders L. Madsen, Aalborg University and Bruce D'Ambrosio, Oregon State University
Representation and Reasoning with Uncertain Temporal Relations / 449
Vladimir Ryabov and Seppo Puuronen, University of Jyväskylä; Vagan Terziyan, Kharkov State Technical University of Radioelectronics
Nondeterminism and Uncertainty in the Situation Calculus / 454
Javier Pinto, Pontificia Universidad Católica de Chile; Amílcar Sernadas, Cristina Sernadas and Paulo Mateus, Instituto Superior Técnico
On-board Diagnosis of Car Catalytic Converters Using Statistical Pattern Recognition / 461
A. Boatas, Laboratorie HEUDIASYC and PSA Peugeot Citroën; B. Dubuisson, Laboratorie HEUDIASYC; M. A. Dillies-Peltier, PSA Peugeot Citroën
Meta-Pattern Extraction: Mining Cycles / 466
Jennifer Seitzer, James P. Buckley and Alvaro Monge, University of Dayton
Proof Theoretic Reasoning in System P / 471
Simon Parsons and Rachel A. Bourne, Queen Mary and Westfield College
Probabilistic Reasoning through Genetic Algorithms and Reinforcement Learning / 477
Xiaomin Zhong and Eugene Santos Jr., University of Connecticut
Intelligent Alarm Handling / 482
Lars Asker, Mats Danielson and Love Ekenberg, Royal Institute of Technology
Verification, Validation, and Knowledge Base Refinement
Validation of Human Behavioral Models / 489
Avelino J. Gonzalez, University of Central Florida
Applying Reliability Engineering to Expert Systems / 494
Valerie Barr, Hofstra University
Lattices of Knowledge in Intelligent Systems Validation / 499
Klaus P. Jantke, DFKI GmbH and Jörg Herrmann, Deutsches Zentrum für Luft - und Raumfahrt e.V.
Identifying and Handling Structural Incompleteness for Validation of Probabilistic Knowledge-Bases / 506
Eugene Santos Jr., University of Connecticut; Sheila B. Banks, Calculated Insight; Scott M. Brown and David J. Bawcom, Air Force Institute of Technology
VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers / 511
Jorge Santos, Luiz Faria, Carlos Ramos and Zita A. Vale, Polytechnic Institute of Porto; Albino Marques, REN - Portuguese Transmission Network
Towards Validation of Case-Based Systems / 516
Rainer Knauf, Technical University of Ilmenau; Avelino J. Gonzalez, University of Central Florida; Klaus P. Jantke, Hokkaido University
Validation of an Elevator Maintenance Engineer Scheduling AI System and its Knowledge Refinement / 521
Setsuo Tsuruta and Hideaki Ishida, Hitachi Ltd.; Masaki Honma and Akio Nakano, Hitachi Building Systems Co., Ltd.
Validation of CBL Principles / 526
Hans-Rainer Beick, Hokkaide University; and Klaus P. Jantke, DFKI GmbH, Germany
Validation Manager--A Tool for AI Systems’ Evaluation by a Turing Test-Like Methodology / 531
Dirk Salecker and Rainer Knauf, Technical University of Ilmenau
Index / 536
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.