LOGIA
(Lógica e Inteligência Artificial)

Objetivos gerais

  • Busca da fundamentação e instrumentação teóricas mais sólidas à inteligência artificial e ciência da computação;
  • Desenvolvimento de métodos e técnicas mais confiáveis do que métodos ad hoc freqüentemente utilizados em IA;
  • Formação de quadros em ciência da computação com forte embasamento teórico e conhecimento de suas aplicações. Em particular, fornecimento de quadros especializados para a região NE.

Objetivos específicos

  • Investigação de métodos genéricos para a lógica envolvendo aspectos semânticos e teoria da prova;
  • Estudo teórico das propriedades das lógicas desenvolvidas;
  • Desenvolvimento de métodos automáticos de prova;
  • Construção e investigação da lógica do raciocínio científico, em particular, da lógica da explicação científica;
  • Investigação e formalização do conceito de verdade pragmática em ciência;
  • Desenvolvimento de uma teoria da prova para algumas lógicas não clássicas;
  • Desenvolvimento metódico de programas confiáveis, com ênfase em aspectos e métodos lógicos, algébricos e categóricos;
  • Envolvimento de alunos de iniciação científica, mestrado, doutorado e pós-doutorado no âmbito das pesquisas do projeto;
  • Escrita de artigos envolvendo os pesquisadores/alunos envolvidos no projeto.

Localização

Bloco 910
LIA - Laboratório de Pesquisa em Computação
Laboratório 1

Professores:


Versão de Impressão Extrair para PDF edite