Agents and Artificial Intelligence : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers / / edited by Jaap van den Herik, Joaquim Filipe

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
• Edizione: 1st ed. 2017.
• Descrizione fisica: 1 online resource (XVI, 315 p. 114 illus.)
• Disciplina: 006.3
• Soggetto topico: Artificial intelligence; Application software; Computer programming; Programming languages (Electronic computers); Mathematical logic; Artificial Intelligence; Information Systems Applications (incl. Internet); Programming Techniques; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Computer Appl. in Administrative Data Processing
• Persona (resp. second.): van den HerikJaap; FilipeJoaquim
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Intro -- Preface -- Organization -- Contents -- Agents -- Perception of Masculinity and Femininity of Agent's Appearance and Self-adaptors -- Abstract -- 1 Introduction -- 2 Related Research on Gender and Virtual Agents -- 3 Video Analysis of Self-adaptors and Implementation of Agent Animation -- 3.1 Video Analysis of Self-adaptors -- 3.2 Agent Character and Animation Implementation -- 4 Experiment -- 4.1 Experimental System -- 4.2 Experimental Procedure -- 5 Results -- 5.1 Results of Factorial Analysis -- 5.2 Analysis of Tolerance Factor and Sociability Factor -- 5.3 Analysis of Gender Factor -- 5.4 Analysis of Naturalness Factor -- 6 Discussion and Future Directions -- 7 Conclusion -- Acknowledgement -- References -- Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System -- 1 Introduction -- 2 Related Work -- 2.1 Model Checking Multiagent Systems -- 2.2 Planning and Model Checking -- 3 Case Study: Z2 -- 3.1 Multiagent System Simulation -- 4 Formal Specification -- 5 Constrained Branch-and-Bound Optimization -- 5.1 Optimization Goal -- 6 Process Synchronization -- 6.1 Discrete Event System -- 6.2 Local Virtual Time -- 7 Evaluation -- 7.1 Inflexible Product Variants -- 7.2 Flexible Product Variants -- 8 Conclusions -- References -- Adaptive Switching Behavioral Strategies for Effective Team Formation in Changing Environments -- 1 Introduction -- 2 Related Work -- 3 Model -- 3.1 Agents and Tasks -- 3.2 Execution by a Team -- 3.3 Forming Teams -- 4 Proposed Method -- 4.1 Learning for Cooperation -- 4.2 Role Selection and Learning -- 4.3 Agent Switching Behavioral Strategies -- 4.4 Selection of Behavioral Strategies -- 5 Experimental Evaluation -- 5.1 Experimental Setting -- 5.2 Performance Results -- 5.3 Behavioral Analysis -- 5.4 Performance in Changing Environments -- 5.5 Discussion -- 6 Conclusion. ; References -- From Reviews to Arguments and from Arguments Back to Reviewers' Behaviour -- 1 Introduction -- 2 Literature Review -- 3 Dataset -- 4 Analysis -- 5 Simulation with NetLogo -- 6 Conclusion -- References -- Artificial Intelligence -- Integrating Graded Knowledge and Temporal Change in a Modal Fragment of OWL -- 1 Introduction -- 2 OWL Vs Modal Representation -- 3 Confidence and Confidence Intervals -- 4 Normal Form and Model Theory -- 4.1 Simplification and Normal Form -- 4.2 Model Theory -- 4.3 Two Constraints: Well-Behaved Frames -- 5 Entailment Rules -- 5.1 Modal Entailments -- 5.2 Subsumption Entailments -- 5.3 Extended RDFS and OWL Entailments -- 6 Adding Time -- 6.1 Metric Linear Time -- 6.2 Valid Time -- 6.3 Transaction Time -- 6.4 Entailment Rules for Graded Modals and Transaction Time -- 6.5 Model Theory for Graded Modals and Transaction Time -- 7 Summary -- References -- An Agent-Based Architecture for Personalized Recommendations -- 1 Introduction and Motivation -- 2 Related Work -- 3 Background -- 4 The Multi-context BDI Framework -- 4.1 Belief Context -- 4.2 Desire Context -- 4.3 Goal Context -- 4.4 Social Context -- 4.5 Planning and Intention Contexts -- 4.6 Bridge Rules -- 5 Illustrative Example -- 6 Simulation -- 7 Conclusions -- References -- Enhancing Support Vector Decoders by Integrating an Uncertainty Model -- 1 Introduction -- 2 Related Work -- 2.1 Uncertainty in the Smart Grid -- 2.2 Surrogate Models for der -- 2.3 Decoders for Scheduling -- 3 Modeling Confidence -- 4 Results -- 5 Conclusion -- References -- Natural Language Argumentation for Text Exploration -- 1 Introduction -- 2 Related Work -- 3 Bipolar Entailment Graphs -- 3.1 Textual Entailment -- 3.2 From Pairs to Graphs -- 4 Text Exploration Through Argumentation -- 4.1 Abstract Dialectical Frameworks -- 4.2 Extracting Meaningful Information Using ADF. ; 5 Experimental Setting -- 5.1 Dataset -- 5.2 Evaluation -- 6 Examples -- 7 Conclusions -- References -- Instance Selection and Outlier Generation to Improve the Cascade Classifier Precision -- 1 Introduction -- 2 Related Work -- 3 Cascade of Overlapping Feature Classifiers -- 4 Data Preprocessing Methods -- 4.1 Selection of Feasible Examples -- 4.2 Sampling of Infeasible Examples Near the Class Boundaries -- 5 Experimental Study -- 5.1 Data Sets -- 5.2 Experimental Setting -- 5.3 Results -- 6 Parameter Sensitivity Study and Parameter Fitting Rules -- 6.1 Experimental Setup -- 6.2 Results -- 7 Conclusions -- References -- Qualitative Possibilistic Decisions: Decomposition and Sequential Decisions Making -- 1 Introduction -- 2 Graphical Frameworks for Possibilistic Qualitative Decision -- 2.1 Min-Based Possibilistic Influence Diagrams -- 2.2 Min-Based Possibilistic Networks -- 3 Decomposition of Min-Based Possibilistic Influence Diagram -- 3.1 The Construction of a Knowledge-Based Qualitative Possibilistic Network -- 3.2 Building Preference-Based Qualitative Possibilistic Network -- 4 On the Computation of Optimal Optimistic Strategy -- 4.1 Qualitative Possibilistic Decision -- 4.2 Computing Sequential Decisions Using Junction Trees -- 5 Experimental Studies -- 6 Conclusions -- References -- Enhancing Visual Clustering Using Adaptive Moving Self-Organizing Maps (AMSOM) -- 1 Introduction -- 2 Related Work -- 2.1 SOM and Competitive Learning -- 2.2 Flexible Structure in Neural Networks and SOM -- 3 Expanding the Idea of Self-organization in Neuron Locations -- 3.1 Phase I: AMSOM Initialization -- 3.2 Phase II: Training -- 3.3 Phase III: AMSOM Finalization and Clustering of the Map -- 4 Experiments -- 5 Conclusion -- References -- Discrete Multi-agent Plan Recognition: Recognizing Teams, Goals, and Plans from Action Sequences -- Abstract -- 1 Introduction. ; 2 Related Research -- 3 Multi-agent Plan Recognition as Planning -- 3.1 Recognizing Multi-agent Plans -- 3.2 Extending PRAP to Teams -- 3.3 Assumptions and Limitations -- 4 MAPRAP Evaluation -- 4.1 A Team Blocks World Domain -- 4.2 Multi-agent Plan Synthesis -- 5 Results -- 5.1 Efficiency of Pruning -- 5.2 Precision of Recognition -- 5.3 Accuracy of Recognition -- 5.4 Recall of Recognition -- 6 Future Work -- 7 Conclusions -- References -- Keeping Secrets in EL+ Knowledge Bases -- 1 Introduction -- 2 Syntax and Semantics of EL+ -- 3 Computation of A* and T* -- 3.1 Computation of T* -- 3.2 Computation of A* -- 4 Secrecy-Preserving Reasoning in EL+ KBs -- 5 Query Answering -- 5.1 Conclusions -- References -- An Automatic Approach for Generation of Fuzzy Membership Functions -- Abstract -- 1 Introduction -- 2 Background -- 3 The Proposed Approach -- 3.1 Generating Triangular Membership Functions -- 3.2 Generating Trapezoidal Membership Functions -- 3.3 Impact of the Shape of Cluster on Support of MFs -- 4 Experimental Results -- 4.1 Dataset -- 4.2 Comparison of Techniques for Parameterizing Attributes with Different Characteristics -- 4.3 Results on Classification Accuracy Using MFs Produced by Different Techniques -- 5 Conclusion -- References -- Facilitating Multi-agent Coalition Formation in Self-interested Environments -- 1 Introduction -- 2 Related Research -- 3 ACCORD -- 3.1 Problem Description -- 3.2 Protocol Description of Public ACCORD -- 3.3 Protocol Description of Private ACCORD -- 4 Empirical Evaluation -- 4.1 Experimental Methodology -- 4.2 Fair/Selfish Behaviour in Public ACCORD -- 4.3 Cooperative/Uncooperative Behaviour in Public ACCORD -- 4.4 Fair/Selfish Behaviour in Private ACCORD -- 4.5 Cooperative/Uncooperative Behaviour in Private ACCORD -- 5 Conclusions -- References. ; Modeling the Directionality of Attention During Spatial Language Comprehension -- 1 Introduction -- 2 The Models -- 2.1 The AVS Model -- 2.2 The rAVS Model -- 3 Model Comparison -- 3.1 Goodness-Of-Fit (GOF) -- 3.2 Simple Hold-Out (SHO) -- 3.3 Model Flexibility Analysis (MFA) -- 3.4 Discussion -- 4 Conclusion -- 4.1 Future Work -- References -- Detecting Hidden Objects Using Efficient Spatio-Temporal Knowledge Representation -- 1 Introduction -- 2 Proposed Approach -- 3 Experiments and Discussion -- 4 Conclusions -- References -- Author Index.
• Sommario/riassunto: This book contains revised and extended versions of selected papers from the 8th International Conference on Agents and Artificial Intelligence, ICAART 2016, held in Rome, Italy, in February 2016. The 17 revised full papers were carefully reviewed and selected from 149 initial submissions. The papers are organized in two sections: agents and artificial intelligence. They address open research trends and highlight in an innovative manner the trends in intelligent multi-agent systems, natural language processing, and knowledge representation.
• Titolo autorizzato: Agents and artificial intelligence
• ISBN: 3-319-53354-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484989403321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture Notes in Artificial Intelligence ; ; 10162