AI 2002: Advances in Artificial Intelligence Book

	A Controlled Language to Assist Conversion of Use Case Descriptions into Concept Lattices	1
	Preferred Document Classification for a Highly Inflectional/Derivational Language	12
	Experiments in Query Paraphrasing for Information Retrieval	24
	Dynamic Decision-Making in Logic Programming and Game Theory	36
	On a Linear Representation Theory or Quantitative Belief Change	48
	Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques	60
	Foundations for a Formalism of Nearness	71
	Semantic Selection for Resolution in Clause Graphs	83
	Machine-Checking the Timed Interval Calculus	95
	Modeling Programs with Unstructured Control Flow for Debugging	107
	Message Length Formulation of Support Vector Machines for Binary Classification - A Preliminary Scheme	119
	MML Inference of Decision Graphs with Multi-way Joins	131
	MML Clustering of Continuous-Valued Data Using Gaussian and t Distributions	143
	Optimizing Kernel-Based Nonlinear Subspace Methods Using Prototype Reduction Schemes	155
	Intention and Rationality for PRS-Like Agents	167
	Modeling and Simulation for Detecting a Distributed Denial of Service Attack	179
	Knowledge-Driven Processes Can Be Managed	191
	Adaptive Multi-agent Decision Making Using Analytical Hierarchy Process	203
	Autonomous Planning and Scheduling on the TechSat 21 Mission	213
	Omni-drive Robot Motion on Curved Paths: The Fastest Path between Two Points Is Not a Straight-Line	225
	Indexing of Image Databases Using Untrained 4D Holographic Memory Model	237
	The Flux-Oriented Control of an Induction Machine Utilizing an Online Controller Parameter Adaptation Scheme	249
	Modelling the Acquisition of Colour Words	259
	Bayesian Information Reward	272
	Prediction of User-Preference in Recommendation System Using Associative User Clustering and Bayesian Estimated Value	284
	Argument Interpretation Using Minimum Message Length	297
	Genetic Programming for Classification: An Analysis of Convergence Behaviour	309
	Lineage and Induction in the Development of Evolved Genotypes for Non-uniform 2D CAs	321
	Evolution in the Orange Box - A New Approach to the Sphere-Packing Problem in CMAC-Based Neural Networks	333
	Finding Worst-Case Instances of, and Lower Bounds for, Online Algorithms Using Genetic Algorithms	344
	An Adaptive Activation Function for Higher Order Neural Networks	356
	An Adaptive Learning Algorithm Aimed at Improving RBF Network Generalization Ability	363
	A Neural Network Online Training Algorithm Based on Compound Gradient Vector	374
	Applications of Wavelet Transform and Artificial Neural Networks to Pattern Recognition for Environmental Monitoring	385
	Adapting Kernels by Variational Approach in SVM	395
	Learning to Reach the Pareto Optimal Nash Equilibrium as a Team	407
	Computational Models of the Amygdala and the Orbitofrontal Cortex: A Hierarchical Reinforcement Learning System for Robotic Control	419
	A General Approach for Building Constraint Languages	431
	Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics	443
	A Hybrid Genetic Algorithm for School Timetabling	455
	Genetic Scheduling on Minimal Processing Elements in the Grid	465
	Protein Sequences Classification Using Modular RBF Neural Networks	477
	Feature Extraction and Selection in Tool Condition Monitoring System	487
	A Robust Meaning Extraction Methodology Using Supervised Neural Networks	498
	Solving Regression Problems Using Competitive Ensembles Models	511
	Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries	523
	TreeITL-Mine: Mining Frequent Itemsets Using Pattern Growth, Tid Intersection, and Prefix Tree	535
	Convergency of Learning Process	547
	Structured Features from Concept Lattices for Unsupervised Learning and Classification	557
	Towards Fewer Parameters for SAT Clause Weighting Algorithms	569
	An Investigation of Variable Relationships in 3-SAT Problems	579
	Modelling More Realistic SAT Problems	591
	A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints	603
	Strong Pseudorandom Bit Sequence Generators Using Neural Network Techniques and Their Evaluation for Secure Communications	615
	Surface Feature Recognition of Wear Debris	627
	Improved Defect Detection Using Novel Wavelet Feature Extraction Involving Principal Component Analysis and Neural Network Techniques	638
	Effectiveness for Machine Translation Method Using Inductive Learning on Number Representation	648
	Estimating Episodes of Care Using Linked Medical Claims Data	660
	Adaptation of a Mamdani Fuzzy Inference System Using Neuro-Genetic Approach for Tactical Air Combat Decision Support System	672
	Optimization of Recurrent NN by GA with Variable Length Genotype	681
	Theoretical Foundation for Nonlinear Edge-Preserving Regularized Learning Image Restoration	693
	The Application of Case Based Reasoning on Q & A System	704
	Development of an Intelligent Tutoring System on Design of Liquid Retaining Structures	714
	Real-Time Prediction of Water Stage with Artificial Neural Network Approach	715
	On the Design of Mathematical Concepts	716
	Consistency of Trust Theories	717
	An Artificially Intelligent Sports Tipper	718
	Selecting Semantics for Use with Semantic Pruning of Linear Deductions	719
	Calibration of Flow and Water Quality Modeling Using Genetic Algorithm	720
	A Comparison of Machine Learning Approaches for the Automated Classification of Dementia	721
	A Defeasible Logic of Policy-Based Intention	723
	A Self-Organizing Territorial Approach to Multi-robot Search and Surveillance	724
	Knowledge-Based Techniques for Constraints Satisfaction in Resource Allocation Problems	725
	Effective SAT Planning by Speculative Computation	726
	Author Index	729