This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008.
The 30 revised full papers presented together with the 10 posters were carefully reviewed and selected from 109 submissions. The papers are organized in topical sections on agents; natural language processing and text analysis; machine learning and information retrieval; knowledge representation and reasoning; constraints, heuristics and search; applications; posters.
Author(s): Daniel Dochev, Marco Pistore, Paolo Traverso
Series: Lecture notes in artificial intelligence 5253
Edition: 1st ed
Publisher: Springer
Year: 2008
Language: English
Pages: 426
City: New York
Introduction......Page 11
Multi-Agent System for Hierarchical Hybrid Control Systemwith Context Model......Page 13
Context-Based Statistical Model......Page 17
Conclusions......Page 19
References......Page 20
Introduction......Page 22
Application Domain......Page 23
Experimental Setup......Page 24
Results and Conclusions......Page 27
References......Page 31
Introduction......Page 32
Formal Framework......Page 33
Information Need......Page 34
Properties......Page 35
Hierarchy in Relevance......Page 37
Information Need Generalized......Page 39
Conclusion......Page 40
Introduction......Page 42
The Basic Characteristics of AMOLA......Page 43
The Analysis Phase Models......Page 45
The Design Phase Models......Page 47
Related Work......Page 51
Conclusion......Page 53
Introduction......Page 55
Related Work......Page 56
The Setting......Page 57
Adaptation of the Resolution of Spatial Expressions to the Player......Page 58
Evaluation......Page 60
Discussion and Conclusion......Page 64
References......Page 65
Introduction......Page 68
Analysis Factors......Page 69
The Assessment Tool......Page 71
The Evaluation of the Assessment Tool......Page 75
Conclusions and Future Improvements......Page 77
References......Page 78
Introduction......Page 79
Initial Retrieval System......Page 81
Text Segmentation......Page 82
Clustering Algorithm......Page 83
Document Collections......Page 84
Optimal Cluster Evaluation......Page 85
Initial and Passage Retrieval Effectiveness......Page 86
Cluster-Based Retrieval Effectiveness......Page 87
Conclusion......Page 90
Introduction......Page 93
EuroWordNet Thesaurus......Page 94
MLPlag Method......Page 95
Experiments......Page 97
MLPlag Evaluation......Page 98
References......Page 101
Introduction......Page 103
Minimal Relational Patterns (MRPs)......Page 105
Distance Based Entailment Recognition......Page 106
The QALL-ME Benchmark......Page 107
Data Annotation......Page 108
Automatic Speech Recognition (ASR)......Page 109
Experiments and Results......Page 110
Conclusions......Page 112
Noun Compound InterpretationUsing Paraphrasing Verbs: Feasibility Study......Page 113
Related Work......Page 114
Creating a Lexicon of Paraphrasing Verbs......Page 117
Experiments and Evaluation......Page 120
Conclusion and Future Work......Page 125
Introduction......Page 128
Classical Multilayer Control System Structure......Page 129
Optimising Predictive Control Optimisation Problem......Page 131
On-Line Linearisation and the Free Trajectory Calculation......Page 133
Simulation Results......Page 135
Conclusions......Page 138
Introduction......Page 140
Definitions......Page 141
The Algorithm......Page 142
Experiments......Page 145
Training in c rnpc......Page 146
Results in Biological Data Sets......Page 147
Conclusions and Future Work......Page 152
Introduction......Page 154
Parameters......Page 156
Experimental Domain......Page 157
Standard Initialisation......Page 159
Non-standard Initialisation......Page 160
Further Analysis......Page 162
Conclusion......Page 163
Introduction......Page 167
Similarity Computation......Page 168
Pivoted Cosine Measure......Page 169
Cosine Normalization by Statistical Regression......Page 170
Window-Based Passages......Page 171
Material Details......Page 172
Effectiveness Measures......Page 173
Results Analysis......Page 174
Conclusion......Page 175
Introduction......Page 177
Disjunctive Logic Programs......Page 178
Parallel and Prioritized Circumscription......Page 179
Translation-Based Approach to Prioritized Circumscription......Page 181
Experiments......Page 184
Discussion......Page 187
Introduction......Page 191
The Distributed Description Logic $\DDLo^{ hiq}$......Page 192
The Effects of Mappings......Page 193
Undecidability and Incompleteness of $\DDLo^{ hiq}$......Page 194
Soundness and Completeness of $\DDLo^{ hiq}$......Page 197
A Distributed Tableaux Algorithm for \SHI......Page 198
Related Work......Page 201
Concluding Remarks......Page 202
Introduction......Page 204
Domains......Page 205
Atomic Formulae and Conditions......Page 206
Dynamic Clauses and Dynamic Policies......Page 207
Terminology......Page 208
Role Hierarchy......Page 209
Separation of Duties......Page 210
Dynamic Assignments......Page 211
Rule-Based Assignments......Page 212
Conclusion......Page 213
Introduction......Page 219
Interpolative Boolean Logic......Page 220
IBA Based Decision Making - Monotone Case......Page 223
IBL Based Decision Making - Non-monotone Case......Page 224
Conclusion......Page 226
Introduction......Page 230
Argumentation Schemes and Critical Questions......Page 232
Abstract Argumentation Scheme Frameworks......Page 233
Linking Abstract Argumentation Scheme Frameworks......Page 237
Example......Page 239
Discussion......Page 241
Introduction......Page 245
Nested P/A Graphs......Page 247
Recognizing Nested P/A Graphs......Page 250
Tractability and Constraint Models......Page 253
Conclusions......Page 255
References......Page 256
Introduction......Page 257
Preliminaries: Clause Learning, Randomization, and SDSAT......Page 259
Clause-Learning Simple Distributed SAT Solving......Page 260
Parallel Learning Strategies......Page 262
Grid Implementation......Page 267
Conclusions......Page 270
Introduction......Page 272
Problem Description......Page 273
Problem Formulation......Page 274
Hybrid Heuristic Algorithm for CCT......Page 276
Neighborhood Structure......Page 277
TS Using a Combined Neighborhood......Page 278
Combination of TS with Perturbation......Page 279
Problem Instances and Experimental Protocol......Page 280
Comparative Results and Discussion......Page 281
Conclusions......Page 282
Introduction......Page 284
Heuristic Hill-Climbing......Page 285
Markovian States......Page 286
Sampling the State Space......Page 288
Heuristic Hill-Climbing as a Markov Process......Page 290
Results......Page 291
Conclusions......Page 294
Introduction......Page 295
DynABT......Page 297
Sample Execution......Page 298
Theoretical Properties......Page 301
Experimental Evaluation......Page 302
Comparison with DynDBA......Page 304
Summary and Conclusions......Page 305
Introduction......Page 307
Simplified Analytical Model of the Anaerobic Digestion System......Page 309
Description of the RTNN Topology and Learning......Page 311
Indirect Adaptive Control Using a RTNN Identifier......Page 312
Simulation Results of Sliding Mode Control......Page 314
Conclusions......Page 318
References......Page 319
Motivation and Approach......Page 321
ICPC-2 and ICD-10 Classification Systems......Page 322
OWL Encoding of Medical Classifications......Page 324
OWL Encoding and Analysis of Mappings......Page 327
Concluding Remarks......Page 329
Introduction......Page 332
Case-Based Reasoning Approach......Page 333
Reuse Method......Page 334
Experimental Set-Up......Page 336
Results......Page 337
Related Work......Page 338
Conclusions and Discussion......Page 340
Introduction......Page 343
Previous Research......Page 344
Basic Definitions......Page 345
Causal Independence Models......Page 346
Model Description......Page 347
Data Description......Page 349
Training and Evaluation......Page 350
Results......Page 351
Conclusions......Page 352
Introduction......Page 355
Stationary Wavelet Preprocessing......Page 356
RBFNN Model......Page 357
Experiments and Results......Page 359
Conclusions......Page 361
Introduction......Page 363
Multi-Beacon Trilateration and Uncertainty Estimation......Page 365
Error Analysis for Movement Planning......Page 368
Simulation Results......Page 369
References......Page 373
Model of the Process......Page 375
Optimization of the Initial Conditions......Page 376
NDP Algorithm......Page 377
Results......Page 378
References......Page 379
Classification with Fuzzy Boundary......Page 380
Classification Model......Page 381
Case Study and Experimental Results......Page 382
References......Page 383
Introduction......Page 385
PenDHyb: Penalty-Based Distributed Hybrid Algorithm......Page 386
Empirical Evaluation......Page 387
Conclusions......Page 389
Introduction......Page 390
Encoding CSP vs. SAT......Page 391
Alldiff Constraints: Reduction Rules and Transformation......Page 392
Conclusion......Page 394
Introduction......Page 395
Related Works......Page 396
Implementation......Page 397
Results......Page 398
Conclusions and Future Works......Page 399
Background......Page 400
Modeling System Properties......Page 402
Conclusions and Future Work......Page 404
Introduction......Page 405
Experiments and Results......Page 407
Conclusions and Future Work......Page 408
Behavioral Modeling......Page 410
Modeling with Support Vector Machine......Page 411
Evaluation......Page 412
Conclusions......Page 413
References......Page 414
Decision Making Process......Page 415
Discovering Trading Expertise......Page 417
Experiments......Page 418
Conclusions......Page 419
Introduction......Page 420
Suboptimal MPC Based on Neural Wiener Models......Page 421
Simulation Results......Page 423
