Listar por autor "Enciso-García-Oliveros, Manuel"
Mostrando ítems 1-20 de 23
-
A conversational recommender system for diagnosis using fuzzy rules.
Cordero-Ortega, Pablo
; Enciso-García-Oliveros, Manuel; López-Rodríguez, Domingo; Mora-Bonilla, Ángel (Elsevier, 2020-09-15)
Graded implications in the framework of Fuzzy Formal Concept Analysis are used as the knowledge guiding the recommendations. An automated engine based on fuzzy Simplification Logic is proposed to make the suggestions to ... -
A generalized framework to consider positive and negative attributes in formal concept analysis
Rodríguez Jiménez, José Manuel; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Ángel (2014-10-23)
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 ... -
A logic-based approach to compute a direct basis from implications
Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Ángel; Ojeda-Aciego, Manuel; Rodríguez-Lorenzo, Estrella (2014-09-19)
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 ... -
Análisis de datos de la red social Twitter en el turismo en Málaga
(2018)En el presente trabajo de fin de máster se pretende estudiar la presencia del turismo de Málaga en Twitter, analizando datos de esta red social para así detectar el conocimiento a partir de la información sobre la actividad, ... -
Attribute implications with unknown information based on weak Heyting algebras
Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora, Angel; Pérez-Gámez, Francisco (Elsevier, 2024-08)
Simplification logic, a logic for attribute implications, was originally defined for Boolean sets. It was extended to distributive fuzzy sets by using a complete dual Heyting algebra. In this paper, we weaken this restriction ... -
CAISL: Simplification Logic for Conditional Attribute Implications
Mora-Bonilla, Ángel; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Rodríguez-Lorenzo, Estrella; Missaoui, Nokia (2016-07-25)
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 ... -
Captura y análisis de datos en Twitter
(2018-11-28)El proyecto consiste en la creación de una aplicación web que permita realizar la captura y análisis de datos en Twitter facilitando el estudio tanto de las opiniones expresadas como de las personas o entidades que han ... -
Extending FuzAtAnalyzer to approach the management of classical negation
Rodríguez-Jiménez, J.M.; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Ángel (2015-09-16)
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 ... -
fcaR, Formal Concept Analysis with R.
Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; López-Rodríguez, Domingo; Mora-Bonilla, Ángel (The R Foundation, 2022)
Formal concept analysis (FCA) is a solid mathematical framework to manage information based on logic and lattice theory. It defines two explicit representations of the knowledge present in a dataset as concepts and ... -
From an implicational system to its corresponding D-basis
Rodríguez-Lorenzo, Estrella; Adaricheva, Kira; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Ángel (2015-10-30)
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 ... -
GameSQL: un tutor de SQL basado en las técnicas de gamificación.
(2018-02-23)SQL (Structured Query Language) es un lenguaje que fue principalmente dise~ nado para la manipulación y control de datos en bases de datos. Su funcionamiento principal se basa en el manejo del álgebra y el cálculo ... -
Inference of mixed information in Formal Concept Analysis
Mora-Bonilla, Ángel; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Rodríguez, Jose Manuel (2017-10-10)
Negative information can be considered twofold: by means of a negation operator or by capturing the absence of information. In this second approach, a new framework have to be developed: from the syntax to the semantics, ... -
De la Información al Conocimiento. Aplicaciones basadas en implicaciones y computación paralela.
(UMA Editorial, 2018-11-30)La gestión de la información es uno de los pilares esenciales de la Ingeniería Informática. Esta tesis doctoral toma como principal base teórica el Análisis Formal de Conceptos (FCA, por sus siglas en inglés: Formal ... -
Lanzadera java para la programación de consultas SQL sobre la capa de persistencia de un software de aplicación
(2018-03-13)Este trabajo fin de grado tiene como finalidad el desarrollo de dos aplicaciones java, independientes en su uso, pero relacionadas entre sí en un mismo objetivo final. Una estará destinada a un usuario que, sin conocimiento ... -
Minería de datos con Oracle Data Miner
(2016-05-27)La intención del proyecto es mostrar las diferentes características que ofrece Oracle en el campo de la minería de datos, con la finalidad de saber si puede ser una plataforma apta para la investigación y la educación en ... -
Parameterized simplification logic I: reasoning with implications and classes of closure operators
Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Ángel; Vychodil, Vilem (Taylor & Francis, 2020)
In this paper, we present a general inference system for reasoning with if-then rules. They are defined using general lattice-theoretic notions and their semantics is defined using particular closure operators parameterized ... -
Parameterized Simplification Logic: Reasoning With Implications in an Automated Way
Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel; Mora-Bonilla, Ángel; Vychodil, Vilem (IEEE, 2022)
In this sequel to our previous article (Cordero et al., 2020) on general inference systems for reasoning with if–then dependencies, we study transformations of if–then rules to semantically equivalent collections of if–then ... -
Redes de influencias y líderes de opinión en las redes sociales
(2016-06-10)Este Trabajo de Fin de Grado (TFG) se engloba en la línea general Social CRM. Concretamente, está vinculado a un trabajo de investigación llamado “Knowledge discovery in social networks by using a logic-based treatment of ... -
Removing redundancy for attribute implications in data with grades
Mora-Bonilla, Ángel; Rodríguez-Lorenzo, Estrella; Cordero-Ortega, Pablo; Enciso-García-Oliveros, Manuel (Cristina Alcalde, Humberto Bustince, Francisco Javier Fernández, 2016)
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 ...