El objetivo principal de esta tesis es estudiar la teoría de prueba de la Programación en Lógica Rebatible (P.L.R.) y brindar una caracterización declarativa equivalente. La P.L.R. es una herramienta valiosa para la representación de conoci-miento tentativo, incierto y potencialmente inconsistente, que provee un mecanismo de inferencia basado en los sistemas argumentativos. En los últimos años, los sistemas argumenta-tivos han comenzado a ser utilizados en diversos campos de aplicación como la web y sistemas multiagentes. En esta Tesis se presenta una caracterización declarativa basada en la teoría de modelos y en la noción de juegos, de la P.L.R.. La semántica declarativa trivaluada desarrollada, que se denomi-na GS, es sensata y completa con respecto a la teoría de prueba de P.L.R.. Como punto intermedio, se brinda una forma-lización declarativa equivalente de la estructura de argumento y se circunscribe el conjunto de todos los posibles argumen-tos a favor y en contra que pueden construirse para una con-sulta dada bajo un programa lógico rebatible. A partir de los resultados obtenidos, se realizó un estudio de la complejidad computacional de la P.L.R.. En este sentido, se definieron pro-blemas de decision relevantes con respecto a los juegos bajo el contexto de un programa lógico rebatible y se calculó la complejidad computacional de la existencia de argumentos y contraargumentos. Asimismo, considerando el nexo existente entre la Programación en Lógica y las bases de datos deduc-tivas se definieron las complejidades de datos, expresión y combinada, y se establecio una cota superior para la com-plejidad de datos. Dichos resultados nos dan un indicio para determinar el poder expresivo de la P.L.R.. / The main goal of this thesis is to study Defeasible Logic Programming (DeLP) proof theory and to provide an equivalent declarative characterization. DeLP is a valued tool for repre-senting tentative, uncertain, and potentially inconsistent knowledge, that provide an inference mechanism based on argumentative systems. In the last decade, argumentative systems have been used in different applications fields, such as the web and multiagent systems. In this thesis we present a declarative caracterization based in model theory and in game concepts of Defeasible Logic Programming (DeLP). The trivalued declarative semantics developped, noted GS, is sound and complete with respect to DeLP proof theory. As an intermediate point, we provide an equivalent declarative for-malization of argument structure and we circunscribe the set of all possible arguments for and against that can be cons-tructed for a query under a defeasible logic program. From the results we have obtained, we carry out an study of DeLP computational complexity. We have defined relevants decision problems with respect to the construction of a game under a defeasible logic program and we calculate the computational complexity of arguments and conterargument existence. Furthermore, considering the link between Logic Programmning and deductive data bases we have defined data complexity, expression complexity and combined complexity and we have established a upper bound for data complexity. These results give us a trace for determining DeLP expressive power.

