Un estudio ordenado sobre el análisis formal de conceptos
Autores: Syau, Yu-Ru; Lin, En-Bing; Liau, Churn-Jung
Idioma: Inglés
Editor: MDPI
Año: 2023
Acceso abierto
Artículo científico
2023
Un estudio ordenado sobre el análisis formal de conceptos
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
Marco ordenado
Conceptos formales
Posets
Retículos conceptuales
Aproximaciones ásperas
Operadores de aproximación
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 31
Citaciones: Sin citaciones
Este documento emplea un marco ordenado para explorar las complejidades de los conceptos formales. Inicialmente, establecemos una correspondencia natural entre los contextos formales, los preórdenes y los conjuntos parcialmente ordenados resultantes (posets). Aprovechando esta base, proporcionamos caracterizaciones perspicaces de átomos y coátomos dentro de retículos conceptuales finitos, basándonos en intenciones de objetos. Ampliando desde el poset inducido que se origina a partir de un contexto formal, extendemos estas caracterizaciones para discernir elementos join-irreducibles y meet-irreducibles dentro de retículos conceptuales finitos. Contrariamente a un malentendido de larga data, nuestro análisis revela que no todos los conceptos de objetos y atributos son irreducibles. Esta revelación desafía la creencia convencional de que las aproximaciones ásperas, basadas en conceptos irreducibles, ofrecen cobertura suficiente. Motivado por esta realización, el documento introduce un concepto novedoso: aproximaciones conceptuales ásperas. A diferencia de la definición convencional de clases de equivalencia de objetos en espacios de aproximación pawlakianos, las redefinimos aprovechando el alcance de un concepto de objeto. Demostrando su equivalencia, establecemos que las aproximaciones conceptuales ásperas se alinean perfectamente con los operadores de aproximación en el espacio de aproximación generalizado asociado con el preorden correspondiente a un contexto formal. Para ilustrar las implicaciones prácticas de estos hallazgos teóricos, presentamos ejemplos concretos. Además, nos adentramos en la importancia y las posibles aplicaciones de nuestras propuestas aproximaciones conceptuales ásperas, arrojando luz sobre su utilidad en escenarios del mundo real.
Descripción
Este documento emplea un marco ordenado para explorar las complejidades de los conceptos formales. Inicialmente, establecemos una correspondencia natural entre los contextos formales, los preórdenes y los conjuntos parcialmente ordenados resultantes (posets). Aprovechando esta base, proporcionamos caracterizaciones perspicaces de átomos y coátomos dentro de retículos conceptuales finitos, basándonos en intenciones de objetos. Ampliando desde el poset inducido que se origina a partir de un contexto formal, extendemos estas caracterizaciones para discernir elementos join-irreducibles y meet-irreducibles dentro de retículos conceptuales finitos. Contrariamente a un malentendido de larga data, nuestro análisis revela que no todos los conceptos de objetos y atributos son irreducibles. Esta revelación desafía la creencia convencional de que las aproximaciones ásperas, basadas en conceptos irreducibles, ofrecen cobertura suficiente. Motivado por esta realización, el documento introduce un concepto novedoso: aproximaciones conceptuales ásperas. A diferencia de la definición convencional de clases de equivalencia de objetos en espacios de aproximación pawlakianos, las redefinimos aprovechando el alcance de un concepto de objeto. Demostrando su equivalencia, establecemos que las aproximaciones conceptuales ásperas se alinean perfectamente con los operadores de aproximación en el espacio de aproximación generalizado asociado con el preorden correspondiente a un contexto formal. Para ilustrar las implicaciones prácticas de estos hallazgos teóricos, presentamos ejemplos concretos. Además, nos adentramos en la importancia y las posibles aplicaciones de nuestras propuestas aproximaciones conceptuales ásperas, arrojando luz sobre su utilidad en escenarios del mundo real.