Extending FuzAtAnalyzer to approach the management of classical negation

FuzAtAnalyzer was conceived as a Java framework which goes beyond of classical tools in formal concept analysis. Specifically, it successfully incorporated the management of uncertainty by means of methods and tools from the area of fuzzy formal concept analysis. One limitation of formal concept analysis is that they only consider the presence of properties in the objects (positive attributes) as much in fuzzy as in crisp case. In this paper, a first step in the incorporation of negations is presented. Our aim is the treatment of the absence of properties (negative attributes). Specifically, we extend the framework by including specific tools for mining knowledge combining crisp positive and negative attributes.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Removing redundancy for attribute implications in data with grades

Reasoning with if-then rules –in particular, with those taking from of implications between conjunctions of attributes– is crucial in many disciplines ranging from theoretical computer science to applications. One of the most important problems regarding the rules is to remove redundancies in order to obtain equivalent implicational sets with lower size.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

From an implicational system to its corresponding D-basis

Closure system is a fundamental concept appearing in several areas such as databases, formal concept analysis, artificial intelligence, etc. It is well-known that there exists a connection between a closure operator on a set and the lattice of its closed sets. Furthermore, the closure system can be replaced by a set of implications but this set has usually a lot of redundancy inducing non desired properties. In the literature, there is a common interest in the search of the mini- mality of a set of implications because of the importance of bases. The well-known Duquenne-Guigues basis satisfies this minimality condition. However, several authors emphasize the relevance of the optimality in order to reduce the size of implications in the basis. In addition to this, some bases have been defined to improve the computation of closures relying on the directness property. The efficiency of computation with the direct basis is achieved due to the fact that the closure is computed in one traversal. In this work, we focus on the D-basis, which is ordered-direct. An open problem is to obtain it from an arbitrary implicational system, so it is our aim in this paper. We introduce a method to compute the D-basis by means of minimal generators calculated using the Simplification Logic for implications.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Supported by Grants TIN2011-28084 and TIN2014-59471-P of the Science and Innovation Ministry of Spain, which is co-financed by the European Social Fund

CAISL: Simplification Logic for Conditional Attribute Implications

In this work, we present a sound and complete axiomatic system for conditional attribute implications (CAIs) in Triadic Concept Analysis (TCA). Our approach is strongly based on the Simplification paradigm which offers a more suitable way for automated reasoning than the one based on Armstrong’s Axioms. We also present an automated method to prove the derivability of a CAI from a set of CAI s.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

A generalized framework to consider positive and negative attributes in formal concept analysis

In Formal Concept Analysis the classical formal context is analized taking into account only the positive information, i.e. the presence of a property in an object. Nevertheless, the no presence of a property in an object also provides a signi cant knowledge which can only be partially considered with the classical approach. In this work we have modi ed the concept forming operators to allow the treatment of both, positive and negative attributes which come from respectively, the presence and absence of the properties. In this work we de ne the new operators and we prove that they are Galois connections. Finally, we have also studied the correspondence between the formal context in the new framework and the extended concept lattice, providing new interesting properties.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Simplification logic for the management of unknown information

This paper aims to contribute to the extension of classical Formal Concept Analysis (FCA), allowing the management of unknown information. In a preliminary paper, we define a new kind of attribute implications to represent the knowledge from the information currently available. The whole FCA framework has to be appropriately extended to manage unknown information. This paper introduces a new logic for reasoning with this kind of implications, which belongs to the family of logics with an underlying Simplification paradigm. Specifically, we introduce a new algebra, named weak dual Heyting Algebra, that allows us to extend the Simplification logic for these new implications. To provide a solid framework, we also prove its soundness and completeness and show the advantages of the Simplification paradigm. Finally, to allow further use of this extension of FCA in applications, an algorithm for automated reasoning, which is directly built from logic, is defined.Funding for open access charge: Universidad de Málaga / CBUA This article is Supported by Grants TIN2017-89023-P, PRE2018-085199 and PID2021-127870OB-I00 of the Ministry of Science and Innovation of Spain and UMA2018-FEDERJA-001 of the Junta de Andalucia and European Social Fund

A logic-based approach to compute a direct basis from implications

Formal Concept Analysis is an emergent area in the topic of data analysis based on lattice theory. In this framework, a context is defined as the relation between a set of objects and a set of attributes and from here it is possible to extract relevant knowledge. One of the important topics is to study the implications between the attributes considered. In a context, some equivalent sets of implications can be compute using different techniques. We are studying the direct optimal basis, which enables us to compute the closure of a set of attributes in just one iteration. A Prolog method has been implemented that computes a direct basis from a set of implications.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech, TIN12-39353-C04-01 and TIN2011-2808

The direct-optimal basis via reductions

Formal Concept Analysis has become a real approach in the trend Information-Knowledge-Wisdom. It turns around the mining of a data set to built a concept lattice which provides an strong structure of the knowledge. Implications play the role of an alternative specification of this concept lattice and may be managed by means of inference rules. This syntactic treatment is guided by several properties like directness, minimality, optimality, etc. In this work, we propose a method to calcu- late the direct-optimal basis equivalent to a given Implicational System. Our method deals with unitary and non-unitary implications. Moreover, it shows a better performance that previous methods in the literature by means of the use of Simplification Logic and reduction paradigm, which remains narrow implications in any stage of the process. We have also developed an empirical study to compare our method with previous approaches in the literature.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Guía de práctica clínica para el tratamiento del mieloma múltiple: guía para profesionales de la salud

113 p.La guía está dirigida al personal clínico asistencial especializado que brinda tratamiento a los pacientes con diagnóstico de MM activo, en el contexto del Sistema General de Seguridad Social en Salud (SGSSS) colombiano. Incluye a los siguientes profesionales potenciales: médicos especialistas en hematología, oncología y hemato-oncología. Dado que se abordan algunos datos del contexto de la enfermedad, la guía puede ser de utilidad para otros profesionales tales como: médicos internistas, radioterapeutas, enfermeras oncólogas y profesionales en formación. También está dirigida a los centros asistenciales que brindan cuidado a los pacientes con diagnóstico de MM activo y a quienes toman decisiones administrativas, tanto en el medio hospitalario como en las aseguradoras, pagadores del gasto en la salud y en la generación de políticas de salud. Finalmente, las recomendaciones pueden ser de interés para pacientes con MM activo, sus familiares y cuidadores.Incluye glosario y lista de siglas y acrónimo

Guía de práctica clínica para el tratamiento del mieloma múltiple

296 p.El mieloma múltiple (MM) es una patología caracterizada por una infiltración maligna de las células plasmáticas de la médula ósea, y se encuentra asociada con un incremento en el nivel de proteína monoclonal, tanto en sangre como en orina. Este crecimiento incontrolado, genera consecuencias, incluyendo destrucción ósea, falla de médula ósea, supresión de la producción de inmunoglobulina e insuficiencia renal. Se considera que es la enfermedad maligna ósea primaria más común. Según datos del Instituto Nacional de Cáncer de los Estados Unidos, la incidencia de esta patología, ajustada por edad, en población americana entre los años 2003 y 2007 fue de 7 casos por 100.000 hombres y de 4,6 casos por 100.000 mujeres y se sabe que la mediana de edad de presentación de la enfermedad es a los 66 años . Según las estimaciones hechas por GLOBOCAN 2012, la tasa de incidencia mundial, estandarizada por edad en hombres es de 1,7 casos por 100.000 personas año y en las mujeres de 1,2 casos por 100.000 personas año.Incluye glosario y lista de siglas y acrónimo