Advances in artificial intelligence [electronic resource] : 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, Puebla, Mexico, November 26 - December 4, 2011 : proceedings. Part I / Ildar Batyrshin, Grigori Sidorov (eds.)
Annotation The two-volume set LNAI 7094 and LNAI 7095 constitutes the refereed proceedings of the 10th Mexican International Conference on Artificial Intelligence, MICAI 2011, held in Puebla, Mexico, in November/December 2011. The 96 revised papers presented were carefully reviewed and selected from...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Heidelberg ; New York :
Springer-Verlag Berlin Heidelberg,
©2011.
|
| Series: | Lecture notes in computer science ;
7094. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Table of Contents:
- Intro; Title; Preface; Organization; Table of Contents; Automated Reasoning and Multi-Agent Systems; Case Studies on Invariant Generation Using a Saturation Theorem Prover; Introduction; Preliminaries; Symbol Elimination and Invariant Generation in Vampire; Program Analysis in Vampire; Theory Reasoning in Vampire; Symbol Elimination in Vampire; Pruning Generated Invariants; Proving Invariants, Postconditions, and Assertions; Experimental Results; Challenging Benchmarks; Industrial Examples; Analysis of Experiments; Related Work; Conclusions; References.
- Characterization of Argumentation Semantics in Terms of the MMr SemanticsIntroduction; Background; Syntax and Some Operations; The MMr Semantics; Argumentation Theory; Relation between CF2 and MMr; Preferred Extension and MMr Semantics; Conclusions; References; Learning Probabilistic Description Logics: A Framework and Algorithms; Introduction; Basics; Description Logics; Probabilistic Description Logics and crALC; Learning Description Logics; Learning with the PDL crALC; The Probabilistic Score Function; The Algorithm to Learn Probabilistic Terminologies; Experiments.
- Experiments on Description Logic LearningExperiments on Learning Probabilistic Terminologies; Conclusion; References; Belief Merging Using Normal Forms; Introduction; Preliminaries; Normal Partial Satisfiability; Comparing Results; Postulates; Algorithm PS-Merge; Prime Implicant-Based Merging; Conclusion; References; Toward Justifying Actions with Logically and Socially Acceptable Reasons; Introduction; Background and Objectives; Related Work; Motivating Example; Logical Preliminaries; Structuring Arguments and Defeat Functions; Practical and Theoretical Arguments.
- Theoretical, Preference-Based and Welfare-Based DefeatsJustifying Logically and Socially Acceptable Reasons; Analyzing Structured Practical Argumentation Frameworks; Analyzing Layered Practical Argumentation Frameworks; Illustrative Example; Conclusions and Future Work; References; A Complex Social System Simulation Using Type-2 Fuzzy Logic and Multiagent System; Introduction; Representation of Uncertainty in a MAS; Simulation of a Social Complex System; Interactions between Agents; Use of Type-2 Fuzzy Logic; Simulation Results; Conclusions and Future Work; References.
- Computing Mobile Agent Routes with Node-Wise Constraints in Distributed Communication SystemsIntroduction; Problem Formulation; Algorithm Description; Dynamic Programming (DP) Algorithm; General Description of the FPTAS; Stage A: Finding Preliminary Lower and Upper Bounds for PN1; Stage B: Finding Improved Bounds for PN1; Stage C: The \epsilon-Approximation Algorithm; Discussion and Concluding Remarks; References; Collaborative Redundant Agents: Modeling the Dependences in the Diversity of the Agents' Errors; Introduction; Related Work; A Model of Dependences for Collaborative Agents.