Esta tesis propone formalismos para modelar la dinámica de conocimiento en bases de creencias de agentes en un sistema multi-agente, los cuales adquieren información de sus pares. Dicha dinámica es modelada por la teoría de cambio de creencias, la cuál busca mostrar como quedan constituidas las creencias de un agente después de recibir cierta infor-mación externa. Nuestra propuesta se enfoca en revisión de creencias con múltiples fuentes (Multi-Source Belief Revision), ya que los agentes pueden recibir información a través de múltiples informantes, los cuales son agentes independientes con sus propios intereses y podrían no ser completamente fiables. Por este motivo, en esta tesis se propone la utili-zación de un orden parcial de informantes que representa la credibilidad de los mismos para el agente que se está mode-lando. El orden parcial de credibilidad entre agentes no necesita permanecer estático ya que el agente puede elegir actualizar su relación de orden parcial para reflejar una nueva percepción de la credibilidad de un informante. Es por esto que, otro de los objetivos de esta tesis es el estudio y desarrollo de técnicas y formalismos para la actualización del grado de credibilidad que se le asigna a un agente por inte-ractuar en el marco de un sistema multi-agente. Por lo tanto, se proponen operadores de cambio, tanto para revisar las creencias de un agente, como para revisar la credibilidad que un agente tiene sobre los demás agentes del sistema. De esta manera, la investigación desarrollada también se enfoca en la caracterización y desarrollo de operadores de cambio, que permitan modelar la dinámica de la confianza y reputación de agentes en un sistema. En resumen, se propone combinar formalismos de revisión de creencias y actualización de conocimiento con técnicas de mantenimiento de confianza y reputación de agentes en un ambiente distribuido, para representar la dinámica de órdenes parciales de credibilidad. / This Thesis proposes formalisms to model the dynamics of knowledge on belief bases of agents in a multi-agent system, where agents interact with peers exchanging information about their beliefs. This dynamics of knowledge is modeled by the belief change theory, which seeks to show how beliefs of an agent remain formed after receiving some external infor-mation. Our proposal focuses on multiple source belief revision (MSBR), where agents can receive information through multiple informants which are independent agents with their own interests and may not be completely reliable. For this reason, this Thesis proposes the use of a partial order of informants that represents the credibility of them for the agent being modeled. The partial order of credibility among agents can be changed, since the agent can update its partial order relation to reflect a new perception of the credibility of an informant. Therefore, another goal of this Thesis is the study and development of techniques and formalisms for the update of the credibility degree assigned to an agent by interacting within a multi-agent system. Thus, the research developed also focuses on the characterization and development of exchange operators, which allow modeling the dynamic of trust and reputation of agents in a system. In summary, we propose to combine the formalism of belief revision and knowledge updating with technical main-tenance of trust and reputation of agents in a distributed environment, in order to represent the dynamic of partial orders of credibility.

No description available.

La verificación de los sistemas digitales se ha vuelto una etapa crucial en el proceso de desarrollar un System on Chip (SoC). El esfuerzo que se debe de hacer en esta etapa es sustancial respecto de otras. Debido a esto se ha optado por incrementar los niveles de abstracción al momento de diseñar/verificar un sistema digital. En esta tesis se estudiará uno de estos niveles, TLM o Transaction Level Modelling, se presentar a su concepci on, sus ventajas y desventajas, con el n de poder diseñar un sistema de mediana complejidad atravesando varios niveles de abstracción. Se utilizarán métodos basados en simulación y métodos formales para verificar algunos de estos niveles. La tesis se centra como se dijo anteriormente en TLM, dándole un enfoque principal a la transacción como unidad atomica de transferencia de datos en un diseño. En el primer capítulo se hace una introducción a la problem atica/motivación, en el segundo capítulo se realiza un revelamiento del estado actual de la problem atica, el tercero introduce una breve introducción a TLM y su implementación en SystemC, el cuarto presenta la metodología propuesta para afrontar la problem atica. En el quinto capítulo se comenta cómo se realizó la implementación de la metodología. En el sexto capítulo se describen los resultados obtenidos. Mientras que el ultimo capítulo se realizar a una revisión de los resultados obtenidos, enumerándose los objetivos alcanzados y el trabajo a futuro en el area. La utilización de una metodología Top-Down facilito la generación de las correspondientes abstracciones del sistema (niveles) a fin de comprender sus problem aticas particulares. Se abordo la verificación tanto de bloques propios como bloques desarrollados por terceros, apreciando las características de los distintos enfoques de verificación según el caso. La inserción de los métodos formales como una herramienta adicional al flujo propuesto ha demostrado un aporte significativo al momento de realizar la verificación. La utilización de distintos lenguajes de descripción de hardware evidenci o las ventajas y desventajas de cada uno, análogamente se logró apreciar las ventajas y desventajas del entorno de verificación en comparación con entornos de verificación generados por otras metodologías ya establecidas. Por ultimo, se apreció el beneficio de la simulaci on mixta SystemC-Verilog o SystemC-VHDL, ganando una experiencia en el manejo de distintos lenguajes de HDL con el fin de generar conocimiento respecto de cuando debe de utilizarse o de que manera se debe utilizar los distintos lenguajes.

