Lógicas multi-variadas, lógicas difusas, y sus fundamentos en aplicaciones a sistemas informáticos

Este trabajo tiene dos objetivos principales, el primero es entender la fundamentación matemática de las lógicas difusas y lógicas multivariadas, y las motivaciones que sustentan el formalismo de las mencionadas lógicas frente a la lógica clásica. El segundo objetivo de este trabajo es mostrar como...

Full description

Autores:
Sánchez Otálora, Nelson Andrés
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2018
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
spa
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/40348
Acceso en línea:
http://hdl.handle.net/1992/40348
Palabra clave:
Lógica difusa
Lógica multivalente
Matemáticas
Rights
openAccess
License
http://creativecommons.org/licenses/by-nc-sa/4.0/
id UNIANDES2_87bef4f8a9a323b53c4bdc71dc387e61
oai_identifier_str oai:repositorio.uniandes.edu.co:1992/40348
network_acronym_str UNIANDES2
network_name_str Séneca: repositorio Uniandes
repository_id_str
dc.title.es_CO.fl_str_mv Lógicas multi-variadas, lógicas difusas, y sus fundamentos en aplicaciones a sistemas informáticos
title Lógicas multi-variadas, lógicas difusas, y sus fundamentos en aplicaciones a sistemas informáticos
spellingShingle Lógicas multi-variadas, lógicas difusas, y sus fundamentos en aplicaciones a sistemas informáticos
Lógica difusa
Lógica multivalente
Matemáticas
title_short Lógicas multi-variadas, lógicas difusas, y sus fundamentos en aplicaciones a sistemas informáticos
title_full Lógicas multi-variadas, lógicas difusas, y sus fundamentos en aplicaciones a sistemas informáticos
title_fullStr Lógicas multi-variadas, lógicas difusas, y sus fundamentos en aplicaciones a sistemas informáticos
title_full_unstemmed Lógicas multi-variadas, lógicas difusas, y sus fundamentos en aplicaciones a sistemas informáticos
title_sort Lógicas multi-variadas, lógicas difusas, y sus fundamentos en aplicaciones a sistemas informáticos
dc.creator.fl_str_mv Sánchez Otálora, Nelson Andrés
dc.contributor.advisor.none.fl_str_mv Martínez Baldares, Maricarmen
dc.contributor.author.none.fl_str_mv Sánchez Otálora, Nelson Andrés
dc.contributor.jury.none.fl_str_mv Corredor Londoño, Luis Jaime
dc.subject.keyword.es_CO.fl_str_mv Lógica difusa
Lógica multivalente
topic Lógica difusa
Lógica multivalente
Matemáticas
dc.subject.themes.none.fl_str_mv Matemáticas
description Este trabajo tiene dos objetivos principales, el primero es entender la fundamentación matemática de las lógicas difusas y lógicas multivariadas, y las motivaciones que sustentan el formalismo de las mencionadas lógicas frente a la lógica clásica. El segundo objetivo de este trabajo es mostrar como la fundamentación matemática justifica el uso de la lógica difusa y lógicas multivariadas en aplicaciones a sistemas informáticos, por ejemplo, inteligencia artificial, Robótica, o sistemas de control. Para esto, se inicia un análisis formal de un caso de estudio a través de la paradoja de sorites, el cual genera cuestiones semánticas cuando se analiza con lógica clásica. A partir de este punto, se formaliza las lógicas multi-variadas, particularmente lógicas tri-variadas y lógicas difusas. De esta forma, se compara cada una con la lógica clásica y se realiza el análisis de la paradoja partiendo del concepto de incertidumbre. Con estos resultados, se explica por qué la lógica difusa se aplica en ingeniería, haciendo énfasis en los fundamentos que se usan en sistemas de control y cómo estos se pueden extender a aplicaciones más generales
publishDate 2018
dc.date.issued.none.fl_str_mv 2018
dc.date.accessioned.none.fl_str_mv 2020-06-10T17:07:19Z
dc.date.available.none.fl_str_mv 2020-06-10T17:07:19Z
dc.type.spa.fl_str_mv Trabajo de grado - Pregrado
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/bachelorThesis
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/TP
format http://purl.org/coar/resource_type/c_7a1f
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/1992/40348
dc.identifier.pdf.none.fl_str_mv u808238.pdf
dc.identifier.instname.spa.fl_str_mv instname:Universidad de los Andes
dc.identifier.reponame.spa.fl_str_mv reponame:Repositorio Institucional Séneca
dc.identifier.repourl.spa.fl_str_mv repourl:https://repositorio.uniandes.edu.co/
url http://hdl.handle.net/1992/40348
identifier_str_mv u808238.pdf
instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
repourl:https://repositorio.uniandes.edu.co/
dc.language.iso.es_CO.fl_str_mv spa
language spa
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.coar.spa.fl_str_mv http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.extent.es_CO.fl_str_mv 128 hojas
dc.format.mimetype.es_CO.fl_str_mv application/pdf
dc.publisher.es_CO.fl_str_mv Uniandes
dc.publisher.program.es_CO.fl_str_mv Matemáticas
dc.publisher.faculty.es_CO.fl_str_mv Facultad de Ciencias
dc.publisher.department.es_CO.fl_str_mv Departamento de Matemáticas
dc.source.es_CO.fl_str_mv instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
instname_str Universidad de los Andes
institution Universidad de los Andes
reponame_str Repositorio Institucional Séneca
collection Repositorio Institucional Séneca
bitstream.url.fl_str_mv https://repositorio.uniandes.edu.co/bitstreams/a4d3a980-0e77-4cba-bde5-6761c70a9bff/download
https://repositorio.uniandes.edu.co/bitstreams/f6da1d13-dcf8-4170-976c-0ad150cf4c57/download
https://repositorio.uniandes.edu.co/bitstreams/a4ab4994-d18d-44d8-8097-47dace275a84/download
bitstream.checksum.fl_str_mv 0a9b2e25e173b37e7530fd6103d48963
e34c06fb2f107397fc4d71ae0e3c5adb
1f69a0d8878706d4e5967d793f57f356
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio institucional Séneca
repository.mail.fl_str_mv adminrepositorio@uniandes.edu.co
_version_ 1818111827987398656
spelling Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.http://creativecommons.org/licenses/by-nc-sa/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Martínez Baldares, Maricarmen9cce74a5-a134-403d-b438-2fadd2513480400Sánchez Otálora, Nelson Andrés75bbfaa1-e23c-4afe-86a4-79b53aded984500Corredor Londoño, Luis Jaime2020-06-10T17:07:19Z2020-06-10T17:07:19Z2018http://hdl.handle.net/1992/40348u808238.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/Este trabajo tiene dos objetivos principales, el primero es entender la fundamentación matemática de las lógicas difusas y lógicas multivariadas, y las motivaciones que sustentan el formalismo de las mencionadas lógicas frente a la lógica clásica. El segundo objetivo de este trabajo es mostrar como la fundamentación matemática justifica el uso de la lógica difusa y lógicas multivariadas en aplicaciones a sistemas informáticos, por ejemplo, inteligencia artificial, Robótica, o sistemas de control. Para esto, se inicia un análisis formal de un caso de estudio a través de la paradoja de sorites, el cual genera cuestiones semánticas cuando se analiza con lógica clásica. A partir de este punto, se formaliza las lógicas multi-variadas, particularmente lógicas tri-variadas y lógicas difusas. De esta forma, se compara cada una con la lógica clásica y se realiza el análisis de la paradoja partiendo del concepto de incertidumbre. Con estos resultados, se explica por qué la lógica difusa se aplica en ingeniería, haciendo énfasis en los fundamentos que se usan en sistemas de control y cómo estos se pueden extender a aplicaciones más generalesThis work has two main objectives: the first one is to understand the mathematical foundation of fuzzy and multivalued logics and the intuitions that motivate their formalisms, in comparison with classical logic. The second aim of this work is to show how the mathematical foundation justifies the use of fuzzy logic and multivalued logic in computer system?s applications. For example, artificial intelligence, robotics or control systems. To achieve this, we start with a formal analysis of a case study, namely the sorites paradox, which is puzzling when analyzed with classical logic. From this, we formalize multi-valued logics, particularly several tri-varied logics and fuzzy logics. We compare each one of these logics with classical logic, and we analyze the sorites paradox starting from the concept of uncertainty. With these results, we explain why fuzzy logic is applied in engineering, emphasizing the fundamentals that apply to control systems, and then we show how these can be extended to more general applicationsMatemáticoPregrado128 hojasapplication/pdfspaUniandesMatemáticasFacultad de CienciasDepartamento de Matemáticasinstname:Universidad de los Andesreponame:Repositorio Institucional SénecaLógicas multi-variadas, lógicas difusas, y sus fundamentos en aplicaciones a sistemas informáticosTrabajo de grado - Pregradoinfo:eu-repo/semantics/bachelorThesishttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TPLógica difusaLógica multivalenteMatemáticasPublicationTHUMBNAILu808238.pdf.jpgu808238.pdf.jpgIM Thumbnailimage/jpeg4249https://repositorio.uniandes.edu.co/bitstreams/a4d3a980-0e77-4cba-bde5-6761c70a9bff/download0a9b2e25e173b37e7530fd6103d48963MD55ORIGINALu808238.pdfapplication/pdf525426https://repositorio.uniandes.edu.co/bitstreams/f6da1d13-dcf8-4170-976c-0ad150cf4c57/downloade34c06fb2f107397fc4d71ae0e3c5adbMD51TEXTu808238.pdf.txtu808238.pdf.txtExtracted texttext/plain205878https://repositorio.uniandes.edu.co/bitstreams/a4ab4994-d18d-44d8-8097-47dace275a84/download1f69a0d8878706d4e5967d793f57f356MD541992/40348oai:repositorio.uniandes.edu.co:1992/403482023-10-10 17:11:08.216http://creativecommons.org/licenses/by-nc-sa/4.0/open.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co