segunda-feira, 8 de agosto de 2016

Lista de Aplicações da Lógica na Computação


Às vezes os alunos que fazem a disciplina Lógica para Computação se perguntam "Por que estudar Lógica?". Uma possível resposta está aqui.

Também é importante destacar as inúmeras aplicações da Lógica na Computação. Algumas aplicações são bem importantes, outras menos. Uma lista incompleta vai abaixo.
  • SAT Solvers (ver também [1]) e SMT Solvers (ver também [2])
  • Especificação e Verificação Formal de Software
  • Prova Automatizada ou Semi-Automatizada de Teoremas, Raciocínio Automatizado
  • Representação de Conhecimento (Inteligência Artificial)
  • Ontologias, Web Semântica e Lógicas de Descrição
  • Lógica de Circuitos Eletrônicos (Lógica Booleana)
  • Paradigma Lógico de Programação (Prolog)
  • Bancos de Dados Dedutivos

Uma destas aplicações é tão importante que existem até competições para os melhores provadores baseados em SAT (SAT Solvers).

SAT Competition 2016



Lembrou de alguma outra? Comente abaixo.

2 comentários: