AI\*IA 2005: Advances in Artificial Intelligence: 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings

This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence (AI\*IA), held in Milan at the University of Milano–Bicocca (September 21–23, 2005). On the one hand this congress continues the tradition of AI\*IA in organizing its biannual s- enti?c meeting from 1989; on the other hand, this edition is a landmark in the involvement of the international community of arti?cial intelligence (AI), directly involving a broad number of experts from several countries in the P- gramCommittee. Moreover,the peculiar nature of scienti?c researchin arti?cial intelligence (which is intrinsically international) and several consolidated int- national collaborations in projects and mobility programs allowed the collection and selection of papers from many di?erent countries, all around the world, enlarging the visibility of the Italian contribution within this research ?eld. Arti?cial intelligence is today a growing complex set of conceptual, theor- ical, methodological, and technological frameworks, o?ering innovative com- tational solutions in the design and development of computer-based systems. Within this perspective, researchers working in this area must tackle a broad range of knowledge about methods, results, and solutions coming from di?erent classical areas of this discipline. The congress was designed as a forum allowing researchers to present and discuss specialized results as general contributions to AI growth. Front Matter....Pages - The Complexity of Action Redundancy....Pages 1-12 On the Impact of Small-World on Local Search....Pages 13-24 A Hybrid Logic for Commonsense Spatial Reasoning....Pages 25-37 Using a Theorem Prover for Reasoning on Constraint Problems....Pages 38-49 Good and Bad Practices in Propositionalisation....Pages 50-61 Periodicity-Based Temporal Constraints....Pages 62-65 A Survey of Problem Difficulty in Genetic Programming....Pages 66-77 Intelligent Information Access by Learning WordNet-Based User Profiles....Pages 78-81 Refined Approximation of Concepts in Ontology....Pages 82-85 Argumentation for Access Control....Pages 86-97 Determining Preferences Through Argumentation....Pages 98-109 Avoiding Order Effects in Incremental Learning....Pages 110-121 Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming....Pages 122-134 The S CIFF Abductive Proof-Procedure....Pages 135-147 Scheduling with Probability and Temporal Constraints....Pages 148-159 Schedule Robustness Through Broader Solve and Robustify Search for Partial Order Schedules....Pages 160-172 Optimal Scheduling with Heuristic Best First Search....Pages 173-176 Planning with Derived Predicates Through Rule-Action Graphs and Local Search Techniques....Pages 177-181 The Architecture of a Reactive Path-Planner for Mobile Robots Based on Cellular Automata....Pages 182-185 Modal Operators with Adaptable Semantics for Multi-agent Systems....Pages 186-197 An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts....Pages 198-211 Towards Fault-Tolerant Formal Concept Analysis....Pages 212-223 Agent-Based Management of Responsive Environments....Pages 224-236 An ACL for Specifying Fault-Tolerant Protocols....Pages 237-248 Experimental Evaluation of Hierarchical Hidden Markov Models....Pages 249-257 Optimization of Association Rules Extraction Through Exploitation of Context Dependent Constraints....Pages 258-269 Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations....Pages 270-281 Configurations for Inference from Causal Statements: Preliminary Report....Pages 282-285 Laying the Foundations for a Formal Theory of Drama....Pages 286-289 A Semantic Kernel to Exploit Linguistic Knowledge....Pages 290-302 Building a Wide Coverage Dynamic Grammar....Pages 303-314 A Linguistic Inspection of Textual Entailment....Pages 315-326 Multigranular Scale Speech Recognizers: Technological and Cognitive View....Pages 327-330 Towards a General Framework for Substitutional Adaptation in Case-Based Reasoning....Pages 331-342 A Consumer Interest Prediction System from Transaction Behaviors in Electronic Commerce....Pages 343-346 Dealing with Different Languages and Old Profiles in Keystroke Analysis of Free Text....Pages 347-358 Learning Path Generation by Domain Ontology Transformation....Pages 359-369 A Multidimensional Framework for the Representation of Ontologies in Adaptive Hypermedia Systems....Pages 370-380 A Conversational Agent Based on a Conceptual Interpretation of a Data Driven Semantic Space....Pages 381-392 Solving Italian Crosswords Using the Web....Pages 393-405 A Counterfactual-Based Learning Algorithm for $\mathcal{ALC}$ Description Logic....Pages 406-417 Relational Learning: Statistical Approach Versus Logical Approach in Document Image Understanding....Pages 418-429 Handling Continuous-Valued Attributes in Incremental First-Order Rules Learning....Pages 430-441 Prototypal Ambient Intelligence Framework for Assessment of Food Quality and Safety....Pages 442-453 Managing Clinical Guidelines Contextualization in the GLARE System....Pages 454-465 Water Management Policy Selection Using a Decision Support System Based on a Multi-agent System....Pages 466-469 A CSP Approach for Modeling the Hand Gestures of a Virtual Guitarist....Pages 470-473 Experiences with CiceRobot, a Museum Guide Cognitive Robot....Pages 474-482 Human-Robot Interaction Through Mixed-Initiative Planning for Rescue and Search Rovers....Pages 483-494 Anchoring by Imitation Learning in Conceptual Spaces....Pages 495-506 Bayesian Emotions: Developing an Interface for Robot/Human Communication....Pages 507-517 Robot Security and Failure Detection Using Bayesian Fusion....Pages 518-521 Mining Relational Association Rules for Propositional Classification....Pages 522-534 Entity Recognizer in Hungarian Question Processing....Pages 535-546 Recognition Algorithm for Korean Postpositions by Detecting Prosody Boundaries....Pages 547-552 Fuzzy Multinomial Control Charts....Pages 553-563 Fuzzy Logic Resource Manager: Fuzzy Rules and Experiments....Pages 564-575 Application of PGA on Optimization of Distribution of Shopping Centers....Pages 576-586 BIOPACMAS: A Personalized, Adaptive, and Cooperative MultiAgent System for Predicting Protein Secondary Structure....Pages 587-598 Improving Neural Classification with Markov Chain....Pages 599-602 Intelligent Neurofuzzy Model Based Control of Electrically Heated Micro Heat Exchanger....Pages 603-607 Managing Functional and Ontological Knowledge in the Design of Complex Mechanical Objects....Pages 608-611 Back Matter....Pages - This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence (AI*IA), held in Milan at the University of Milano-Bicocca (September 21-23, 2005). On the one hand this congress continues the tradition of AI*IA in organizing its biannual s- enti?c meeting from 1989; on the other hand, this edition is a landmark in the involvement of the international community of arti?cial intelligence (AI), directly involving a broad number of experts from several countries in the P- gramCommittee. Moreover, the peculiar nature of scienti?c researchin arti?cial intelligence (which is intrinsically international) and several consolidated int- national collaborations in projects and mobility programs allowed the collection and selection of papers from many di?erent countries, all around the world, enlarging the visibility of the Italian contribution within this research?eld. Arti?cial intelligence is today a growing complex set of conceptual, theor- ical, methodological, and technological frameworks, o?ering innovative com- tational solutions in the design and development of computer-based systems. Within this perspective, researchers working in this area must tackle a broad range of knowledge about methods, results, and solutions coming from di?erent classical areas of this discipline. The congress was designed as a forum allowing researchers to present and discuss specialized results as general contributions to AI growth

This book constitutes the refereed proceedings of the 9th Congress of the Italian Association for Artificial Intelligence, AI*IA 2005, held in Milan, Italy in September 2005.

The 46 revised full papers presented together with 16 revised short papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on either theoretical research with results and proposals, improvements and consolidations, or on applications as there are systems and prototypes, case studies and proposals. Within this classification some of the main classical topics of AI are presented (agents, knowledge representation, machine learning, planning, robotics, natural language, etc.), but here the focus is on the ability of AI computational approaches to face challenging problems and to propose innovative solutions.