By Topic

2011 10th Mexican International Conference on Artificial Intelligence

Nov. 26 2011-Dec. 4 2011

Filter Results

Displaying Results 1 - 25 of 45
  • [Front cover]

    Publication Year: 2011, Page(s): C1
    Request permission for commercial reuse | PDF file iconPDF (2488 KB)
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2011, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (63 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2011, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (95 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2011, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (119 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2011, Page(s):v - viii
    Request permission for commercial reuse | PDF file iconPDF (133 KB)
    Freely Available from IEEE
  • Preface

    Publication Year: 2011, Page(s):ix - x
    Request permission for commercial reuse | PDF file iconPDF (96 KB) | HTML iconHTML
    Freely Available from IEEE
  • Conference organization

    Publication Year: 2011, Page(s): xi
    Request permission for commercial reuse | PDF file iconPDF (69 KB) | HTML iconHTML
    Freely Available from IEEE
  • Conference Committee

    Publication Year: 2011, Page(s): xii
    Request permission for commercial reuse | PDF file iconPDF (68 KB)
    Freely Available from IEEE
  • Track Chairs

    Publication Year: 2011, Page(s): xiii
    Request permission for commercial reuse | PDF file iconPDF (69 KB)
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2011, Page(s):xiv - xv
    Request permission for commercial reuse | PDF file iconPDF (74 KB)
    Freely Available from IEEE
  • Additional Reviewers

    Publication Year: 2011, Page(s): xvi
    Request permission for commercial reuse | PDF file iconPDF (66 KB)
    Freely Available from IEEE
  • Studying Ideal Semantics via Logic Programming Semantics

    Publication Year: 2011, Page(s):3 - 8
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (213 KB) | HTML iconHTML

    In this paper, we show that by using extensions of the Well-Founded Semantics (WFS) which were defined in terms of rewriting systems, one can characterize ideal sets. We also show that these extensions of the well-founded semantics define argumentation semantics with similar behaviour to the ideal argumentation semantics. On the other hand, we introduce a new logic programming semantics which is a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying Max-2SAT to Efficient Belief Revision

    Publication Year: 2011, Page(s):9 - 15
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (259 KB) | HTML iconHTML

    Belief revision is a NP-hard problem even when the Knowledge Base (Σ) is formed by Horn clauses. In this paper, we present a new belief revision operator running efficiently if the initial knowledge base is a two conjunctive form(conjunction of unit or binary clauses, denoted as 2-CF).Such revision operator *I on a new formula F, denoted as (Σ *IF), relies heavi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Ontology for the Conceptualization of an Intelligent Environment and Its Operation

    Publication Year: 2011, Page(s):16 - 22
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (174 KB) | HTML iconHTML

    Nowadays sensors and actuators are increasingly used in different spaces, creating intelligent environment. This article aims to describe a conceptualization of an intelligent environment and its operation, in order to check its consistency and its conformity. This conceptualization is done through an ontology representing the domain knowledge, whose elements will be instantiated from natural lang... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CreaDO -- A Methodology to Create Domain Ontologies Using Parameter-Based Ontology Merging Techniques

    Publication Year: 2011, Page(s):23 - 28
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (278 KB) | HTML iconHTML

    Nowadays, ontologies have become a key mechanism to represent the knowledge of a specific domain. Domain ontologies can be used for different purposes, one of them is the development of semantic search engines that obtain precise results by considering the meaning of the Web content. The construction of these ontologies usually requires a large amount of effort and time to be completed. One way of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Event Calculus for Reasoning about Erlang Systems

    Publication Year: 2011, Page(s):29 - 35
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (174 KB) | HTML iconHTML

    The event calculus is a logic-based formalism for dealing with temporal reasoning concerns. Erlang is a functional programming language designed from the ground up for tackling distributed programming problems. In this paper, it is shown that the event calculus is a suitable tool for designing and analyzing distributed systems written as Erlang programs. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Static and Dynamic Semantics: Preliminary Report

    Publication Year: 2011, Page(s):36 - 42
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (209 KB) | HTML iconHTML

    This paper is aiming at a contribution to the logic program updates research. A (dynamic) semantics of sequences of logic programs is presented. The semantics is closely connected to the answer set semantics. We follow the construction of answer sets proposed by Dimopoulos and Torres. Solutions of three kinds of conflicts are added to the construction. After that, some decisions aiming at a step f... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Nominal Filter for Web Search Snippets: Using the Web to Identify Members of Latin America's Highly Qualified Diaspora

    Publication Year: 2011, Page(s):45 - 50
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (276 KB) | HTML iconHTML

    This paper presents efforts aimed at using Natural Language Engineering (NLE) techniques for evaluating the impact of talent mobility on the development of three Latin American countries: Argentina, Colombia and Uruguay. We explain the different steps of a research program aimed at carrying out what we call a Mobility Trace Extraction Task. The first step enriches traditional person name disambigu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Presence or Semantic Information in Sentiment Classification?

    Publication Year: 2011, Page(s):51 - 56
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (231 KB) | HTML iconHTML

    This paper analyses the implications in the use of a content vector based on the presence or the semantic information of the features that represent an opinion. In our phrase pattern-based method, we automatically construct semantic lexicons to determine the semantic orientation of each feature, that is, the degree of subjectivity associated with each particular n-gram. Using two different dataset... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Speech Recognition with Limited Resources for Children and Adult Speakers

    Publication Year: 2011, Page(s):57 - 62
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (306 KB) | HTML iconHTML

    Children are natural users of speech technology. However, children speech has been proved to be harder than adults. This implies that in order to build a children speech recogniser that is comparable with an adult recogniser it would be necessary a larger amount of recordings. In this paper, we present our experiments building such recognisers but with a limited amount of resources, this is a corp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Novel Design Model Based on Genetic Algorithms

    Publication Year: 2011, Page(s):65 - 71
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (588 KB) | HTML iconHTML

    The design process falls into the problem-solving method in which it involves an intensive way of searching and matching that generates a large solution space. In that sense and inspired on the Kryssanov's design model, this paper introduces a novel design model based on genetic algorithms that aims to achieve an optimal solution taking into account the design objectives, the conceptual design, th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rank Based Evolution of Real Parameters on Noisy Fitness Functions: Evolving a Robot Neurocontroller

    Publication Year: 2011, Page(s):72 - 76
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (369 KB) | HTML iconHTML

    We present a Rank Based Evolutionary Algorithm for representations in the real numbers. We introduce a new Rank Based Selection operator and a new variation of a Rank Based Mutation that act in a representation using real numbers. The problem in which we tested the algorithm was to evolve a fixed topology feed forward artificial neural network that is used as a controller for a robot. In order to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Spatial Distribution through Swarm Behavior on a Military Group in the Starcraft Video Game

    Publication Year: 2011, Page(s):77 - 82
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (828 KB) | HTML iconHTML

    New levels of challenge are required for real-time strategy games because of their limited learning curve. Usually this learning curve has an upper bound after which a player is able to win the most of the matches against the built-in artificial intelligence. In this research a method based on swarm intelligence is proposed to control a military swarm in the Star craft environment in order to achi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comparison of PSO and DE for Training Neural Networks

    Publication Year: 2011, Page(s):83 - 87
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (261 KB) | HTML iconHTML

    The use of computational resources required for Feed-Forward Artificial Neural Network (FFANN) training phase by means of classical techniques such as the back propagation learning rule can be prohibitive in some applications. A good training phase is needed for a high performance of a neural network. In searching for alternative methods for training phase of FFANN, some metaheuristic techniques h... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comparison of Analytical and Artificial Intelligent Models for Quality Assurance in Micro-milling Operations

    Publication Year: 2011, Page(s):88 - 93
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (386 KB) | HTML iconHTML

    Despite the high performance of artificial intelligent (AI) models for part quality prediction and control in machining operations, only well-known analytical models are commonly used in industry. This paper compares different analytical models with AI models for quality assurance in the fabrication of fluidic channels in micro-milling operations. The comparison of both types of models is conducte... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.