-
Deep Learning methodology for the identification of wood species using high-resolution macroscopic images
Authors:
David Herrera-Poyatos,
Andrés Herrera-Poyatos,
Rosana Montes,
Paloma de Palacios,
Luis G. Esteban,
Alberto García Iruela,
Francisco García Fernández,
Francisco Herrera
Abstract:
Significant advancements in the field of wood species identification are needed worldwide to support sustainable timber trade. In this work we contribute to automate the identification of wood species via high-resolution macroscopic images of timber. The main challenge of this problem is that fine-grained patterns in timber are crucial in order to accurately identify wood species, and these patter…
▽ More
Significant advancements in the field of wood species identification are needed worldwide to support sustainable timber trade. In this work we contribute to automate the identification of wood species via high-resolution macroscopic images of timber. The main challenge of this problem is that fine-grained patterns in timber are crucial in order to accurately identify wood species, and these patterns are not properly learned by traditional convolutional neural networks (CNNs) trained on low/medium resolution images.
We propose a Timber Deep Learning Identification with Patch-based Inference Voting methodology, abbreviated TDLI-PIV methodology. Our proposal exploits the concept of patching and the availability of high-resolution macroscopic images of timber in order to overcome the inherent challenges that CNNs face in timber identification. The TDLI-PIV methodology is able to capture fine-grained patterns in timber and, moreover, boosts robustness and prediction accuracy via a collaborative voting inference process.
In this work we also introduce a new data set of marcroscopic images of timber, called GOIMAI-Phase-I, which has been obtained using optical magnification in order to capture fine-grained details, which contrasts to the other datasets that are publicly available. More concretely, images in GOIMAI-Phase-I are taken with a smartphone with a 24x magnifying lens attached to the camera. Our data set contains 2120 images of timber and covers 37 legally protected wood species.
Our experiments have assessed the performance of the TDLI-PIV methodology, involving the comparison with other methodologies available in the literature, exploration of data augmentation methods and the effect that the dataset size has on the accuracy of TDLI-PIV.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Large language models for crowd decision making based on prompt design strategies using ChatGPT: models, analysis and challenges
Authors:
Cristina Zuheros,
David Herrera-Poyatos,
Rosana Montes,
Francisco Herrera
Abstract:
Social Media and Internet have the potential to be exploited as a source of opinion to enrich Decision Making solutions. Crowd Decision Making (CDM) is a methodology able to infer opinions and decisions from plain texts, such as reviews published in social media platforms, by means of Sentiment Analysis. Currently, the emergence and potential of Large Language Models (LLMs) lead us to explore new…
▽ More
Social Media and Internet have the potential to be exploited as a source of opinion to enrich Decision Making solutions. Crowd Decision Making (CDM) is a methodology able to infer opinions and decisions from plain texts, such as reviews published in social media platforms, by means of Sentiment Analysis. Currently, the emergence and potential of Large Language Models (LLMs) lead us to explore new scenarios of automatically understand written texts, also known as natural language processing. This paper analyzes the use of ChatGPT based on prompt design strategies to assist in CDM processes to extract opinions and make decisions. We integrate ChatGPT in CDM processes as a flexible tool that infer the opinions expressed in texts, providing numerical or linguistic evaluations where the decision making models are based on the prompt design strategies. We include a multi-criteria decision making scenario with a category ontology for criteria. We also consider ChatGPT as an end-to-end CDM model able to provide a general opinion and score on the alternatives. We conduct empirical experiments on real data extracted from TripAdvisor, the TripR-2020Large dataset. The analysis of results show a promising branch for develo** quality decision making models using ChatGPT. Finally, we discuss the challenges of consistency, sensitivity and explainability associated to the use of LLMs in CDM processes, raising open questions for future studies.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Moodle Usability Assessment Methodology using the Universal Design for Learning perspective
Authors:
Rosana Montes,
Liliana Herrera,
Emilio Crisol
Abstract:
The application of the Universal Design for Learning framework favors the creation of virtual educational environments for all. It requires develo** accessible content, having a usable platform, and the use of flexible didactics and evaluations that promote constant student motivation. The present study aims to design a methodology to evaluate the usability of the Moodle platform based on the pr…
▽ More
The application of the Universal Design for Learning framework favors the creation of virtual educational environments for all. It requires develo** accessible content, having a usable platform, and the use of flexible didactics and evaluations that promote constant student motivation. The present study aims to design a methodology to evaluate the usability of the Moodle platform based on the principles of Universal Design for Learning, recognizing the importance of accessibility, usability and the availability of Assistive Technologies. We developed and applied a methodology to assess the usability level of Moodle platforms, taking into consideration that they integrate Assistive Technologies or are used for MOOC contexts. We provide the results of a use case that assesses two instances for the respective Moodle v.2.x and v.3.x family versions. We employed the framework of mixed design research in order to assess a MOOC-type educational program devised under the principles of Universal Design for Learning. As a result of the assessment of Moodle v.2.x and v.3.x, we conclude that the platforms must improve some key elements (e.g. contrasting colors, incorporation of alternative text and links) in order to comply with international accessibility standards. With respect to usability, we can confirm that the principles and guidelines of Universal Design for Learning are applicable to MOOC-type Virtual Learning Environments, are positively valued by students, and have a positive impact on certification rates.
△ Less
Submitted 2 April, 2024; v1 submitted 15 March, 2024;
originally announced March 2024.
-
Teranga Go!: Carpooling Collaborative Consumption Community with multi-criteria hesitant fuzzy linguistic term set opinions to build confidence and trust
Authors:
Rosana Montes,
Ana M. Sanchez,
Pedro Villar,
Francisco Herrera
Abstract:
Classic Delphi and Fuzzy Delphi methods are used to test content validity of a data collection tools such as questionnaires. Fuzzy Delphi takes the opinion issued by judges from a linguistic perspective reducing ambiguity in opinions by using fuzzy numbers. We propose an extension named 2-Tuple Fuzzy Linguistic Delphi method to deal with scenarios in which judges show different expertise degrees b…
▽ More
Classic Delphi and Fuzzy Delphi methods are used to test content validity of a data collection tools such as questionnaires. Fuzzy Delphi takes the opinion issued by judges from a linguistic perspective reducing ambiguity in opinions by using fuzzy numbers. We propose an extension named 2-Tuple Fuzzy Linguistic Delphi method to deal with scenarios in which judges show different expertise degrees by using fuzzy multigranular semantics of the linguistic terms and to obtain intermediate and final results expressed by 2-tuple linguistic values. The key idea of our proposal is to validate the full questionnaire by means of the evaluation of its parts, defining the validity of each item as a Decision Making problem. Taking the opinion of experts, we measure the degree of consensus, the degree of consistency, and the linguistic score of each item, in order to detect those items that affect, positively or negatively, the quality of the instrument. Considering the real need to evaluate a b-learning educational experience with a consensual questionnaire, we present a Decision Making model for questionnaire validation that solve it. Additionally, we contribute to this consensus reaching problem by develo** an online tool under GPL v3 license. The software visualizes the collective valuations for each iteration and assists to determine which parts of the questionnaire should be modified to reach a consensual solution.
△ Less
Submitted 7 February, 2024;
originally announced March 2024.
-
Design and consensus content validity of the questionnaire for b-learning education: A 2-Tuple Fuzzy Linguistic Delphi based Decision Support Tool
Authors:
Rosana Montes,
Cristina Zuheros,
Jeovani M. Morales,
Noe Zermeño,
Jerónimo Duran,
Francsico Herrera
Abstract:
Classic Delphi and Fuzzy Delphi methods are used to test content validity of data collection tools such as questionnaires. Fuzzy Delphi takes the opinion issued by judges from a linguistic perspective reducing ambiguity in opinions by using fuzzy numbers. We propose an extension named 2-Tuple Fuzzy Linguistic Delphi method to deal with scenarios in which judges show different expertise degrees by…
▽ More
Classic Delphi and Fuzzy Delphi methods are used to test content validity of data collection tools such as questionnaires. Fuzzy Delphi takes the opinion issued by judges from a linguistic perspective reducing ambiguity in opinions by using fuzzy numbers. We propose an extension named 2-Tuple Fuzzy Linguistic Delphi method to deal with scenarios in which judges show different expertise degrees by using fuzzy multigranular semantics of the linguistic terms and to obtain intermediate and final results expressed by 2-tuple linguistic values. The key idea of our proposal is to validate the full questionnaire by means of the evaluation of its parts, defining the validity of each item as a Decision Making problem. Taking the opinion of experts, we measure the degree of consensus, the degree of consistency, and the linguistic score of each item, in order to detect those items that affect, positively or negatively, the quality of the instrument. Considering the real need to evaluate a b-learning educational experience with a consensual questionnaire, we present a Decision Making model for questionnaire validation that solves it. Additionally, we contribute to this consensus reaching problem by develo** an online tool under GPL v3 license. The software visualizes the collective valuations for each iteration and assists to determine which parts of the questionnaire should be modified to reach a consensual solution.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Optimal Decision Rules for the Discursive Dilemma
Authors:
Aureli Alabert,
Mercè Farré,
Rubén Montes
Abstract:
We study the classical discursive dilemma from the point of view of finding the best decision rule according to a quantitative criterion, under very mild restrictions on the set of admissible rules. The members of the deciding committee are assumed to have a certain probability to assess correctly the truth or falsity of the premisses, and the best rule is the one that minimises a combination of t…
▽ More
We study the classical discursive dilemma from the point of view of finding the best decision rule according to a quantitative criterion, under very mild restrictions on the set of admissible rules. The members of the deciding committee are assumed to have a certain probability to assess correctly the truth or falsity of the premisses, and the best rule is the one that minimises a combination of the probabilities of false positives and false negatives on the conclusion.
△ Less
Submitted 24 October, 2022;
originally announced October 2022.
-
EXplainable Neural-Symbolic Learning (X-NeSyL) methodology to fuse deep learning representations with expert knowledge graphs: the MonuMAI cultural heritage use case
Authors:
Natalia Díaz-Rodríguez,
Alberto Lamas,
Jules Sanchez,
Gianni Franchi,
Ivan Donadello,
Siham Tabik,
David Filliat,
Policarpo Cruz,
Rosana Montes,
Francisco Herrera
Abstract:
The latest Deep Learning (DL) models for detection and classification have achieved an unprecedented performance over classical machine learning algorithms. However, DL models are black-box methods hard to debug, interpret, and certify. DL alone cannot provide explanations that can be validated by a non technical audience. In contrast, symbolic AI systems that convert concepts into rules or symbol…
▽ More
The latest Deep Learning (DL) models for detection and classification have achieved an unprecedented performance over classical machine learning algorithms. However, DL models are black-box methods hard to debug, interpret, and certify. DL alone cannot provide explanations that can be validated by a non technical audience. In contrast, symbolic AI systems that convert concepts into rules or symbols -- such as knowledge graphs -- are easier to explain. However, they present lower generalisation and scaling capabilities. A very important challenge is to fuse DL representations with expert knowledge. One way to address this challenge, as well as the performance-explainability trade-off is by leveraging the best of both streams without obviating domain expert knowledge. We tackle such problem by considering the symbolic knowledge is expressed in form of a domain expert knowledge graph. We present the eXplainable Neural-symbolic learning (X-NeSyL) methodology, designed to learn both symbolic and deep representations, together with an explainability metric to assess the level of alignment of machine and human expert explanations. The ultimate objective is to fuse DL representations with expert domain knowledge during the learning process to serve as a sound basis for explainability. X-NeSyL methodology involves the concrete use of two notions of explanation at inference and training time respectively: 1) EXPLANet: Expert-aligned eXplainable Part-based cLAssifier NETwork Architecture, a compositional CNN that makes use of symbolic representations, and 2) SHAP-Backprop, an explainable AI-informed training procedure that guides the DL process to align with such symbolic representations in form of knowledge graphs. We showcase X-NeSyL methodology using MonuMAI dataset for monument facade image classification, and demonstrate that our approach improves explainability and performance.
△ Less
Submitted 13 October, 2021; v1 submitted 24 April, 2021;
originally announced April 2021.
-
Boolean perspectives of idioms and the Boyle derivative
Authors:
Jaime Castro Pérez,
Mauricio Medina Bárcenas,
José Ríos Montes,
Ángel Zaldívar
Abstract:
We are concerned with the boolean or more general with the complemented properties of idioms (complete upper-continuous modular lattices). In [Simmons&Cantor] the author introduces a device which captures in some informal speaking how far the idiom is from be complemented, this device is the Cantor-Bendixson derivative. There exists another device that captures some boolean properties, the so-call…
▽ More
We are concerned with the boolean or more general with the complemented properties of idioms (complete upper-continuous modular lattices). In [Simmons&Cantor] the author introduces a device which captures in some informal speaking how far the idiom is from be complemented, this device is the Cantor-Bendixson derivative. There exists another device that captures some boolean properties, the so-called Boyle-derivative, this derivative is an operator on the assembly (the frame of nuclei) of the idiom. The Boyle-derivative has its origins in module theory. In this investigation we produce an idiomatic analysis of the boolean properties of any idiom using the Boyle-derivative, we give conditions on a nucleus $j$ such that $[j, tp]$ is a complete boolean algebra. We also explore some properties of nuclei $j$ such that $A_{j}$ is a complemented idiom.
△ Less
Submitted 8 August, 2017;
originally announced August 2017.
-
Boyle's Conjecture and perfect localizations
Authors:
Jaime Castro Pérez,
Mauricio Medina Bárcenas,
José Ríos Montes,
Angel Zaldívar
Abstract:
In this article we study the behavior of left QI-rings under perfect localizations. We show that a perfect localization of a left QI-ring is a left QI-ring. We prove that Boyle's conjecture is true for left QI-rings with finite Gabriel dimension such that the hereditary torsion theory generated by semisimple modules is perfect. As corollary we get that Boyle's conjecture is true for left QI-rings…
▽ More
In this article we study the behavior of left QI-rings under perfect localizations. We show that a perfect localization of a left QI-ring is a left QI-ring. We prove that Boyle's conjecture is true for left QI-rings with finite Gabriel dimension such that the hereditary torsion theory generated by semisimple modules is perfect. As corollary we get that Boyle's conjecture is true for left QI-rings which satisfy the restricted left socle condition, this result was proved first by C. Faith in \cite{faithhereditary}.
△ Less
Submitted 14 November, 2016;
originally announced November 2016.
-
On the structure of Goldie Modules
Authors:
Jaime Castro Pérez,
Mauricio Medina Bárcenas,
Angel Zaldívar,
José Ríos Montes
Abstract:
Given a semiprime Goldie module $M$ projective in $σ[M]$ we study decompositions on its $M$-injective hull $\hat{M}$ in terms of the minimal prime in $M$ submodules. With this, we characterize the semiprime Goldie modules in $\mathbb{Z}$-Mod and make a decomposition of the endomorphism ring of $\hat{M}$. Also, we investigate the relations among semiprime Goldie modules, $QI$-modules and co-semisim…
▽ More
Given a semiprime Goldie module $M$ projective in $σ[M]$ we study decompositions on its $M$-injective hull $\hat{M}$ in terms of the minimal prime in $M$ submodules. With this, we characterize the semiprime Goldie modules in $\mathbb{Z}$-Mod and make a decomposition of the endomorphism ring of $\hat{M}$. Also, we investigate the relations among semiprime Goldie modules, $QI$-modules and co-semisimple modules extending results on left $QI$-rings and $V$-rings.
△ Less
Submitted 13 January, 2016;
originally announced January 2016.
-
Modules with ascending chain condition on annihilators and Goldie modules
Authors:
Jaime Castro Pérez,
Mauricio Medina Bárcenas,
José Ríos Montes
Abstract:
Using the concepts of prime module, semiprime module and the concept of ascending chain condition (ACC) on annihilators for an $R$-module $M$ . We prove that if \ $M$ is semiprime \ and projective in $σ\left[ M\right] $, such that $M$ satisfies ACC on annihilators, then $M$ has finitely many minimal prime submodules. Moreover if each submodule $N\subseteq M$ contains a uniform submodule, we prove…
▽ More
Using the concepts of prime module, semiprime module and the concept of ascending chain condition (ACC) on annihilators for an $R$-module $M$ . We prove that if \ $M$ is semiprime \ and projective in $σ\left[ M\right] $, such that $M$ satisfies ACC on annihilators, then $M$ has finitely many minimal prime submodules. Moreover if each submodule $N\subseteq M$ contains a uniform submodule, we prove that there is a bijective correspondence between a complete set of representatives of isomorphism classes of indecomposable non $M$-singular injective modules in $σ\left[ M\right] $ and the set of minimal primes in $M$. If $M$ is Goldie module then $% \hat{M}\cong E_{1}^{k_{1}}\oplus E_{2}^{k_{2}}\oplus ...\oplus E_{n}^{k_{n}}$ where each $E_{i}$ is a uniform $M$-injective module. As an application, new characterizations of left Goldie rings are obtained.
△ Less
Submitted 13 January, 2016;
originally announced January 2016.
-
On Semiprime Goldie Modules
Authors:
Jaime Castro Pérez,
Mauricio Medina Bárcenas,
José Ríos Montes,
Angel Zaldívar
Abstract:
For an $R$-module $M$, projective in $σ[M]$ and satisfying ascending chain condition (ACC) on left annihilators, we introduce the concept of Goldie module. We also use the concept of semiprime module defined by Raggi et. al. in \cite{S} to give necessary and sufficient conditions for an $R$-module $M$, to be a semiprime Goldie module. This theorem is a generalization of Goldie's theorem for semipr…
▽ More
For an $R$-module $M$, projective in $σ[M]$ and satisfying ascending chain condition (ACC) on left annihilators, we introduce the concept of Goldie module. We also use the concept of semiprime module defined by Raggi et. al. in \cite{S} to give necessary and sufficient conditions for an $R$-module $M$, to be a semiprime Goldie module. This theorem is a generalization of Goldie's theorem for semiprime left Goldie rings. Moreover, we prove that $M$ is a semiprime (prime) Goldie module if and only if the ring $S=End_R(M)$ is a semiprime (prime) right Goldie ring. Also, we study the case when $M$ is a duo module.
△ Less
Submitted 13 January, 2016;
originally announced January 2016.
-
Dimension and decomposition in modular upper-continuous lattices
Authors:
José Ríos Montes,
Angel Zaldívar
Abstract:
We translate notions and results of decomposition and dimension theories for module categories, into the lattice environment. In particular we translate dimension theory in module categories to complete modular upper-continuous lattices.
We translate notions and results of decomposition and dimension theories for module categories, into the lattice environment. In particular we translate dimension theory in module categories to complete modular upper-continuous lattices.
△ Less
Submitted 30 November, 2015;
originally announced November 2015.
-
On some operators and dimensions in modular meet-continuous lattices
Authors:
Mauricio Medina Bárcenas,
José Ríos Montes,
Angel Zaldívar
Abstract:
Given a complete modular meet-continuous lattice $A$, an inflator on $A$ is a monotone function $d\colon A\rightarrow A$such that $a\leq d(a)$ for all $a\in A$. If $I(A)$ is the set of all inflators on $A$, then $I(A)$ is a complete lattice. Motivated by preradical theory we introduce two operators, the totalizer and the equalizer. We obtain some properties of these operators and see how they are…
▽ More
Given a complete modular meet-continuous lattice $A$, an inflator on $A$ is a monotone function $d\colon A\rightarrow A$such that $a\leq d(a)$ for all $a\in A$. If $I(A)$ is the set of all inflators on $A$, then $I(A)$ is a complete lattice. Motivated by preradical theory we introduce two operators, the totalizer and the equalizer. We obtain some properties of these operators and see how they are related to the structure of the lattice $A$ and with the concept of dimension.
△ Less
Submitted 30 November, 2015;
originally announced November 2015.
-
A Remark on Compact Minimal Surfaces in $S^5$ with Non-Negative Gaussian Curvature
Authors:
Rodrigo Ristow Montes
Abstract:
In this paper we classify compact minimal surfaces in $S^5$ with non-negative Gaussian curvature using the notion of a contact angle.
In this paper we classify compact minimal surfaces in $S^5$ with non-negative Gaussian curvature using the notion of a contact angle.
△ Less
Submitted 17 April, 2007;
originally announced April 2007.
-
A Congruence Theorem for Minimal Surfaces in $S^{5}$ with Constant Contact Angle
Authors:
Rodrigo Ristow Montes,
Jose A. Verderesi
Abstract:
We provide a congruence theorem for minimal surfaces in $S^5$ with constant contact angle using Gauss-Codazzi-Ricci equations. More precisely, we prove that Gauss-Codazzi-Ricci equations for minimal surfaces in $S^5$ with constant contact angle satisfy an equation for the Laplacian of the holomorphic angle. Also, we will give a characterization of flat minimal surfaces in $S^5$ with constant con…
▽ More
We provide a congruence theorem for minimal surfaces in $S^5$ with constant contact angle using Gauss-Codazzi-Ricci equations. More precisely, we prove that Gauss-Codazzi-Ricci equations for minimal surfaces in $S^5$ with constant contact angle satisfy an equation for the Laplacian of the holomorphic angle. Also, we will give a characterization of flat minimal surfaces in $S^5$ with constant contact angle.
△ Less
Submitted 28 November, 2006;
originally announced November 2006.
-
A Characterization of Minimal Surfaces in $S^5$ with Parallel Normal Vector Field
Authors:
Rodrigo Ristow Montes
Abstract:
In this paper we proof that the Holomorphic angle for compact minimal surfaces in the sphere $S^5$ with constant Contact angle and with a parallel normal vector field must be constant.
In this paper we proof that the Holomorphic angle for compact minimal surfaces in the sphere $S^5$ with constant Contact angle and with a parallel normal vector field must be constant.
△ Less
Submitted 7 November, 2006;
originally announced November 2006.
-
Contact Angle for Immersed Surfaces in $S^{2n+1}$
Authors:
Rodrigo Ristow Montes,
Jose A. Verderesi
Abstract:
In this paper we introduce the notion of contact angle. We deduce formulas for Laplacian and Gaussian curvature of a minimal surface in $S^{2n+1}$ and give a characterization of the generalized Clifford Torus as the only non-legendrian minimal surface in $S^5$ with constant Contact and Kaehler angles.
In this paper we introduce the notion of contact angle. We deduce formulas for Laplacian and Gaussian curvature of a minimal surface in $S^{2n+1}$ and give a characterization of the generalized Clifford Torus as the only non-legendrian minimal surface in $S^5$ with constant Contact and Kaehler angles.
△ Less
Submitted 3 April, 2003;
originally announced April 2003.