AI*IA 2011: Artificial Intelligence Around Man and Beyond

Name: AI*IA 2011: Artificial Intelligence Around Man and Beyond | XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings

Roberto Pirrone Filippo Sorbello(Herausgeber*in)

Springer (Verlag)

Erschienen am 15. September 2011

XV, 464 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-23954-0 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Title
Preface
Organization
Table of Contents
Invited Talks
Foundations and New Paradigms of Brain Computing: Past, Present, and Future
Introduction
What Is an Object? Learning Object Categories under Free Viewing Conditions
References
Robotics as the Hub of Various Research Areas
Can We Design Artificial Pedagogical Agents to Be Intelligent Enough to Detect, Model, and Foster Regulatory Learning Processes?
Machine Learning
A Comparative Study of Thresholding Strategies in Progressive Filtering
Introduction
Thresholding Strategies
Progressive Filtering
The Threshold Selection Algorithm
Motivations
Analysis and Implementation of TSA
Expected Runnning Time and Computational Complexity of TSA
Experimental Results
Conclusions and Future Work
References
Semi-Supervised Multiclass Kernel Machines with Probabilistic Constraints
Introduction
Multiclass Learning with Constraints
Probabilistic Constraints
Training the Multiclass Classifier
Experimental Results
Conclusions
References
Plugging Numeric Similarity in First-Order Logic Horn Clauses Comparison
Introduction
Background
Similarity Framework
Numeric Similarity
Evaluation
Conclusions
References
Learning to Tag Text from Rules and Examples
Introduction
Learning to Tag with Constraints
Translation of First-Order Logic Clauses into Real-Valued Constraints
Experimental Results
Conclusions and Future Work
References
Comparison of Dispersion Models by Using Fuzzy Similarity Relations
Introduction
Norms and Residuum
Fuzzy Similarity
Min-transitive Closure
Dendrogram Description Matrices
Agglomerative Methodology
Experimental Results
Conclusions
References
Distributed AI: Robotics and MAS
An Interaction-Oriented Agent Framework for Open Environments
Introduction
The Mercurio Framework
Specification Level
Programming Abstractions Level
Infrastructure Level
Mediation as a Foundation for Interaction
Discussion
Conclusion
References
Fuzzy Conformance Checking of Observed Behaviour with Expectations
Introduction
Background on the Drools Framework and Its Support to Fuzzy Reasoning
Fuzzy Reasoning Capabilities
Fuzzy Ontological Reasoning
Exploiting Drools and Drools Chance to Manage Fuzzy Time Aspects
Checking Fuzzy Conformance
Conformance as Ontological Fuzzy Evaluation
Fuzzy Temporal Evaluation
Combining Different Fuzzy Contributions
Discussion and Conclusions
References
Dealing with Crowd Crystals in MAS-Based Crowd Simulation: A Proposal
Introduction
The Scenario of Arafat I Station on Mashaer Line
Crowd Crystals: A Formal Model
Crystals
Agents
Agent Behavioural Rules
Modelling Groups in the Scenario of Arafat I Station
Conclusions and Future Directions
References
An Agent Model of Pedestrian and Group Dynamics: Experiments on Group Cohesion
Introduction
The GA-Ped Model
Space and Environment
Pedestrians
Simulation Scenario
Conclusions and Future Developments
References
An Architecture with a Mobile Phone Interface for the Interaction of a Human with a Humanoid Robot Expressing Emotions and Personality
Introduction
The Emotional Space Creation
The Cognitive Architecture
The Sub-conceptual Area
The Emotional Area
The Behavioral Area
Expected Results
Conclusion and Future Works
References
Theoretical Issues: Knowledge Representation and Reasonoinng, Planning, Cognitive Modeling
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation
Introduction
Verification of MLPs: Case Study and Basic Concepts
SMT Encodings to Verify MLPs
Global Safety
Local Safety
Challenging SMT Solvers to Verify MLPs
References
A Dual Association Model for Acquisition and Extinction
Introduction
Related Models
Background
Leabra Modeling Framework
The Model
Experiments
Simulation 1: Savings
Simulation 2: Reinstatement
Simulation 3: Renewal
Simulation 4: Feature Positive Discrimination
Simulation 5: Conditioned Inhibition
Conclusions
References
Intelligent Supervision for Robust Plan Execution
Introduction
A Motivating Example
Basic Control Architecture
Improving the Control
Knowledge for the Active Control
Improved Control Architecture
Experimental Results
Discussion and Conclusions
References
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic DL-Litecore
Introduction
The Typicality Operator T and the Logic DL-LitecTmin
A Tableau Calculus for DL-LitecTmin
First Phase: The Tableaux Calculus TABLitecTPH1
The Tableaux Calculus TABLitecTPH2
Related Works and Conclusions
References
Monte-Carlo Style UCT Search for Boolean Satisfiability
Introduction
Upper Confidence Bounds Applied to Trees (UCT)
UCTSAT
Experimental Analysis
Discussion and Conclusions
References
Exploiting Macro-actions and Predicting Plan Length in Planning as Satisfiability
Introduction
Using Macro-actions during SAT Solving
Predicting and Using Learned Horizons in SATPLAN
Experimental Results
Conclusions
References
Natural Language Processing
Clustering Web Search Results with Maximum Spanning Trees
Introduction
Related Work
Approach
Word Sense Induction
Clustering Web Results
Experiments
Experimental Setup
Experiment 1: Clustering Quality
Experiment 2: Diversification
Conclusions
References
Interdisciplinary Contributions to Flame Modeling
Introduction
Related Work
Web Communication Model
The Flaming Phenomena
Flames and Risky Topics Features
Expression Features
User Profiling
Our Approach to Flames and Risky Topics Identification
Corpus
The Framework
Results
Discussion and Conclusions
References
Latent Topic Models of Surface Syntactic Information
Introduction
Topic Models for Semantic Interpretation Tasks
Semantic Intepretation Tasks
Encoding Syntactic Information into a Standard Topic Model
Limitations of Purely Lexical LDA for NLP
A Simple Topic Model for Shallow Syntactic Information
Experiments
Task1: Predicate Recognition
Task 2: Question Classification
Conclusions
References
Structured Learning for Semantic Role Labeling
Linguistic Features for Inductive Tasks
Shallow Parsing and Grammatical Feature engineering
Structured Learning for SRL
Features for SRL Sequence Labeling Tasks
Performance Evaluation
Experiment I: Labeling English Texts
Experiment II: Labeling Italian Texts
Conclusions
References
Cross-Language Information Filtering: Word Sense Disambiguation vs. Distributional Models
Introduction
Related Work
First Approach: Learning Profiles Based on MultiWordnet
Second Approach: Distributional Models
Experimental Evaluation
Users and Dataset
Design of the Experiment
Discussion of Results
Conclusions and Future Work
References
AI Applications I
Double-Sided Recommendations: A Novel Framework for Recommender Systems
Introduction
Related Work
Double-Sided Recommendation Framework
Social Comparison-Based Recommendation Method
Component-Based Recommendation Methods
Evaluation
Evaluation Overview
Main Evaluation Phase
Conclusion and Future Work
References
Intelligent Self-repairable Web Wrappers
Introduction
Background and Related Work
The Tree Matching Algorithm
Web Wrappers
Robust XPath Generation and Fall-Back Strategies
Configuring Adaptable Wrappers
Automatic Wrapper Adaptation
Self-repairing Rules
Wrapper Re-induction
Performances Measurement
Conclusions and Future Work
References
Synthesis of Collective Tag-Based Opinions in the SocialWeb
Introduction
Introducing the iTag Concept
iTags Interpretation
iTags Synthesis
A Preliminary Evaluation of the Approach
Related Work
Conclusions and Future Work
References
Propagating User Interests in Ontology-Based User Model
Introduction
Our Approach
Inferring User Interest (Sensed Interest)
Propagating User Interest (Propagated Interest)
Use Case
Evaluation of the Approach
Related Work
Conclusions and Future Work
References
Integrating Commonsense Knowledge into the Semantic Annotation of Narrative Media Objects
Introduction
Related Work
The Architecture of CADMOS
The Drammar Ontology
Ontology-Based Meaning Negotiation
Annotation Example
Conclusions
References
AI Applications II
An Application of Fuzzy Logic to Strategic Environmental Assessment
Introduction
Strategic Environmental Assessment
Fuzzy and Many-Valued Logic
Models
Many-Valued Logic Models
Fuzzy Models
Model Evaluation
Conclusions
References
Using Planning to Train Crisis Decision Makers
Introduction
Training for Crisis Decision Makers
The Pandora Approach
Using Planning for Organizing Lesson Content
A Timeline-Based Problem Representation
Planning and Executing Timelines
The Pandora-Box Interactive Features
Conclusions
References
Clustering and Classification Techniques for Blind Predictions of Reservoir Facies
Introduction
Background
Methodology
Experimental Results
Conclusions
References
Multi-sensor Fusion through Adaptive Bayesian Networks
Motivations and Related Work
The Proposed System
The Sensory Infrastructure
Environmental Modeling through a Bayesian Network
Implementing Self-configuration
Indices for Self-configuration
Adapting the Sensor Network Configuration
Running Example
Conclusions
References
Tackling the DREAM Challenge for Gene Regulatory Networks Reverse Engineering
Introduction
Datasets Description
Methods
Results
Conclusion
References
Poster Session
Full Extraction of Landmarks in Propositional Planning Tasks
Introduction
Existing Approaches to the Extraction of Landmarks and Orderings
The FULL Approach
Final Conclusions
References
Rule-Based Creation of TimeML Documents from Dependency Trees
Introduction
The Event Detector
The XML Configuration File
Evaluation
References
Handling Partial Preferences in the Belief AHP Method: Application to Life Cycle Assessment
Introduction
Analytic Hierarchy Process
Belief Function Theory
Belief AHP Approach
Application
Conclusion
References
Combining Description Logics and Typicality Effects in Formal Ontologies
Introduction
Compositionality vs. Prototypes
Concept Representation in Artificial Intelligence
Some Suggestions from Cognitive Science
A``Pseudo-Fodorian'' Proposal
Prototypes and Exemplars
Some Suggestion for the Implementation
Expected Results
References
Italian Anaphoric Annotation with the Phrase Detectives Game-with-a-Purpose
Introduction
Phrase Detectives
Porting Phrase Detectives to Italian
Main Syntactic Phenomena
Evaluation and Discussion
References
A New Possibilistic Clustering Method: The Possibilistic K-Modes
Introduction
The K-Modes Method
Possibility Theory: An Overview
The Possibilistic K-Modes Method
The Possibilistic K-Modes Parameters
The Possibilistic K-Modes Algorithm
Experiments
The Framework
Artificial Creation of Uncertain Data Sets
Evaluation Criteria
Experimental Results
Conclusion
References
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions
Introduction
Instances and Solvers
Experimental Analysis
References
Multi-platform Agent Systems with Dynamic Reputation Policy Management
Introduction
System Description
The Implemented Security Levels
Agents community description
Dynamic Reputation Management
Conclusions
References
Integrating Built-in Sensors of an Android with Sensors Embedded in the Environment for Studying a More Natural Human-Robot Interaction
Introduction
Geminoid System
Related Work
System
Expected Results and Improvements of the Control System
Conclusion and Future Works
References
Probabilistic Anomaly Detection for Wireless Sensor Networks
Introduction
Related Work
Detecting Anomalies in Wireless Sensor Nodes
Modeling Sensor Nodes Behavior
Specializing the Model for Indoor Environmental Monitoring
Inferring the Health Status of an Environmental Sensor Node
Experimental Results
Scenario 1: Dataset influenced by actuators
Scenario 2: Dataset influenced by a simulated fault
Scenario 3: Dataset Influenced by Actuators and a Simulated Error
Conclusion
References
From Natural Language Definitions to Knowledge Bases Axioms
Introduction
System
APE, C&C and SystemOne
Experiments and Results
Conclusions and Future Work
References
A Multimodal People Recognition System for an Intelligent Environment
Introduction
System Overview
Voices Detection and Recognition
Faces Detection and Recognition
Identity Anchoring
Experimental Results
Conclusions and Future Works
References
Instance-Based Classifiers to Discover the Gradient of Typicality in Data
Introduction
Hybrid Instance-Based Classifier Systems
Experimental Results
Concluding Remarks
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken