LEADER 11844nam 22007935 450 001 996465743003316 005 20200703111027.0 010 $a3-319-53354-1 024 7 $a10.1007/978-3-319-53354-4 035 $a(CKB)3710000001079935 035 $a(DE-He213)978-3-319-53354-4 035 $a(MiAaPQ)EBC6303516 035 $a(MiAaPQ)EBC5591567 035 $a(Au-PeEL)EBL5591567 035 $a(OCoLC)972734382 035 $a(PPN)198868537 035 $a(EXLCZ)993710000001079935 100 $a20170206d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAgents and Artificial Intelligence$b[electronic resource] $e8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers /$fedited by Jaap van den Herik, Joaquim Filipe 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XVI, 315 p. 114 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v10162 311 $a3-319-53353-3 320 $aIncludes bibliographical references and index. 327 $aIntro -- 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. 327 $aReferences -- 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. 327 $a5 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. 327 $a2 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. 327 $aModeling 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. 330 $aThis 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. 410 0$aLecture Notes in Artificial Intelligence ;$v10162 606 $aArtificial intelligence 606 $aApplication software 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aComputer Appl. in Administrative Data Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/I2301X 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aMathematical Logic and Formal Languages. 615 24$aComputer Appl. in Administrative Data Processing. 676 $a006.3 702 $avan den Herik$b Jaap$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFilipe$b Joaquim$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465743003316 996 $aAgents and artificial intelligence$91904835 997 $aUNISA