Current Topics in Artificial Intelligence: 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela,

Front matter......Page 1
Introduction......Page 15
Answer Set Programming......Page 16
LPODs......Page 17
ASO Programs......Page 18
Configuration......Page 19
Abduction and Diagnosis......Page 20
Inconsistency Handling......Page 21
Game Theory......Page 22
Conclusions......Page 23
Introduction......Page 25
Bayesian Units and Fusion......Page 26
Competitive Fusion Operator......Page 27
Obtaining Points in the 3D Space......Page 28
Establishment of Point's Colour......Page 29
Fusion of Colour Processing Units......Page 30
Experimentation and Results......Page 31
Conclusions......Page 33
Introduction......Page 35
The MKP and the Surrogate Problem......Page 36
The Evolutionary Algorithm for the MKP......Page 38
Genetic Operators......Page 39
Local Search Procedure......Page 40
Experimental Results......Page 41
Conclusive Remarks......Page 43
Introduction......Page 45
Clinical Example......Page 46
The MFTP Model......Page 47
Matching......Page 49
A Heuristics for Increasing Matching Efficiency......Page 52
Validation......Page 53
Discussion and Conclusions......Page 54
Introducción......Page 56
Meta-Reasoning......Page 57
Meta-Reasoning Model for RTA......Page 58
Adapting the Behavior......Page 59
Adapting the Reasoning Process......Page 60
Applying the Model to a Particular Real-Time Architecture: ARTIS Agent......Page 63
Conclusions......Page 64
Introduction......Page 66
Notation......Page 67
Feasibility of a Solution - Set of Constraints......Page 68
A Scheduling Order-Based Method (SOBM)......Page 70
Using a Search Tree to Model the Train Timetabling Problem......Page 71
Results......Page 73
Conclusions......Page 74
Introduction......Page 76
Notation and Definitions......Page 77
The CSP Problem Specification......Page 78
Improving the Algorithm: A Greedy Method......Page 80
Conclusions and Future Work......Page 81
Introduction......Page 83
Robot-Environment System......Page 84
Dynamic Pan, Tilt and Zoom Adjustments for Visual Landmark Detection......Page 85
Emergency Exit Panel Recognition......Page 86
Sonar Based Tilt and Zoom Adjust......Page 87
Compass Based Pan Adjustment......Page 88
Experimental Results......Page 90
Conclusions and Further Work......Page 91
Motivation......Page 93
Validation Process of Model Translation......Page 95
Simulation Results from Reimplementation......Page 96
Multi-agent Based Simulation Toolkit Facilities......Page 98
Scheduling......Page 99
Space......Page 100
Conclusions......Page 101
References......Page 102
Introduction......Page 103
Describing an Agent in INGENIAS......Page 105
The Evolution of the Agent......Page 107
Semantics......Page 108
Conclusions......Page 111
References......Page 112
Motivation......Page 113
Agent Based Modeling Open Issues......Page 114
Proposal......Page 115
References......Page 116
Referring Expression Generation and Aggregation......Page 117
Open Agent Architecture......Page 118
Multiagent Module for Referring Expression Generation and Aggregation......Page 119
Data Representation......Page 120
Specific Funcionality of the Agents......Page 121
Experiments and Results......Page 123
Discussion......Page 124
Conclusions and Future Work......Page 125
Introduction......Page 127
Hand Posture Detection......Page 129
Hand Posture Tracking......Page 130
Hand Pose Identification......Page 132
Experimental Results......Page 134
Conclusions......Page 135
Introduction......Page 137
Effective Central Action Selection......Page 138
Computational Models of Action Selection......Page 140
The Centralized Action Selection Model......Page 141
The Foraging Task......Page 143
The Chasing Task......Page 144
References......Page 145
Introduction......Page 147
Alternatives Representation: The Partially Ordered Set $\mathcal {R}$......Page 148
Non-weighted Distances......Page 149
Weighted Distances......Page 150
Consistency of the Method of Choice......Page 151
Selection of the Reference Rectangle......Page 152
Application to a Real Case of Decision-Making Support for the Performance of an Engineering Project......Page 153
Conclusion......Page 155
Introduction......Page 157
Incorporating Machine Learning into the Optical Property Function Elicitation Process......Page 159
Incorporating Attribute-Value Learning......Page 160
Metrics and Analyzed Algorithms......Page 161
Experimental Results......Page 162
Conclusions and Future Work......Page 165
Introduction......Page 167
Coalition Formation Model......Page 168
Coalition Formation in P2P File Sharing System......Page 170
Assumptions and Definitions......Page 171
Computing Internal Reputation......Page 173
An Example......Page 174
Conclusions and Future Work......Page 176
Introduction......Page 177
The Bubbles Technique......Page 178
Viola-Jones General Object Detection Framework......Page 179
Geometric Restrictions......Page 180
Experiments......Page 181
Conclusions......Page 183
Introduction......Page 185
Postural Scheme Method......Page 186
Basic Considerations on ANN......Page 187
Error Measurements......Page 189
Experimental Results......Page 190
Conclusions and Further Work......Page 193
Introduction......Page 194
NAMOA* Algorithm......Page 195
Example......Page 197
Necessary and Sufficient Conditions for Path Expansion......Page 198
Comparison of Heuristics......Page 200
Consistency and Monotonicity......Page 201
Comparison with MOA*......Page 202
Conclusions and Future Work......Page 203
Introduction......Page 204
Dynamic Time Warping......Page 205
The WARP System......Page 207
The Cyclic Dynamic Time Warping Dissimilarity......Page 209
Experiments......Page 210
Conclusions......Page 212
Introduction......Page 214
Diagnosis Framework......Page 215
Abstract Model Generation (AMG)......Page 216
Program Transformation......Page 217
Error Detection (ED)......Page 218
Diagnosis Problem......Page 219
Diagnosing Contracts......Page 220
Diagnosing Source Code (with Assertions)......Page 222
Conclusion and Future Work......Page 223
Introduction......Page 225
The Case-Based Reasoning Architecture......Page 226
Plant Description......Page 227
Fault Modes......Page 228
Experimental Design and Results......Page 229
Conclusions and Future Work......Page 232
Introduction......Page 235
Face Representation......Page 236
Datasets and Libraries......Page 238
Gabor Filters + SVM......Page 239
Conclusions and Future Work......Page 241
Introduction......Page 245
Problem Formulation......Page 246
A Genetic Algorithm for the JSS Problem......Page 247
Heuristic Seeding......Page 249
Experimental Study......Page 251
Conclusions......Page 253
Introduction......Page 255
MREM Model with Semi-parallel Dynamics......Page 256
MREM as Auto-Associative Memory......Page 257
Spurious Patterns......Page 258
Some Remarks on the Capacity of the Net......Page 259
When Capacity is Exceeded......Page 260
Learning Reinforcement......Page 261
Simulations......Page 262
Conclusions......Page 263
Introduction......Page 265
hBIDA*......Page 266
15-Puzzle......Page 270
Mazes......Page 271
Conclusions......Page 273
Introduction......Page 275
Image Characterization Method......Page 276
Texture Features......Page 277
A Modified Rate Distortion Function for Image Classification......Page 278
Experimental Results......Page 280
Conclusions......Page 281
Introduction......Page 283
A Countercurrent Heat-Exchanger......Page 285
Structural Configuration of Resistors......Page 286
Definitions and Notation......Page 287
Symmetry Analysis in Symmetrical NCSP......Page 288
Numeric Symmetries Library......Page 289
Experimental Results......Page 291
Conclusions and Future Work......Page 292
Introduction......Page 294
Motivation and Proposed Methodology......Page 295
Obtaining Interesting Word Co-occurrences......Page 297
Multidimensional Models for Document Collections......Page 298
Deriving Contents Dimensions......Page 299
Experiments and Evaluation......Page 301
Conclusions......Page 303
Introduction......Page 305
Category Activation Function......Page 306
Category Expansion......Page 307
Vigilance Test......Page 308
Processing......Page 309
Results......Page 310
Discussion......Page 312
Conclusions......Page 313
Introduction and Motivation......Page 315
Related Work......Page 316
Ontologies: Domain Considerations......Page 317
Reimdoc Project......Page 318
Legal Ontologies......Page 319
Real-Estate Transaction Ontologies Roles......Page 320
Main Ontology Modelling Components......Page 322
Conclusions and Future Prospects......Page 323
Introduction......Page 325
Planning and Propositional Logic......Page 326
Conformant Planning and Models......Page 328
Projection and d--DNNF......Page 329
Conformant Planner......Page 330
Experimental Results......Page 331
Discussion......Page 332
Introduction......Page 335
CBR-BDI Agents......Page 337
Air Sea Interaction Problem......Page 338
Gaia Analysis and Design......Page 339
Detailed AUML Design......Page 341
Results and Conclusions......Page 342
Computer Music......Page 345
Music System Levels......Page 346
Music Dimensions......Page 347
Composition Knowledge......Page 348
The Symbolic Level......Page 349
MetaModel Structure......Page 350
Level Development......Page 351
Sound Synthesis from the Metalevel......Page 352
Extending the MetaModel: Modeling a Composing Procedure......Page 353
Conclusions......Page 354
References......Page 355
Introduction......Page 356
Primitive Image Features Extraction......Page 357
Texture Features......Page 358
Coding Image Content and Assessment of Complexity......Page 360
Results and Discussions......Page 362
Introduction......Page 364
Linear and Nonlinear Mappings in DIP......Page 365
Chebyshev Linear Approximations......Page 366
Multi-layer CNN for Dynamic Range Control......Page 367
Multi-layer CNN for Chebyshev Linear Approximation......Page 368
Contrast Enhancement with Multi-layer CNN......Page 370
Conclusion......Page 372
References......Page 373
Introduction......Page 374
Mathematical Background and Relation to Image Analysis......Page 376
Fade Detection......Page 377
Fade Detection Algorithm Introduction......Page 378
Model-Based Approach......Page 379
Fade Detection Algorithm......Page 380
Performance of Entropy as a Fade Detector......Page 381
Analysis of Mathematical Model......Page 382
Conclusions......Page 383
Introduction......Page 384
Syntax and Semantics of the Language ${\cal L}(MQ)^{N_\mathbb{R}}$......Page 385
Axiom System for ${\cal L}(MQ)^{N_{\mathbb{R}}}$......Page 387
Comparison with Other Definitions of Negligibility......Page 388
Conclusions and Future Work......Page 391
Introduction......Page 393
Real-Time Search: RTA*, LRTA* and HLRTA*......Page 394
Bounded Propagation......Page 396
HLRTA*($k$)......Page 397
Experimental Results......Page 400
Conclusions......Page 402
Introduction......Page 403
Previous Segmentation......Page 404
Obtaining Regions Using Simulated Annealing......Page 405
Adaptive Thresholding......Page 407
Region Segmentation Using Adaptive Thresholding......Page 408
Experimentation......Page 409
Conclusions......Page 411
Introduction......Page 413
Planning in Temporal Domains with Delays......Page 414
CSP Specification......Page 416
Encoding the Current Plan into a TCSP......Page 418
Solving the CSP......Page 419
Experimental Results......Page 420
Conclusions and Further Work......Page 422
Introduction......Page 423
Plant Description......Page 424
Equivalent Control......Page 426
Combination of the Two Controllers......Page 427
Simulation Results......Page 430
References......Page 432
Introduction......Page 433
Preprocessing......Page 434
Morphological and Lexical Analysis......Page 435
Numerical Expressions, Temporal Expressions and Entity Recognition......Page 436
Semantic Analysis......Page 437
Machine Learning......Page 438
Evaluation and Corpora......Page 439
Conclusions......Page 440
HTN Planning Foundations......Page 443
Including Inference Capabilities in SIADEX......Page 444
Qualitative Orderings......Page 446
Inferring New Quantitative Orderings From Causal Links......Page 447
Deadline Goals......Page 449
Temporal Landmarking and Complex Synchronizations......Page 450
Conclusions......Page 451
Introduction......Page 453
The Multi-Team Formation (M-TF) Problem......Page 454
The Multi-Team Formation (M-TF) Solution......Page 455
The M-TF Problem Illustration......Page 457
Summary and Future Work......Page 461
References......Page 462
Introduction......Page 463
Spam Filtering Techniques......Page 464
Analysing the Available Corpus......Page 465
Message Representation......Page 466
Evaluation......Page 467
Experimental Results......Page 468
Conclusions and Further Work......Page 470
References......Page 471
Introduction......Page 473
The Mental State Framework......Page 474
Managing Motivations in MSF......Page 476
The BDI-Like Agent......Page 478
The Motivation-Based BDI Agent......Page 479
Conclusions......Page 481
Foundations......Page 484
Motivation and Related Work......Page 485
NARMAX Modelling......Page 486
Robot ``Programming" Through Task Identification: Door Traversal......Page 487
Sensitivity Analysis Through Modulation with Noise......Page 489
Sensitivity Analysis Through Partial Derivation......Page 490
Summary and Conclusion......Page 492
Back matter......Page 494