En la presente tesis nos enfocamos en el manejo de dos problemas diferentes pero relacionados que suelen aparecer en el conocimiento, especialmente en entornos colaborativos: inconsistencias e incoherencias. Inconsistencia es un problema clásico y ampliamente reconocido en la representación de conocimiento, el cual trae importantes consecuencias para los mecanismos cl asicos de inferencia. Incoherencia, por otra parte, ha recibido cada vez más atención desde el surgimiento de lenguajes ontológicos; la misma se relaciona con con- flictos en el conjunto de reglas ontol ogicas que hacen a tales reglas imposibles de satisfacer al mismo tiempo. En este trabajo formalizamos la noción de incoherencia en ontologías Datalog , que se encontraba ausente en la literatura, en t erminos de la satisfacibilidad del conjunto de restricciones en las mismas, y mostramos como bajo ciertas condiciones incoherencia puede llevar a ontologías Datalog inconsistentes.La contribución principal de este trabajo es el desarrollo de dos operadores noveles para la restauración tanto de la consistencia como la coherencia en ontologías Datalog . Los enfoques propuestos se basan en kernel contraction. En el primero de ellos la restauración se realiza mediante la aplicación de funciones de incisión que seleccionan fórmulas para remoción de los conjuntos incoherentes/inconsistentes mínimos encontrados en las ontologías. Tal operador trata los conflictos m nimos de manera local, sin tener en cuenta la relación (si es que existe) entre los diferentes conflictos m nimos. El otro enfoque, que puede ser visto como un enfoque global, tiene en cuenta tal relación mediante el agrupamiento de conflictos m nimos relacionados en nuevas estructuras llamadas clusters, mediante el uso de una relaci on de solapamiento. En esta disertaci on presentamos construcciones tanto para el enfoque local como el global, junto con las propiedades que se espera que los mismos satisfagan, expresadas a través de postulados. Finalmente, establecemos la relación entre las construcciones y las propiedades mediante el uso de teoremas de representación. Si bien la propuesta esta enfocada en la consolidación de ontologías Datalog , estos operadores pueden ser aplicados a otros tipos de lenguajes ontológicos, tales como las Lógicas Descriptivas, haciéndolos aptos para su uso en ambientes colaborativos como la Web Semántica. / In this thesis we focus on the management of two different but related problems that arise in knowledge, especially in collaborative environments: inconsistency and incoherence. Inconsistency is a classic, widely acknowledged issue in knowledge representation, with important consequences to classical reasoning mechanisms. Incoherence, on the other hand, has been increasingly received attention since the arousal of ontological languages; it is related to conflicts in the set of ontological rules that make such rules impossible to satisfy at the same time. In this work we formalize the notion of incoherence for Datalog+ ontologies, which was previously absent in the literature, in terms of satisfiability of sets of constraints, and show how under specific conditions incoherence leads to inconsistent Datalog+ ontologies. The main contribution of this work is the development of two novel approaches to restore both consistency and coherence in Datalog+ ontologies. The proposed approaches are based on kernel contraction. In the first one restoration is performed by the application of incision functions that select formulae to delete from the minimal incoherent/inconsistent sets encountered in the ontologies. Such operator treats minimal conflicts in a local manner, disregarding the relation (if any) among different minimal conflicts. The other approach, which can be seen as a global one, does acknowledge such relation by means of the grouping of related minimal conflicts in new structures called clusters, by means of an overlapping relation. We present constructions for both local and global consolidation operators, along with the properties expected to be satisfied by them, expressed through postulates. Finally, we establish the relation between the constructions and the properties by means of a representation theorems. Although this proposal is presented for Datalog+ ontologies consolidation, these operators can be applied to other types of ontological languages, such as Description Logics, making them apt to be used in collaborative environments like the Semantic Web.

Desarrollar un motor gráfico fotorrealista de tiempo real es un gran reto que involucra relevar e implementar un gran número de tecnologías gráficas complejas. También es necesario diagramar y estructurar los diferentes elementos de la plataforma de software a desarrollar con el objetivo de lograr código eficiente, flexible y mantenible. En esta tesis se llevó a cabo un relevamiento de tecnologías para la creación de un pipeline gráfico de superficies fotorrealista en tiempo real, enfocándose en aspectos que se consideraron vitales a la hora de establecer los cimientos del pipeline. Específicamente, este trabajo se enfoca en realizar un análisis de los distintos sistemas de color y el tratamiento que debe efectuarse sobre éstos, en introducir las tecnologías de iluminación global de tiempo real contemporáneas más importantes y en realizar un análisis de los distintos pipelines gráficos de iluminación local disponibles. Además, se diseñó e implementó un framework para la rápida generación de aplicaciones gráficas fotorrealistas. Este proyecto se denominó XNA Final Engine y se encuentra desarrollado sobre una plataforma de software de rápido desarrollo, el lenguaje C# y la API gráfica XNA. En éste se implementó un pipeline de iluminación local deferred lighting, se incorporaron tecnologías de iluminación global en el espacio de pantalla e iluminación ambiental representada con armónicos esféricos y se representó el color en alto rango dinámico, realizando los cálculos de iluminación en el espacio lineal y aplicando mapeos tonales para su correcta reproducción en pantalla. También se realizó una evaluación de la viabilidad de incorporar los fundamentos de la programación orientada a datos y el desarrollo basado en componentes sobre una plataforma de rápido desarrollo. / Developing a real-time photorealistic graphics engine is a challenge that involves the reviewing and implementation of a large number of complex graphics technologies. It is also necessary to outline and structure the different elements of the developed software platform with the aim of achieving efficient, flexible and maintainable source code. The contribution of this thesis is a survey of technologies for the creation of a real-time surface photorealistic graphic pipeline, focusing on aspects which were considered vital in establishing the foundations of the pipeline. Specifically, this document focuses on the analysis of several color systems, the introduction of the most important contemporary real-time global illumination technologies and the exploration of the different local illumination graphics pipelines available. In addition, a framework for the rapid generation of photorealistic graphics applications was designed and implemented. This project was named Final XNA Engine and is built on a platform of rapid development, the C# language and the XNA API. In this engine a local illumination deferred lighting pipeline was implemented, screen-space global illumination technologies and ambient lighting represented as spherical harmonics were incorporated; the color was represented in high dynamic range, lighting calculations were done in linear space and a tone mapping was applied to achieve a correct reproduction of the color on the screen. A feasibility study of incorporating the fundamentals of data-oriented programming and component-based development in a platform of rapid development was also performed.

En esta tesis se propone un lenguaje de programación de agentes cognitivos racionales y formalismos de argumentación basados en la noción de tipo de argumento. Estos formalis-mos argumentativos extenderán a aproximaciones existentes en la literatura de manera tal que permitan representar argu-mentos tipados y definir relaciones de conflicto, herencia y preferencia entre los tipos de argumento. En particular, el primero de estos formalismos se basará en los Marcos Argu-mentativos Abstractos, mientras que el segundo constituirá una extensión de la Programación en Lógica Rebatible (DeLP). El lenguaje de programación de agentes propuesto en esta tesis permitirá la especificación declarativa de agentes a tra-vés de sus componentes mentales, y estará provisto de una semántica formal. A diferencia de otros lenguajes de la litera-tura, el lenguaje propuesto también permitirá especificar dife-rentes clases de metas y representar creencias y metas que pueden estar conflicto. Para tal fin, empleará los formalismos argumentativos desarrollados en esta tesis, en particular, utili-zando los tipos de argumento para identificar los diferentes componentes mentales de un agente. Por lo tanto, un agente razonará con argumentos para sus percepciones, creencias, y las diferentes clases de metas que puede especificar para decidir, ante la presencia de conflictos, qué información preva-lecerá. Los formalismos argumentativos presentados en esta tesis propondrán un mecanismo novedoso y general para modelar sistemas con múltiples tipos. De esta manera, no sólo serán adecuados para modelar los tipos de argumento en el lenguaje de programación de agentes propuesto, sino que podrán ser utilizados para modelar tipos de argumento en otros dominios como diálogos argumentativos, sistemas con múltiples fuentes de información, o sistemas con información basada en valores. En esta tesis se abordará la definición, el análisis y las propiedades de estos formalismos argumen-tativos, así como también del lenguaje de programación de agentes propuesto. / This thesis proposes a programming language for rational congnitive agents, along with argumentation formalisms based on the notion of argument type. These argumentation formalisms will extend already existing approaches in order to represent typed arguments and define conflict, inheritance and preference relations among argument types. In particular, the rst formalism will be based on Abstract Argumentation Frameworks, whereas the second will be an extension of Defeasible Logic Programming (DeLP). The proposed agent programming language will allow for a declarative specification of agents through their mental components, and will be provi-ded of a formal semantics. Unlike other approaches proposed in the literature, this programming language will be able to consider different goal types and conflicting beliefs and goals. To accomplish this, it will use the argumentation formalisms developed in this thesis, particularly by identifying an agents s mental components through argument types. Therefore, an agent will reason with arguments for its perceptions, beliefs and goals to decide, in the presence of conflicts, which infor-mation prevails.The argumentation formalisms developed in this thesis will constitute a novel and general mechanism for multi-typed systems modeling. Thus, they will be appropriate to model argument types in the proposed agent programming language, but they could also be used in other domains such as argumentation dialogues, multi-source information systems, and value-based information systems. This thesis will address the definition, analysis and properties of these argumentation formalisms and the proposed agent programming language.

