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...
- 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 |