Title: The use of Łukasiewicz Logic for the verification of properties in neural networks.

Abstract: Este minicurso sobre Lógica de Łukasiewicz e Aplicações  na Modelagem de redes Neurais possui duas partes:

Parte 1: introdução à Lógica de Łukasiewicz  e suas propriedades computacionais.  Definimos a sintaxe e a semântica da Lógica e o problema da satisfatibilidade multilaborada. NP-completude do problema SAT multi valorado. Algoritmos efetivos para decidir a lógica.  

Parte 2: Redes Neurais e sua Modelagem.  Breve introdução às redes neurais.  Modelagem de funções contínuas, lineares por partes com Lógica de Łukasiewicz. Propriedade de McNaughton e McNaughton racional.  Teorema de representação de funções lineares por partes como uma fórmula da lógica.  Algoritmo para obter a fórmula equivalente e sua utilização na verificação de propriedades das redes neurais.