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: 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 "Data Mining Advisor (DMA)", e o Sistema Pericial ARCA.

O LIACC tem acolhido as actividades de investigaçao de um número significativo de estudantes de doutoramento, e dá apoio a Mestrados organizados pelas Faculdades de Ciências, de Economia e de Engenharia.

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 23 doutoramentos no período 1999/2003). O que por outro lado reforça o potencial do LIACC para obter não só um elevado nível de produção científica em termos de qualidade e quantidade, mas também extender a investigação a novas áreas potencialmente úteis.

A(p). Descrição Sumária do LIACC