La gran cantidad de contenidos puestos a disposición de los usuarios en Internet, ha exigido estudiar la conveniencia de aplicación de diversas técnicas para mejorar la performance de las redes de telecomunicaciones, las cuales son afectadas por retardos, variación del retardo, ancho de banda y pérdida de paquetes. Dado que, estos parámetros están presentes permanentemente, que a veces no pueden mejorarse por cuestiones físicas y que las aplicaciones poseen requerimientos para su correcto funcionamiento, estas propiedades deben ajustarse dentro de ciertos límites para garantizar a los usuarios la entrega de la información, priorizar el tráfico, minimizar y controlar la congestión, entre otras cosas. Estos límites se acuerdan entre cliente y proveedor mediante Acuerdos de Niveles de Servicio. Desde los comienzos del desarrollo de Internet, estuvo presente un servicio de entrega de datos denominado Mejor Esfuerzo, el cual se caracteriza por la no aplicación de técnicas orientadas a brindar calidad de servicio. Las aplicaciones envían paquetes de datos cada vez que deben hacerlo, en la cantidad que necesiten y sin ningún tipo de permiso ni informe a la red de datos sobre los requerimientos de la transmisión. Resulta innegable que un modelo de estas características no posee la mejor performance ni el mejor desempeño. Para dar soporte a este gran volumen de tráfico se han desarrollado arquitecturas de calidad de servicio que plantean modelos para mejorar la performance de las aplicaciones. El primer modelo se denomina Arquitectura de Servicios Integrados y se caracteriza por analizar el tráfico y aplicar reservas de ancho de banda a determinados flujos de datos asociados a sesiones individuales. En función de cuan tolerante al retardo, a su variación y a la pérdida de paquetes sea una aplicación, se utilizan los servicios Garantizados y de Carga Controlada. El primero aplica estrictos límites de retardo y el segundo es utilizado en ambientes donde las aplicaciones pueden aceptar un cierto grado de variación del retardo. El segundo modelo se denomina Arquitectura de Servicios Diferenciados y se caracteriza por proporcionar diferentes niveles de servicio al tráfico mediante su clasificación en grupos denominados clases. La aplicación de cada una de estas, otorgará al flujo de datos un tratamiento predefinido para el reenvío de paquetes. El enfoque de la arquitectura de Servicios Diferenciados se encuentra en algún punto entre el servicio de Mejor Esfuerzo y la arquitectura de Servicios Integrados, pues, trata de dar un paso más allá del modelo de mejor esfuerzo para ofrecer un servicio mejor que el de mejor esfuerzo. En el presente trabajo se estudiarán técnicas para evitar y controlar la congestión, como así también la aplicación de la aplicación de políticas y modelado del tráfico. Este desarrollo inicial, complementa la posterior descripción de las arquitecturas de calidad de servicio mencionadas. / The vast quantity of content at Internet users’ disposal has demanded the consideration of applying diverse techniques to improve web performance in telecommunication seriously affected by delay, delay variation (jitter), bandwidth and packet loss. As these parameters are permanently present, sometimes it is not possible to improve them both due to physical reasons and the fact that applications possess requirement for their correct functioning, those properties must be adjusted within certain limits to guarantee users’ information delivery, prioritize traffic, minimize and control congestion and so on. Such limits are agreed upon between client and provider by Service Level Agreements. From the beginning of Internet development, a delivery service called Best Effort has been present characterised by not applying techniques oriented to provide quality of service. Applications send data packets each time they must, in the quantity needed and with neither permission nor report to the network of transmission requirements data. It goes without saying that such model does not perform or function well. Quality of Service Architectures has been developed to support this vast volume of traffic establishing models to improve applications performance. The first one is called Integrated Services Architecture, it analyses traffic and applies bandwidth reserves to determined data flows associated to individual sessions. Guaranteed and Controlled Load services are used depending on how tolerant is an application to delay, jitter and packet loss. The first one applies strict delay limits and the second one is used when applications can accept certain degree of jitter. The second architecture is called Differentiated Services and it provides different levels of services through sorting traffic in groups called classes. The use of each one of this will provide the data flow with predefined treatment for packet forwarding. The Architecture of Differentiated Services locates itself between the Best Effort service and the Integrated Services Architecture because it tries to go a step forward beyond the Best Effort model to offer a better service. The present work studies the techniques to control and avoid congestion as well as the application of policies and traffic modelling. This initial development complements the subsequent description of the service quality architectures above mentioned.

