“Lógica Computacional” , em distintas comunidades, designa áreas distintas das ciências da computação.
Por exemplo, na comunidade da Inteligência Artificial Simbólica, pode significar simplesmente “Programação Lógica”. Neste contexto é vista como uma metodologia para modelar sistemas complexos mas de dimensão quase sempre limitada.
Em alternativa na comunidade da Lógica Formal e da Teoria da Prova pode designar a automatização da inferência lógica; por exemplo os “theorem provers” incluem-se nesta interpretação. Como tal pode-se aplicar a lógicas complexas (lógicas de ordem superior, lógicas temporais e modais, etc.) mas os sistemas que descrevem também têm dimensão limitada.
Nesta disciplina procura-se
estudar metodologias e ferramentas para modelar e verificar propriedades lógicas de sistemas de dimensão muito grande.
Como contrapartida a lógica aqui usada é relativamente simples: muita vezes está limitada à Lógica Proposicional.
Partner : @TomasCampinho
Nota Final: