 |
 |
 |
A(p). Descrição
Sumária do LIACC |
A(p). Descrição Sumária do LIACC
O Laboratório de Inteligência Artificial e Ciência de
Computadores (LIACC) da Universidade do Porto é um centro de investigação
que atingiu já um bom nível de visibilidade a nível
quer nacional, quer internacional. O seu objectivo principal é a
realização de investigação, tanto teórica
como aplicada, que permita melhorar a qualidade do software no que se refere,
por exemplo, a declaritividade, utilização distribuída,
adaptabilidade e flexibilidade. As áreas de investigação
mais importantes são (por ordem alfabética):
-
Aplicações Inovadoras: desenvolvimento de aplicações
práticas baseadas em novas linguagens e ferramentas;
-
Aprendizagem: desenho e implementação de métodos automáticos
de aprendizagem indutiva úteis para classificação
e regressão;
-
Descoberta de Conhecimentos e Prospecção de Dados: desenho
e implementação de métodos para extracção,
a partir de dados, de informação não trivial, potencialmente
útil e fácil de interpretar;
-
Inteligência Artificial Distribuída: técnicas e aplicações
de sistemas multi-agente, negociação e adaptabilidade, Comércio
Electrónico;
-
Lógica, Linguagem e Computação: complexidade de algoritmos,
sistemas formais, criptografia e teoria de linguagens;
-
Optimização, Restrições e Heurísticas:
programação por restrições, heurísticas
e meta-heurísticas para optimização e resolução
de problemas;
-
Programação Declarativa e Paralelismo: definição
e implementação (sequencial ou paralela) de linguagens de
programação declarativas;
-
Coordenação de Equipas de Agentes: controle de robots baseado
em agentes, arquitecturas híbridas, robôs simulados para competição
em "futebol robótico";
-
Redes de Computadores (início em Setembro de 2002): soluções
para Qualidade de Serviço escalável, serviços de segurança
e protocolos de sinalização em sistemas heterógeneos
e próxima geração;
-
Sistemas Paralelos e Distribuídos: desenho e implementação
de ambientes de programação que suportem a mobilidade e a
distribuição de computações.
Alguns resultados desta investigação têm sido aplicados
intensivamente por outras instituições, tanto no meio académico
como na indústria, e em Portugal e no estrangeiro. Três exemplos
são: o compilador de Prolog YAP, o sistema de classificação
Ltree, e o Sistema Pericial ARCA.
O LIACC tem acolhido as actividades de investigação de
um número significativo de estudantes de doutoramento, e dá
apoio ao Mestrado em Inteligência Artificial e Computação
(em colaboração com as Faculdades de Ciências, de Economia
e de Engenharia, às quais a maioria dos membros do LIACC pertencem),
e a outros mestrados do Departamento de Ciência de Computadores da
Faculdade de Ciências.
O LIACC participa nas actividades de redes de investigação
internacionais, e tem projectos de colaboração com várias
instituições estrangeiras e portuguesas.
Desde a sua criação em 1988, o LIACC tem conseguido manter
um bom nível de produção científica, como confirmado
pelos resultados de avaliações independentes já realizadas,
ao mesmo tempo que tem dado um contributo importante na formação
de uma nova geração de jovens investigadores (como o demonstra
a conclusão de 21 doutoramentos no período 1997/2002). Tendo
aumentado o número de doutorados entre os seus membros, as perspectivas
para futuro parecem auspiciosas.
©LIACC, Universidade do Porto, 2003
|
|
|
A(p). Descrição
Sumária do LIACC |