Abstract Canonical Inference

An abstract framework of canonical inference is used to explore how different proof orderings induce different variants of saturation and completeness. Notions like completion, paramodulation, saturation, redundancy elimination, and rewrite-system reduction are connected to proof orderings. Fairness of deductive mechanisms is defined in terms of proof orderings, distinguishing between (ordinary) "fairness," which yields completeness, and "uniform fairness," which yields saturation.Comment: 28 pages, no figures, to appear in ACM Trans. on Computational Logi

Congruencias y factorización como herramientas de reducción en el análisis de conceptos formales

Desde su introducción a principios de los años ochenta por B. Ganter y R. Wille, el Análisis de Conceptos Formales (FCA, de sus siglas en inglés) ha sido una de las herramientas matemáticas para el análisis de datos que más desarrollo ha experimentado. El FCA es una teoría matemática que determina estructuras conceptuales entre conjuntos de datos. En particular, las bases de datos se interpretan formalmente en esta teoría con la noción de contexto, que viene determinado por un conjunto de objetos, un conjunto de atributos y una relación entre ambos conjuntos. Las herramientas que proporciona el FCA permiten manipular adecuadamente los datos y extraer información relevante de ellos. Una de las líneas de investigación con más importancia es la reducción del conjunto de atributos que contienen estos conjuntos de datos, preservando la información esencial y eliminando la redundancia que puedan contener. La reducción de atributos también ha sido estudiada en otros ambientes, como en la Teoría de Conjuntos Rugosos, así como en las distintas generalizaciones difusas de ambas teorías. En el FCA, se ha demostrado que cuando se lleva a cabo una reducción de atributos de un contexto formal, se induce una relación de equivalencia sobre el conjunto de conceptos del contexto original. Esta relación de equivalencia inducida tiene una particularidad, sus clases de equivalencia tienen una estructura de semirretículo superior con un elemento máximo, es decir, no forman estructuras algebraicas cerradas, en general. En esta tesis estudiamos cómo es posible complementar las reducciones de atributos dotando a las clases de equivalencia con una estructura algebraica cerrada. La noción de congruencia consigue este propósito, sin embargo, el uso de este tipo de relación de equivalencia puede desembocar en una gran pérdida de información debido a que las clases de equivalencia agrupan demasiados conceptos. Para abordar este problema, en esta tesis se introduce una noción debilitada de congruencia que denominamos congruencia local. La congruencia local da lugar a clases de equivalencia con estructura de subretículo convexo, siendo más flexible a la hora de agrupar conceptos pero manteniendo propiedades interesantes desde un punto de vista algebraico. Se presenta una discusión general de los principales resultados relativos al estudio y aplicación de las congruencias locales que se han obtenido a lo largo de la investigación desarrollada durante la tesis. En particular, se introduce la noción de congruencia local junto con un análisis de las propiedades que satisface, así como una relación de orden sobre el conjunto de las clases de equivalencia. Además, realizamos un análisis profundo del impacto que genera el uso de las congruencias locales en el FCA, tanto en el contexto formal como en el retículo de conceptos. En este análisis identificamos aquellas clases de equivalencia de la relación inducida por una reducción de atributos, sobre las cuales actuaría la congruencia local, realizando una agrupación de conceptos diferente para obtener subretículos convexos. Adicionalmente, llevamos a cabo un estudio sobre el uso de las congruencias locales cuando en la reducción de atributos considerada se han eliminado todos los atributos innecesarios del contexto, obtienen resultados interesantes. Presentamos diversos mecanismos que permiten calcular congruencias locales y aplicarlas sobre retículos de conceptos, detallando las modificaciones que se realizan sobre el contexto formal para proporcionar un método de reducción basado en congruencias locales. Por otra parte, otra de las estrategias que nos permite reducir la complejidad del análisis de los contextos formales son los mecanismos de factorización. Los procedimientos utilizados para factorizar permiten dividir un contexto en dos o más subcontextos formales de menor tamaño, pudiéndose estudiar por separado más fácilmente. Se presenta un estudio preliminar sobre la factorización de contextos formales difusos usando operadores modales, que no se ha publicado aún en una revista. Estos operadores modales ya han sido utilizados para extraer subcontextos independientes de un contexto formal clásico obteniéndose así una factorización del contexto original. En esta tesis estudiamos también diversas propiedades que nos ayudan a comprender mejor cómo funciona la descomposición de tablas de datos booleanos, para luego realizar una adaptación de dichas propiedades al marco de trabajo multiadjunto. El estudio de estas propiedades generales en el marco de trabajo multiadjunto será de gran relevancia para poder obtener en el futuro un procedimiento que nos permita factorizar contextos formales multiadjuntos. Por tanto, la obtención de mecanismos de factorización de contextos multiadjuntos será clave para el análisis y tratamiento de grandes bases de dato

