Scielo RSS <![CDATA[Computación y Sistemas]]> http://www.scielo.org.mx/rss.php?pid=1405-554620080003&lang=en vol. 12 num. 1 lang. en <![CDATA[SciELO Logo]]> http://www.scielo.org.mx/img/en/fbpelogp.gif http://www.scielo.org.mx <![CDATA[<b>Editorial</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462008000300001&lng=en&nrm=iso&tlng=en <![CDATA[<b>Sampling-Based Motion Planning</b>: <b>A Survey</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462008000300002&lng=en&nrm=iso&tlng=en Sampling-based motion approaches, like Probabilistic Roadmap Methods or those based on Rapidly-exploring Random Trees are giving good results in robot motion planning problems with many degrees of freedom. Following these approaches, several strategies have been proposed for biasing the sampling towards the most promising regions, thus improving the efficiency and allowing to cope with difficult motion planning problems. The success of these planners in solving challenging problems can be explained by the fact that no explicit representation of the free configuration space is required. This paper reviews some of the most influential proposals and ideas, providing indications on their practical and theoretical implications. The contributions made by Mexican researchers in this field are also presented.<hr/>Los enfoques de planificación de movimientos basados en muestreo, como los métodos de Roadmap Probabilista o aquellos basados en los Árboles Aleatorios de Exploración Rápida están dando buenos resultados en la planificación de movimientos de robots con muchos grados de libertad. Con estos enfoques, se han propuesto varias estrategias para predisponer el muestreo hacia las regiones más prometedoras, mejorando con esto la eficiencia y permitiendo la solución de problemas difíciles de planificación de movimientos. El éxito de estos planificadores en la solución de problemas desafiantes se puede explicar por el hecho de que no se requiere ninguna representación explícita del espacio de configuraciones libre. Este artículo repasa algunas de las propuestas e ideas más influyentes en el área, proporcionando indicaciones de sus implicaciones teóricas y prácticas. También se presentan las contribuciones realizadas por los investigadores Mexicanos en este campo. <![CDATA[<b>On the Security of Mexican Digital Fiscal Documents</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462008000300003&lng=en&nrm=iso&tlng=en In January 2005, the Mexican Tributary Administration System (SAT) introduced an official norm that stipulates how to generate electronic invoices that were termed by SAT, Comprobante Fiscal Digital (CFD). Supporting the CFD service implies the exchange of confidential information over Internet and other communication channels that are intrinsically highly vulnerable. Therefore, it becomes indispensable to incorporate to this service reliable and sound information security mechanisms. In the case of SAT's CFD, its security guarantees depend on customary cryptographic mechanisms such as, digital signatures, hash functions, etc. In this paper we point out several security flaws in the procedure specified by SAT for generating such electronic invoices. Furthermore, we provide recommendations for avoiding the security problems detected, which include the usage of more robust cryptographic mechanisms, alternative authentication protocols, time stamps authorities and a safe storage system.<hr/>En enero de 2005, el Gobierno mexicano a través del Servicio de Administración Tributaria (SAT), presentó una norma oficial que estipula cómo generar facturas electrónicas, las cuales recibieron el nombre oficial de Comprobante Fiscal Digital (CFD). El hecho de ofrecer el servicio de CFD implica el intercambio de información confidencial que debe viajar por Internet y otros canales de comunicación que son intrínsecamente altamente vulnerables. Por lo tanto, es indispensable incorporar a dicho servicio, herramientas de seguridad confiables y técnicamente sólidas. En el caso de los comprobantes fiscales digitales del SAT, su seguridad depende de mecanismos criptográficos tradicionales tales como, firmas digitales, funciones picadillo, etc. En este artículo se señalan fallas de seguridad en el procedimiento especificado por el SAT para la generación de sus facturas electrónicas. Aunado a esto, en este trabajo se dan algunas recomendaciones para eliminar los problemas de seguridad detectados, lo cual incluye, el uso de mecanismos criptográficos más robustos, protocolos de autentificación alternativos, autoridades que emitan estampillas de tiempo y un sistema de almacenamiento a largo plazo seguro. <![CDATA[<b>Mexican Experience in Spanish Question Answering</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462008000300004&lng=en&nrm=iso&tlng=en Nowadays, due to the great advances in communication and storage media, there is more information available than ever before. This information can satisfy almost every information need; nevertheless, without the appropriate manage facilities, all of it is practically useless. This fact has motivated the emergence of several text processing applications that help in accessing large document collections. Currently, there are three main approaches for this purpose: information retrieval, information extraction, and question answering. Question answering (QA) systems aim to identify the exact answer to a question from a given document collection. This paper presents a survey of the Mexican experience in Spanish QA. In particular, it presents an overview of the participations of the Language Technologies Laboratory of INAOE (LabTL) in the Spanish QA evaluation task at CLEF, from 2004 to 2007. Through these participations, the LabTL has mainly explored two different approaches for QA: a language independent approach based on statistical methods, and a language dependent approach supported by sophisticated linguistic analyses of texts. It is important to point out that, due to these works, the LabTL has become one of the leading research groups in Spanish QA.<hr/>En la actualidad, debido a los grandes avances en los medios de comunicación y de almacenamiento, hay más información disponible como nunca antes se ha visto. Esta información puede satisfacer casi todas las necesidades de información, sin embargo, sin una adecuada gestión ésta es prácticamente inútil. Este hecho ha motivado la aparición de diferentes aplicaciones para el procesamiento de texto orientadas a facilitar el acceso a grandes colecciones de documentos. Hoy en día, existen tres enfoques principales para este propósito: la recuperación de información, la extracción de información, y los sistemas de búsqueda de respuestas. Los sistemas de búsqueda de respuestas (QA por sus siglas en inglés) tienen por objeto identificar la respuesta exacta a una pregunta dentro de una determinada colección de documentos. Este trabajo presenta un panorama general de la experiencia mexicana en QA en español. En particular, se presentan las participaciones del Laboratorio de Tecnologías del Lenguaje del INAOE (LabTL) en la tarea de QA en español dentro del foro de evaluación CLEF, desde 2004 a 2007. A través de estas participaciones, el LabTL ha explorado principalmente dos enfoques diferentes en QA: un enfoque independiente del lenguaje basado en métodos estadísticos, y un enfoque dependiente del lenguaje apoyado en un complejo análisis lingüístico del texto. Es importante señalar que, debido a estos trabajos, el LabTL se ha convertido en uno de los principales grupos de investigación de QA en español. <![CDATA[<b>An Overview of Argumentation Semantics</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462008000300005&lng=en&nrm=iso&tlng=en The main purpose of argumentation theory is to study the fundamental mechanisms that humans use in argumentation, and to explore ways to implement these mechanisms on computers. During the last years, argumentation has been gaining increasing importance in Computer Science, especially in areas as Artificial Intelligence, e-commerce, Multi-agent Systems and Decision-Making. In this paper, we present a brief overview of abstract argumentation semantics. In order to promote and disseminate this young area, we describe the fundamental role of argumentation in a medical application. Moreover, we present some results in order to close the huge gap between argumentation theory and argumentation systems. We will see that these results also suggest a general method for exploring some challenges in argumentation theory.<hr/>El principal propósito de la teoría de argumentación es el estudio de los mecanismos básicos que los humanos usan en argumentación y además explorar métodos para implementar dichos mecanismos en las computadoras. Durante los últimos años, argumentación ha ganado importancia en el área de las ciencias de la computación muy en especial en los campos de la inteligencia artificial, comercio electrónico, sistemas multi - agentes y toma de decisiones. En este articulo, presentamos una breve revisión de los patrones mas aceptados en la selección de argumentos - a dichos patrones se les llama semánticas de argumentación. Con el propósito de promover y difundir esta joven área de investigación, se describirá el uso de argumentación en una aplicación médica. Además, presentaremos algunos resultados que contribuyen a la integración de modelos teóricos de argumentación a sistemas reales basados en argumentación. <![CDATA[<b>Formal Support to Security Protocol Development</b>: <b>A Survey</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462008000300006&lng=en&nrm=iso&tlng=en Security protocols aim to allow two or more principals to establish a secure communication over a hostile network, such as the Internet. The design of security protocols is particularly error-prone, because it is difficult to anticipate what an intruder may achieve interacting through a number of protocol runs, claiming to be an honest participant. Thus, the verification of security protocols has attracted a lot of interest in the formal methods community and as a result lots of verification techniques/tools, as well as good practices for protocol design, have appeared in the two last decades. In this paper, we describe the state of the art in automated tools that support security protocol development. This mainly involves tools for protocol verification and, to a lesser extent, for protocol synthesis and protocol diagnosis and repair. Also, we give an overview of the most significant principles for the design of security protocols and of the major problems that still need to be addressed in order to ease the development of security protocols.<hr/>Los Protocolos de Seguridad tienen como objetivo permitir que dos o más agentes puedan establecer una comunicación de manera segura en una red a pesar de ambientes hostiles, tales como Internet. El diseño de estos protocolos es particularmente propenso a errores, por eso, es difícil anticipar lo que un intruso puede lograr cuando, pretendiendo ser un participante honesto, interactúa con una cantidad considerable de corridas del protocolo. Así, la verificación de protocolos de seguridad ha atraído un gran interés en la comunidad de los métodos formales, dando como resultado la aparición, en las dos últimas décadas, de una gran cantidad de técnicas/herramientas, además de buenas prácticas para mejorar su diseño. En este artículo, describimos el estado del arte de las herramientas automatizadas que soportan el desarrollo de protocolos de seguridad. Principalmente, incluímos herramientas para su verificación, y en menor grado, trabajos sobre su síntesis; además de métodos en el diagnóstico y reparación de protocolos incorrectos. También, damos un resumen de los principios más importantes para mejorar el diseño de esta clase de protocolos y los principales problemas que todavía necesitan ser resueltos para facilitar su desarrollo. <![CDATA[<b>Ambient Computing Research for Healthcare</b>: <b>Challenges, Opportunities and Experiences</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462008000300007&lng=en&nrm=iso&tlng=en Ambient computing refers to the development of physical environments enhanced through information and communication technology to better serve the needs of users. In contrast with traditional computer applications, ambient computing offers a vision in which computer support migrates from the desktop to the physical environment, thus demanding natural means of interaction, in contrast with the traditional keyboard and mouse. This approach to computing is particularly well suited for working environments characterized by local mobility, frequent activity switching, and intense collaboration, as it is often the case in healthcare. This paper provides a comprehensive overview of research conducted in Mexico for several years towards the development of an ambient computing environment in support of hospital work, the iHospital. The paper describes the research methodology used, major findings, ambient computing technology that has been designed and developed as a response to the needs identified, and results from its evaluation with potential users.<hr/>La computación ambiental involucra el desarrollo de ambientes físicos enriquecidos con tecnologías de información y comunicaciones para asistir a las necesidades de los usuarios. En contraste con aplicaciones computacionales tradicionales, la computación ambiental ofrece una visión en la que el apoyo computacional migra del escritorio al entorno físico, demandando con ello modos naturales de interacción, en lugar de utilizar el teclado y el ratón. Este modelo de computación es particularmente adecuado para ambientes de trabajo caracterizados por movilidad local, cambio frecuente de actividades, e intensa colaboración, como sucede comúnmente en el sector salud. Este artículo ofrece una visión del trabajo de investigación que se ha realizado en México durante varios años para desarrollar un entorno de cómputo ambiental en apoyo al trabajo hospitalario, concepto al que hemos denominado, iHospital. El artículo describe la metodología de investigación que se ha seguido, algunos de los principales resultados, tecnología de cómputo ambiental diseñada y desarrollada en respuesta a las necesidades identificadas, y resultados de su evaluación con usuarios potenciales. <![CDATA[<b>Automatic Semantic Role Labeling using Selectional Preferences with Very Large Corpora</b>]]> http://www.scielo.org.mx/scielo.php?script=sci_arttext&pid=S1405-55462008000300008&lng=en&nrm=iso&tlng=en We present a method for recognizing semantic roles for Spanish sentences. This method is based on dependency parsing using heuristic rules to infer dependency relationships between words, and word co-occurrence statistics (learnt in an unsupervised manner) to resolve ambiguities such as prepositional phrase attachment. If a complete parse cannot be produced, a partial structure is built with some (if not all) dependency relations identified. Evaluation shows that in spite of its simplicity, the parser's accuracy is superior to the available existing parsers for Spanish. Though certain grammar rules, as well as the lexical resources used, are specific for Spanish, the suggested approach is language-independent. A particularly interesting ambiguity which we have decided to analyze deeper, is the Prepositional Phrase Attachment Disambiguation. The system uses an ordered set of simple heuristic rules for determining iteratively the relationships between words to which a governor has not been yet assigned. For resolving certain cases of ambiguity we use cooccurrence statistics of words collected previously in an unsupervised manner, whether it be from big corpora, or from the Web (through a search engine such as Google). Collecting these statistics is done by using Selectional Preferences. In order to evaluate our system, we developed a Method for Converting a Gold Standard from a constituent format to a dependency format. Additionally, each one of the modules of the system (Selectional Preferences Acquisition and Prepositional Phrase Attachment Disambiguation), is evaluated in a separate and independent way to verify that they work properly. Finally we present some Applications of our system: Word Sense Disambiguation and Linguistic Steganography.<hr/>Se presenta un método para reconocer los roles semánticos de las oraciones en español, es decir, identificar el papel que tiene cada uno de los elementos de la oración. Este método se basa en análisis de dependencias usando reglas heurísticas para inferir relaciones de dependencia entre palabras, así como estadísticas de co-ocurrencia (aprendidas de manera no supervisada) para resolver ambigüedades como la adjunción de sintagma preposicional. Si no se puede producir un análisis completo, se construye una estructura parcial con algunas (si no todas) relaciones de dependencia identificadas. La evaluación muestra que a pesar de su simplicidad, la precisión del analizador es superior a aquella de los analizadores existentes actuales para el español. A pesar de que ciertas reglas gramaticales y los recursos léxicos usados son específicos para el español, el enfoque sugerido es independiente del lenguaje. Una ambigüedad interesante que hemos decidido analizar a mayor profundidad, es la desambiguación de sintagma preposicional. El sistema usa un conjunto ordenado de reglas heurísticas simples para determinar iterativamente las relaciones entre palabras para las cuales no se les ha asignado aún un gobernante. Para resolver ciertos casos de ambigüedad usamos estadísticas de co-ocurrencias de palabras. Estas estadísticas han sido obtenidas previamente de una manera no supervisada, ya sea a partir de grandes corpus de texto, o a través de Internet (a través de un motor de búsqueda como Google). El conjunto de estadísticas de co-ocurrencias de uso conforman una base de datos de Preferencias de Selección. Para evaluar este sistema, desarrollamos un método para convertir un estándar existente, de un formato de constituyentes a un formato de dependencias. Adicionalmente, cada uno de los módulos del sistema (Adquisición de Preferencias de Selección, Desambiguación de Sintagma Preposicional) se evalúa de una forma separada e independiente para verificar su correcto funcionamiento. Finalmente, presentamos algunas aplicaciones de nuestro sistema: Desambiguación de sentidos de palabras y Estaganografía lingüística.