Hoy en día, prácticamente toda actividad realizada, ya sea directa o indirectamente, está apoyada en algún dispositivo tecnológico. Pese al gran incremento en el uso de la tecnología en estos ultimos años, algunos soportes tradicionales tales como los libros, siguen siendo ampliamente utilizados. Se ha argumentado que el papel tiene los días contados, y que la evoluci on de la lectura se encamina completamente hacia las computadoras o medios móviles como lo son las tabletas o los lectores de libros electrónicos. Sin embargo, hasta el día de hoy, el libro tradicional sigue siendo parte de nuestra vida cotidiana. Un campo que ha sido explorado en los ultimos años con el fin de integrarse a la realidad que nos rodea, es el de la Realidad Aumentada (RA). Esta tecnología ha brindado nuevas alternativas teniendo como objetivo mejorar nuestra percepción de la realidad aportando bene cios a la realización de nuestras tareas diarias; esto lo posiciona como un excelente complemento para los libros tradicionales y la lectura de los mismos. Se han presentado varias propuestas para mejorar los libros tradicionales, originándose así un nuevo tipo de libro, el libro aumentado. Sin embargo, estos libros a un poseen ciertas limitaciones.La propuesta de la presente tesis es superar estas limitaciones, proponiendo una extensión para los libros aumentados. Esta extensión considera la generación de libros aumentados a partir de cualquier libro pre-existente, permitiendo incorporarle diferentes tipos de contenidos con la posibilidad adicional de que sean compartidos por distintos lectores. De este modo, extendemos también los libros aumentados, potenciando al libro tradicional con la posibilidad de realizar la incorporación de contenidos aumentados de manera colaborativa. En este contexto, tambi en proponemos las interacciones que consideramos adecuadas para interactuar tanto con el libro como con su contenido. Para esto definimos una clasificación de las mismas que puede utilizarse como guía para el diseño e implementación de las actividades que se pueden realizar con un libro aumentado. Además presentamos una arquitectura que da soporte a nuestra propuesta para extender los libros aumentados. Basados en la misma, implementamos un sistema que utilizamos para experimentar y evaluar la validez de nuestra propuesta. Finalmente, para realizar dicha evaluaci on, diseñamos un experimento estadísticamente robusto que nos permitió determinar tanto la usabilidad de la propuesta como el desenvolvimiento de usuarios n oveles con este tipo de tecnologías basadas en RA. La evaluación realizada nos permitió avalar el enfoque propuesto y capturar informaci on relevante respecto a qu e tareas resultan sencillas o difíciles para usuarios n oveles de RA. Por otra parte, los resultados del experimento arrojan nuevas direcciones para continuar la investigación en torno a los libros aumentados. / Nowadays practically every performed activity, whether directly or indirectly, it is supported by a technological device. Despite the large increase in the use of technology in recent years, some traditional media such as books, are still widely used. It has been argued that the end of paper use is imminent, stating that the evolution of reading is toward computers or mobile devices such as tablets or e-readers. Nevertheless, up today the traditional book remains part of our daily life. This technology has provided new alternatives granting an improved perception of the reality and bringing bene ts to our daily tasks; these features make it an excellent complement to traditional books as well as its reading experience. Several approaches have been presented in order to improve traditional books, thereby enabling a new type of book, named as augmented book. However, these books still have some limitations. To overcome these limitations, we propose an extension for augmented books. This extension considers the generation of augmented books from any pre-existent book, allowing the incorporation of di erent types of contents with the additional possibility of sharing these contents with other readers. Thus, the use of augmented books is extended, enhancing the traditional book with the possibility of incorporating augmented contents in a collaborative fashion. In this context, we also propose the interactions we considered suitable to interact with the book and its content. Thus, we de ned a classi cation of the interactions that can be used to guide the design and implementation of activities that can be performed with an augmented book. We also presented an architecture which supports our approach for extending augmented books. Based on this architecture, a system was implemented to experiment and to evaluate the validity of our approach. Finally, we designed a statistically robust experiment to conduct the evaluation. This experimento allowed us to analyze the usability of the approach as well as the usage of the system by novice users. Based on the results of the conducted evaluation we validated our approach and concluded important remarks about the di culties encountered by novice users on the tasks which involved Augmented Reality features. Moreover, experimental results derive in new future research directions toward augmented books.

En el vasto campo de estudio sobre la comunicación entre humanos, un aspecto destacado es el rol que desempeña la pragmática en el uso del lenguaje; más específicamente la teoría de los actos del habla. Una parte importante de la interpretación pragmática de un enunciado en lenguaje natural, es la elección del acto del habla correcto para el contexto en que se usa. Adaptar las técnicas de comunicación, tan naturales para los humanos, al ambito de la Inteligencia Artificial no es algo sencillo. Tal es así que un pionero como Alan Turin estableció un fuerte vínculo entre comunicación e inteligencia. De ahí que para lograr que los agentes computacionales se comuniquen, es necesaria una adecuada integración de varios procesos. Para clarificar algunas de estas ideas, mostrar distintos tipos de ejemplos y para motivar la lectura, se presenta una situación ficticia adecuada para evaluar los intercambios de actos del habla y los conflictos que pueden surgir cuando los interlocutores son agentes. En este marco ficticio, los agentes se emplean para analizar los diálogos entre soldados que operan en una coalición internacional en un país ficticio de oriente medio. Más allá de la exibilidad que caracteriza a los agentes, existe mucha investigación sobre el uso de recetas o planes para guiarlos hacia determinados objetivos o metas. Los pasos o progresos que realiza el agente muchas veces involucran el intercambio de actos del habla con otros pares. El progreso en ese intercambio se consigue empleando "operadores" o mensajes que se pueden aplicar siempre que se disponga de un determinado conocimiento. Eso es algo propio de los lenguajes de comunicación de agentes conocidos, como KQML y ACL, por esa razón en su especificación de los mensajes, establecen cual es el estado mental requerido para emplear un mensaje determinado y que cambios se producirán al aplicarlo. El ser social es una cualidad requerida en la definición de agente, asociado con esto est a la idea de compromiso con los demás miembros del sistema multi-agente. Cada afirmación transmitida, cada requerimiento hecho, cada promesa realizada, se mantienen en un almacen de compromisos, gracias al cual los dem as pueden formar un perfil o conjunto de antecedentes sobre el cual es posible razonar. Pero también es necesario considerar los problemas que introduce la transmisión, como demoras y extravíos de los mensajes, por los que seguramente surgen diferencias en las percepciones de los interlocutores. Se deben cumplir ciertas condiciones que garanticen que los agentes tengan las mismas observaciones para exigir que, si alguien es acreedor de un compromiso, el correspondiente deudor se asuma como tal. Esta situación, en la que los compromisos est an alineados, es deseable; resulta conveniente, en consecuencia, establecer los requisitos para que la evolución del sistema vaya en esa dirección. Para lograr que los agentes realmente se puedan comunicar, es necesario que empleen razonamiento. Si en la búsqueda de cumplir con sus metas, los agentes deben superar situaciones de conflicto, como ser diferencias en los puntos de vista individual, la comunicación es un medio que ayuda. Es conocida la tradición del diálogo para lograr acuerdos, por ejemplo, entre un feudal y su vasallo o en los ambitos legales. Se requieren reglas claras que motiven el avance hacia una resolución que sea aceptada por las partes, reglas con las cuales se pueda razonar, hacer afirmaciones, requerir fundamentos o argumentos y plantear contrargumentos. Estos entornos son conocidos como juegos de di alogo, en los cuales se usan distintos tipos de l ogicas para soportar las conclusiones que son obtenidas a medida que progresa el intercambio de mensajes. En particular la persuasión resulta de interés entre agentes idependientes, aquellos que mantienen una interacción ocasional; como puede ser el caso de los soldados en el contexto ficticio introducido para recrear ejemplos. / Communication among humans beings is a widespread topic. In this context, Pragmatics plays a very important role in establishing how language is used, in which Speech Acts Theory stands out. An important part of pragmatic interpretation in natural language utterances is the choice of the appropriate speech act for each context. Adapting human communication techniques, which are so natural for humans, is not simple in the area of Artificial Intelligence. Alan Turing, a pioneer in this field, established a strong link between communication and intelligence. Thus, the adequate integration of several processes is necessary in order to have computer agents communicate. To clarify some of these ideas, show diferent types of examples, and motivate reading, an appropriate fictitious situation is presented. This is to evaluate the exchange of speech acts and problems that may arise when the interlocutors are agents. In this fictitious framework, agents are used to analyze the dialogues between soldiers who are part of an international coalition in a fictitious Middle Eastern country. Beyond the flexibility that characterizes the agents, there are plenty of research works on the use of recipes or plans to guide agents towards certain objectives or goals. The exchange of speech acts with other peers is often involved in the steps or progress made by the agents. Progress in this exchange is achieved by using "operators" or messages that can be send as long as certain knowledge is available. This characteristic is typical in classical agent communication languages, such as KQML and ACL. For this reason, the specification of messages in these languages establish both; the mental state required in order to employ a certain message, and the changes produced when applying the message. A very important characteristic required in the definition of an agent is to be a social being accompanied by the idea of commitment with other members of the multi-agent system. Every statement transmitted, every request made, and every promise done are kept in a commitment store, through which, others agents can create a profile or set of backgrounds from which it is possible to reason. Besides it is necessary to consider the problems introduced by the transmission, such as delays and misled messages, which are likely to foster differences among the interlocutors perceptions. It is essential the existace of specific conditions to ensure that all agents have the same observations. That is to say; if someone is a creditor of a commitment, the corresponding debtor assumes himself as such. The situation in which the commitments are aligned, is desirable. Therefore, it is convenient to establish the conditions for the system to evolve in the direction of the alignment. In order to achieve that the agents can succesfully communicate, it is necessary that they reason. In the pursuit of ful lling their goals, agents must overcome situations of conflict, such as diferences in individual points of view in which communication is a means that helps. The dialogue has a very well known tradition to reach agreements, for example, between a feudal and his vassal or in legal matters. Clear rules are required to motivate the progress in the potential resolution accepted by the parties, rules by which it is possible to reason, make statements, demand arguments or propose counterarguments. These ruling environments are known as dialogue games in which different types of logics are used to support the inferences obtained, while the exchange of messages progresses. In this context, persuasion is of a particular interest among independent agents who maintain occasional interactions. This may be the case of soldiers in the fictional context introduced to recreate the examples.