Lógica difusa y redes inalámbricas

Abstract

La lógica en general se encarga del estudio de los procesos de razonamiento. Los contextos filosóficos y matemáticos de esta disciplina son posiblemente los más tradicionales. En el área del cómputo, la lógica juega actualmente un papel fundamental. La creciente necesidad de la automatización del razonamiento ha sido uno de los principales motivos del desarrollo de la lógica en la era moderna. El campo de las telecomunicaciones no es la excepción, donde existen diversas tareas de razonamiento que requieren automatización. En este artículo, se describe la aplicación de métodos lógicos para la automatización de estas tareas. Más concretamente, se explica cómo algunos problemas de razonamiento propios de las redes inalámbricas requieren métodos lógicos no-clásicos como la lógica difusa.