不协调决策形式背景的矩阵型属性约简

形式概念分析的属性约简是知识表达和数据处理的一种有力的工具。对于不协调决策形式背景,已有多种属性约简的方法。文中从布尔矩阵运算的角度研究不协调决策形式背景的属性约简问题,提出属性约简的新的刻画。首先,借助矩阵的运算给出广义矩阵协调集的定义,并研究属性之间相似性的度量。接着,针对在属性约简过程中起不同作用的属性,将条件属性区分为核心属性和非核心属性,提出一个属性是否是核心属性的充要判断条件,以及得出属性约简的判别方法。最后,在此框架上设计出不协调决策形式背景属性约简的一种启发式算法,通过例题说明此算法的可行性和合理性。通过属性约简,该形式背景下的概念格计算更为简便。上述结果有助于进一步的应用及为研究形式概念分析的矩阵方法提供了理论基础。国家自然科学基金项目Nos.11871259,61379021,117 01258;;\n福建省自然科学基金项目Nos.2019J01748,2017J0150

ACCOUNTABILITY INCONGRUENCE AND ITS EFFECTS ON AI DEVELOPERS’ JOB SATISFACTION

Developers of Artificial Intelligence (AI)-based systems are increasingly urged to assume accountability for their development decisions, referring to the degree to which they must justify underlying algorithms and their outcomes on demand. Thereby, AI developers often have to juxtapose how much accountability they self-attribute to them and how much accountability they perceive others attribute to them, creating intrapersonal perceptual accountability (in)congruence with unknown consequences for their job satisfaction. Building on perceptual congruence research and algorithmic accountability literature, we conducted an online survey of 87 AI developers about their experiences in AI-based systems development projects. Our results show that the lower the incongruence between self-attributed and others-attributed accountability, the higher the job satisfaction of AI developers. Moreover, we find that AI developers’ role ambiguity mediates this effect. Our study contributes to a more nuanced understanding of AI developers’ perceived accountability, with essential insights for defining job roles and understanding AI developers

Who Calls It? Actors and Accounts in the Social Construction of Organizational Moral Failure

In recent years, research on morality in organizational life has begun to examine how organizational conduct comes to be socially constructed as having failed to comply with a community's accepted morals. Researchers in this stream of research, however, have paid little attention to identifying and theorizing the key actors involved in these social construction processes and the types of accounts they construct. In this paper, we explore a set of key structural and cultural dimensions of apparent noncompliance that enable us to distinguish between four categories of actors who engage in constructing the label of moral failure: dominant insiders, watchdog organizations, professional members, and publics. The analysis further clarifies which category of actor is more likely to succeed in constructing the label of moral failure under which circumstances, and what accounts they are likely to use, namely scapegoating, prototyping, shaming, and protesting

Structural Identity Theory and the Dynamics of Cross-Cultural Work Groups

The creation of a global village, transnational corporations, internet and similar influences remind us constantly that a science of organizations and management is incomplete without the integration of concepts of culture and self-awareness. It is no longer appropriate to discuss organizational activities and employee actions without incorporating a more complete view of where such activities take place. Not only must we include an immediate social context, but we must deal with the international and cultural aspects of the social world as well. More than ever, understanding of employee action requires knowledge of how action is related to the environment in which it is embedded. Using this general focus, we examine a number of significant issues concerning cultural influences on work groups and teams. Our emphasis is the extension and elaboration of other reviews concerning work teams evaluated cross-culturally. The interested reader is referred to a number of articles including Mann (1980), Triandis (1994), Tannenbaum (1980), Earley and Gibson (in press), Granrose and Oskamp (1997), and Ravlin et al. (in press) among others. Our review contains three sections, the first of which is a discussion of traditional approaches to studying teams including the emphasis used in this chapter. In the second section, we use our framework to review literature concerning cultural influences in relation to work teams. Finally, we make a number of recommendations for future research and indicate how our contextual-structural approach extends existing lines of work

The effects of partner type on condom choice and condom use

Includes bibliographical references (p. 75-90).South Africa has one of the world's highest rates of HIV infection. Little previous research has focused on the relationship between individuals in different sexual contexts and their attitudes toward condom choice. I tested the hypotheses that (a) implicit and explicit measures of attitudes towards condom choice would show that individuals in casual sexual contexts, compared to those in the context of exclusive sexual relationships, would spontaneously associate more strongly with brand-name condoms over generic condoms, and (b) there would be a positive correlation between explicit and implicit attitudes towards condom choice