Lo p��blico en lo privado : la calle elevada como catalizador del encuentro colectivo

En la actualidad, el individualismo social originado por las nuevas sociedades de la informaci��n, la crisis econ��mica, y, a��n m��s acusado por aquella arquitectura que busca la m��xima rentabilidad, ha provocado una creciente incomunicaci��n entre las personas que comparten los mismos espacios residenciales. La presente tesis doctoral aborda el estudio del espacio com��n dentro del proyecto de vivienda colectiva, desde la noci��n de espacio intermedio, entendido como frontera espacial ���entre el espacio p��blico de la ciudad y la atmosfera ��ntima de la vivienda��� donde tienen lugar los encuentros sociales entre residentes. El principal objetivo de la investigaci��n es rescatar y poner en valor principios b��sicos del dise��o arquitect��nico ���muchos de ellos en desuso��� que mejoran la calidad del espacio colectivo y favorecen la aparici��n de una atm��sfera agradable para el encuentro interpersonal, as�� como un intento de codificaci��n de estos aspectos, atendiendo a criterios conceptuales que definen el espacio p��blico contempor��neo. La hip��tesis de partida se basa en la consideraci��n del proyecto de viviendas como modelo an��logo al proyecto urbano de la ciudad ���con el que guarda sugerentes similitudes���, y los espacios intermedios como espacio de referencia que pone en valor aquello que liga ��� integrado en el propio proyecto���. Este supuesto b��sico ha permitido a diferentes autores poner en relaci��n fecunda el dise��o de la casa, el edificio y la ciudad, con el individuo, la comunidad y la sociedad; y ha posibilitado plantear la trasposici��n de conceptos arquitect��nicos fruct��feros, en relaci��n con el espacio p��blico ���usando como representante la idea de calle elevada���, que ahora pueden enriquecer el entorno privado del edificio. Sirvi��ndose de instrumentos espec��ficos de la disciplina arquitect��nica, la tesis trata de explicar la devaluaci��n a nivel social de los espacios colectivos, derivada de la construcci��n en altura y del uso excesivo de la estandarizaci��n en el proyecto de viviendas a partir del per��odo de postguerra, e intensificada en el postmodernismo por la revoluci��n de las comunicaciones. Se puede as�� reorientar el dise��o de los proyectos de vivienda colectiva no como una simple agrupaci��n de viviendas que favorecen la incomunicaci��n, sino tratando de impulsar unas edificaciones que potencien la comunicaci��n interpersonal. La reuni��n y reagrupaci��n de un vocabulario arquitect��nico espec��fico, acorde con la complejidad social intr��nseca en los espacios colectivos, amplia el alcance de los conceptos tratados. Dicha terminolog��a se basa principalmente en mecanismos de cualificaci��n espacial y permite evaluar la dimensi��n colectiva de la esfera semip��blica en el edificio de viviendas. ABSTRACT Currently, the social individualism caused by the new societies of information, the economic crisis and even more by architecture, which looks for maximum profitability, has led to a rising lack of communication between people that share the same living space. This doctoral thesis deals with the study of common space, which is based on the notion of in-between space, within the collective housing project. It is considered as a spatial frontier ���between the public space of the city and the intimate atmosphere of the housing��� where social contact between residents takes place. The main purpose of this research is to collect basic principles of architectural design ���many of them no longer in use��� that improve the quality of collective space. Following conceptual criteria that define the contemporary public space, they encourage the emergence of a pleasant atmosphere for interpersonal meeting as well as an attempt to codify these aspects. The initial hypothesis is based on the consideration of the housing project as a model analogous to the urban project of the city, with which it bears some similarities. Furthermore, it is based on the in-between spaces as space of reference that valuates what binds ��� integrated in the project-. That basic supposition has served various authors to connect the design of the house, the building and the city with the individual, the community and the society. In addition ���regarding public space and using the idea of the street in the sky as representative���, it has enabled to bring up the transposition of productive architectural concepts, which can now enrich the private environment of the building. Using specific architectural instruments, this thesis deals with explaining the social devaluation of collective spaces. It has resulted from the high rise building construction as well as from the excessive standardization in the housing project since the postwar period and is intensified by the communications revolution in postmodernism. Thus, it is possible to change the design of collective housing projects not as a mere cluster of dwellings that enhance isolation, but by trying to promote buildings that improve interpersonal communication. The collection and regrouping of a specific architectural vocabulary, in accordance with the social complexity inherent in collective spaces, expands the scope of the discussed concepts. Such terminology is mainly based on qualifying spatial strategies and allows to assess the collective dimension of the semi-public sphere in dwelling.

User Experience in Human-Technology Interaction. Communication, context and evaluation methodology

En esta Tesis se presentan dos l��neas de investigaci��n relacionadas y que contribuyen a las ��reas de Interacci��n Hombre-Tecnolog��a (o M��quina; siglas en ingl��s: HTI o HMI), ling����stica computacional y evaluaci��n de la experiencia del usuario. Las dos l��neas en cuesti��n son el dise��o y la evaluaci��n centrada en el usuario de sistemas de Interacci��n Hombre-M��quina avanzados. En la primera parte de la Tesis (Cap��tulos 2 a 4) se abordan cuestiones fundamentales del dise��o de sistemas HMI avanzados. El Cap��tulo 2 presenta una panor��mica del estado del arte de la investigaci��n en el ��mbito de los sistemas conversacionales multimodales, con la que se enmarca el trabajo de investigaci��n presentado en el resto de la Tesis. Los Cap��tulos 3 y 4 se centran en dos grandes aspectos del dise��o de sistemas HMI: un gestor del di��logo generalizado para tratar la Interacci��n Hombre-M��quina multimodal y sensible al contexto, y el uso de agentes animados personificados (ECAs) para mejorar la robustez del di��logo, respectivamente. El Cap��tulo 3, sobre gesti��n del di��logo, aborda el tratamiento de la heterogeneidad de la informaci��n proveniente de las modalidades comunicativas y de los sensores externos. En este cap��tulo se propone, en un nivel de abstracci��n alto, una arquitectura para la gesti��n del di��logo con influjos heterog��neos de informaci��n, apoy��ndose en el uso de State Chart XML. En el Cap��tulo 4 se presenta una contribuci��n a la representaci��n interna de intenciones comunicativas, y su traducci��n a secuencias de gestos a ejecutar por parte de un ECA, dise��ados espec��ficamente para mejorar la robustez en situaciones de di��logo cr��ticas que pueden surgir, por ejemplo, cuando se producen errores de entendimiento en la comunicaci��n entre el usuario humano y la m��quina. Se propone, en estas p��ginas, una extensi��n del Functional Mark-up Language definido en el marco conceptual SAIBA. Esta extensi��n permite representar actos comunicativos que realizan intenciones del emisor (la m��quina) que no se pretende sean captadas conscientemente por el receptor (el usuario humano), pero con las que se pretende influirle a ��ste e influir el curso del di��logo. Esto se consigue mediante un objeto llamado Base de Intenciones Comunicativas (en ingl��s, Communication Intention Base, o CIB). La representaci��n en el CIB de intenciones ���no claradas��� adem��s de las expl��citas permite la construcci��n de actos comunicativos que realizan simult��neamente varias intenciones comunicativas. En el Cap��tulo 4 tambi��n se describe un sistema experimental para el control remoto (simulado) de un asistente dom��tico, con autenticaci��n de locutor para dar acceso, y con un ECA en el interfaz de cada una de estas tareas. Se incluye una descripci��n de las secuencias de comportamiento verbal y no verbal de los ECAs, que fueron dise��ados espec��ficamente para determinadas situaciones con objeto de mejorar la robustez del di��logo. Los Cap��tulos 5 a 7 conforman la parte de la Tesis dedicada a la evaluaci��n. El Cap��tulo 5 repasa antecedentes relevantes en la literatura de tecnolog��as de la informaci��n en general, y de sistemas de interacci��n hablada en particular. Los principales antecedentes en el ��mbito de la evaluaci��n de la interacci��n sobre los cuales se ha desarrollado el trabajo presentado en esta Tesis son el Technology Acceptance Model (TAM), la herramienta Subjective Assessment of Speech System Interfaces (SASSI), y la Recomendaci��n P.851 de la ITU-T. En el Cap��tulo 6 se describen un marco y una metodolog��a de evaluaci��n aplicados a la experiencia del usuario con sistemas HMI multimodales. Se desarroll�� con este prop��sito un novedoso marco de evaluaci��n subjetiva de la calidad de la experiencia del usuario y su relaci��n con la aceptaci��n por parte del mismo de la tecnolog��a HMI (el nombre dado en ingl��s a este marco es Subjective Quality Evaluation Framework). En este marco se articula una estructura de clases de factores subjetivos relacionados con la satisfacci��n y aceptaci��n por parte del usuario de la tecnolog��a HMI propuesta. Esta estructura, tal y como se propone en la presente tesis, tiene dos dimensiones ortogonales. Primero se identifican tres grandes clases de par��metros relacionados con la aceptaci��n por parte del usuario: ���agradabilidad ��� (likeability: aquellos que tienen que ver con la experiencia de uso, sin entrar en valoraciones de utilidad), rechazo (los cuales s��lo pueden tener una valencia negativa) y percepci��n de utilidad. En segundo lugar, este conjunto clases se reproduce para distintos ���niveles, o focos, percepci��n del usuario���. ��stos incluyen, como m��nimo, un nivel de valoraci��n global del sistema, niveles correspondientes a las tareas a realizar y objetivos a alcanzar, y un nivel de interfaz (en los casos propuestos en esta tesis, el interfaz es un sistema de di��logo con o sin un ECA). En el Cap��tulo 7 se presenta una evaluaci��n emp��rica del sistema descrito en el Cap��tulo 4. El estudio se apoya en los mencionados antecedentes en la literatura, ampliados con par��metros para el estudio espec��fico de los agentes animados (los ECAs), la auto-evaluaci��n de las emociones de los usuarios, as�� como determinados factores de rechazo (concretamente, la preocupaci��n por la privacidad y la seguridad). Tambi��n se eval��a el marco de evaluaci��n subjetiva de la calidad propuesto en el cap��tulo anterior. Los an��lisis de factores efectuados revelan una estructura de par��metros muy cercana conceptualmente a la divisi��n de clases en utilidad-agradabilidad-rechazo propuesta en dicho marco, resultado que da cierta validez emp��rica al marco. An��lisis basados en regresiones lineales revelan estructuras de dependencias e interrelaci��n entre los par��metros subjetivos y objetivos considerados. El efecto central de mediaci��n, descrito en el Technology Acceptance Model, de la utilidad percibida sobre la relaci��n de dependencia entre la intenci��n de uso y la facilidad de uso percibida, se confirma en el estudio presentado en la presente Tesis. Adem��s, se ha encontrado que esta estructura de relaciones se fortalece, en el estudio concreto presentado en estas p��ginas, si las variables consideradas se generalizan para cubrir m��s ampliamente las categor��as de agradabilidad y utilidad contempladas en el marco de evaluaci��n subjetiva de calidad. Se ha observado, asimismo, que los factores de rechazo aparecen como un componente propio en los an��lisis de factores, y adem��s se distinguen por su comportamiento: moderan la relaci��n entre la intenci��n de uso (que es el principal indicador de la aceptaci��n del usuario) y su predictor m��s fuerte, la utilidad percibida. Se presentan tambi��n resultados de menor importancia referentes a los efectos de los ECAs sobre los interfaces de los sistemas de di��logo y sobre los par��metros de percepci��n y las valoraciones de los usuarios que juegan un papel en conformar su aceptaci��n de la tecnolog��a. A pesar de que se observa un rendimiento de la interacci��n dialogada ligeramente mejor con ECAs, las opiniones subjetivas son muy similares entre los dos grupos experimentales (uno interactuando con un sistema de di��logo con ECA, y el otro sin ECA). Entre las peque��as diferencias encontradas entre los dos grupos destacan las siguientes: en el grupo experimental sin ECA (es decir, con interfaz s��lo de voz) se observ�� un efecto m��s directo de los problemas de di��logo (por ejemplo, errores de reconocimiento) sobre la percepci��n de robustez, mientras que el grupo con ECA tuvo una respuesta emocional m��s positiva cuando se produc��an problemas. Los ECAs parecen generar inicialmente expectativas m��s elevadas en cuanto a las capacidades del sistema, y los usuarios de este grupo se declaran m��s seguros de s�� mismos en su interacci��n. Por ��ltimo, se observan algunos indicios de efectos sociales de los ECAs: la ���amigabilidad ��� percibida los ECAs estaba correlada con un incremento la preocupaci��n por la seguridad. Asimismo, los usuarios del sistema con ECAs tend��an m��s a culparse a s�� mismos, en lugar de culpar al sistema, de los problemas de di��logo que pudieran surgir, mientras que se observ�� una ligera tendencia opuesta en el caso de los usuarios del sistema con interacci��n s��lo de voz. ABSTRACT This Thesis presents two related lines of research work contributing to the general fields of Human-Technology (or Machine) Interaction (HTI, or HMI), computational linguistics, and user experience evaluation. These two lines are the design and user-focused evaluation of advanced Human-Machine (or Technology) Interaction systems. The first part of the Thesis (Chapters 2 to 4) is centred on advanced HMI system design. Chapter 2 provides a background overview of the state of research in multimodal conversational systems. This sets the stage for the research work presented in the rest of the Thesis. Chapers 3 and 4 focus on two major aspects of HMI design in detail: a generalised dialogue manager for context-aware multimodal HMI, and embodied conversational agents (ECAs, or animated agents) to improve dialogue robustness, respectively. Chapter 3, on dialogue management, deals with how to handle information heterogeneity, both from the communication modalities or from external sensors. A highly abstracted architectural contribution based on State Chart XML is proposed. Chapter 4 presents a contribution for the internal representation of communication intentions and their translation into gestural sequences for an ECA, especially designed to improve robustness in critical dialogue situations such as when miscommunication occurs. We propose an extension of the functionality of Functional Mark-up Language, as envisaged in much of the work in the SAIBA framework. Our extension allows the representation of communication acts that carry intentions that are not for the interlocutor to know of, but which are made to influence him or her as well as the flow of the dialogue itself. This is achieved through a design element we have called the Communication Intention Base. Such r pr s ntation of ���non- clar ��� int ntions allows th construction of communication acts that carry several communication intentions simultaneously. Also in Chapter 4, an experimental system is described which allows (simulated) remote control to a home automation assistant, with biometric (speaker) authentication to grant access, featuring embodied conversation agents for each of the tasks. The discussion includes a description of the behavioural sequences for the ECAs, which were designed for specific dialogue situations with particular attention given to the objective of improving dialogue robustness. Chapters 5 to 7 form the evaluation part of the Thesis. Chapter 5 reviews evaluation approaches in the literature for information technologies, as well as in particular for speech-based interaction systems, that are useful precedents to the contributions of the present Thesis. The main evaluation precedents on which the work in this Thesis has built are the Technology Acceptance Model (TAM), the Subjective Assessment of Speech System Interfaces (SASSI) tool, and ITU-T Recommendation P.851. Chapter 6 presents the author���s work in establishing an valuation framework and methodology applied to the users��� experience with multimodal HMI systems. A novel user-acceptance Subjective Quality Evaluation Framework was developed by the author specifically for this purpose. A class structure arises from two orthogonal sets of dimensions. First we identify three broad classes of parameters related with user acceptance: likeability factors (those that have to do with the experience of using the system), rejection factors (which can only have a negative valence) and perception of usefulness. Secondly, the class structure is further broken down into several ���user perception levels���; at the very least: an overall system-assessment level, task and goal-related levels, and an interface level (e.g., a dialogue system with or without an ECA). An empirical evaluation of the system described in Chapter 4 is presented in Chapter 7. The study was based on the abovementioned precedents in the literature, expanded with categories covering the inclusion of an ECA, the users��� s lf-assessed emotions, and particular rejection factors (privacy and security concerns). The Subjective Quality Evaluation Framework proposed in the previous chapter was also scrutinised. Factor analyses revealed an item structure very much related conceptually to the usefulness-likeability-rejection class division introduced above, thus giving it some empirical weight. Regression-based analysis revealed structures of dependencies, paths of interrelations, between the subjective and objective parameters considered. The central mediation effect, in the Technology Acceptance Model, of perceived usefulness on the dependency relationship of intention-to-use with perceived ease of use was confirmed in this study. Furthermore, the pattern of relationships was stronger for variables covering more broadly the likeability and usefulness categories in the Subjective Quality Evaluation Framework. Rejection factors were found to have a distinct presence as components in factor analyses, as well as distinct behaviour: they were found to moderate the relationship between intention-to-use (the main measure of user acceptance) and its strongest predictor, perceived usefulness. Insights of secondary importance are also given regarding the effect of ECAs on the interface of spoken dialogue systems and the dimensions of user perception and judgement attitude that may have a role in determining user acceptance of the technology. Despite observing slightly better performance values in the case of the system with the ECA, subjective opinions regarding both systems were, overall, very similar. Minor differences between two experimental groups (one interacting with an ECA, the other only through speech) include a more direct effect of dialogue problems (e.g., non-understandings) on perceived dialogue robustness for the voice-only interface test group, and a more positive emotional response for the ECA test group. Our findings further suggest that the ECA generates higher initial expectations, and users seem slightly more confident in their interaction with the ECA than do those without it. Finally, mild evidence of social effects of ECAs was also found: the perceived friendliness of the ECA increased security concerns, and ECA users may tend to blame themselves rather than the system when dialogue problems are encountered, while the opposite may be true for voice-only users.

Sized Type Analysis for Logic Programs (Technical Communication)

We present a novel analysis for relating the sizes of terms and subterms occurring at diferent argument positions in logic predicates. We extend and enrich the concept of sized type as a representation that incorporates structural (shape) information and allows expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. For example, expressing bounds on the length of lists of numbers, together with bounds on the values of all of their elements. The analysis is developed using abstract interpretation and the novel abstract operations are based on setting up and solving recurrence relations between sized types. It has been integrated, together with novel resource usage and cardinality analyses, in the abstract interpretation framework in the Ciao preprocessor, CiaoPP, in order to assess both the accuracy of the new size analysis and its usefulness in the resource usage estimation application. We show that the proposed sized types are a substantial improvement over the previous size analyses present in CiaoPP, and also benefit the resource analysis considerably, allowing the inference of equal or better bounds than comparable state of the art systems.