Este trabajo comienza con una descripción del concepto de conocimiento, una clasicación de los tipos de conocimientos que nos interesan y una relación de los métodos que se han usado para representar los distintos tipos de conocimientos, así como el interés en usar la lógica borrosa para representar conocimiento impreciso. En el capítulo 2 expondremos qué son los conjuntos borrosos y su origen, así como, las distintas interpretaciones que se hacen de los conjuntos borrosos y las diferentes técnicas utilizadas para hallar su función de pertenencia. En el capítulo 3 efectuaremos una recopilación de las teorías de conjuntos borrosos hasta llegar a las teorías estándar y las teorías de conjuntos imprecisos, como propuesta axiomática para intentar clarificar qué es una teoría de conjuntos borrosos. También plantearemos las limitaciones que éstas tienen para representar conocimiento impreciso. En el capítulo 4 expondremos un nuevo concepto de conjunto borroso como representación del uso de un predicado en el lenguaje. Propondremos después, un método para representar predicados, variables lingüísticas, relaciones entre predicados y razonamiento no formal (basado en conocimiento), apoyado en el uso de varias teorías estándar. En el capítulo 5 explicaremos las características del sistema CW00(Computing with Words prototipo 0 - versión 0) que hemos construido para representar conocimiento impreciso a partir de las propuestas del capítulo anterior. En el capítulo 6 sacaremos las conclusiones que se deriven de la revisión de las teorías de conjuntos borrosos y su mejor adecuación para la representación del conocimiento, siendo CW00 a la vez un buen ejemplo del uso simultaneo de diversas teorías y un sistema para experimentar con los conjuntos borrosos en el lenguaje.