Representação de Conhecimento e Raciocínio

A linha de pesquisa de "Representação de Conhecimento e Raciocínio" tem o
foco no aspecto de Modelagem, e estuda alternativas para a modelagem e
representação do conhecimento dos agentes humanos e computacionais que
interagem em um Sistema de Informação.

Esta linha de pesquisa assume a tendência atual de Sistemas de Informação a manipularem não só informação mas também conhecimento. O componente de gerência de dados inerente aos Sistemas de Informação, e os recentes avanços tanto a nível de pesquisa quanto de mercado no que se refere à transformação de dados em informação e da informação em conhecimento, indicam que o processo de transformação de dados a conhecimento constitui um vasto campo de pesquisa.

Os objetos dos domínios em que se aplicam Sistemas de Informação muitas vezes precisam ser representados por estruturas de dados complexas e não podem ser analisados apenas de forma isolada. Neste sentido, a linha de pesquisa investiga não apenas as alternativas para a modelagem e representação dos objetos do domínio em que se aplicam Sistemas de Informação, mas também os relacionamentos entre tais objetos e os métodos para raciocínio automático com base nesta representação.

Temas de Pesquisa

Os principais temas a serem desenvolvidos por essa linha de pesquisa incluem:

• Modelos de Representação do Conhecimento: Lógicas Formais. Lógica Descritiva. Lógicas Temporais e Modais. Estruturas de Dados Complexas. Probabilidade e Incerteza. Programação em Lógica. Programação com Restrições (Constraints). Redes Neurais. Redes Bayesianas. Especificação Formal e Validação de Sistemas de Informação.
  

• Gerência de Conhecimento: Combinação e Personalização de Conteúdo. Bibliotecas Digitais. Preenchimento Semi-automático de Metadados.

• Raciocínio Automatizado e Apoio à Decisão: Planejamento Automático. Simulação. Agentes e Sistemas Inteligentes. Jogos de Negócios. Simulação e Análise de Mercado Financeiro.

• Web Semântica:  Ontologias Formais. Sistemas de Informação Baseados em Ontologias. Armazenamento e Recuperação de Ontologias. Ontologias para Educação. Composição de Serviços Web Semânticos.

• Aplicações Envolvendo Representação do Conhecimento e Raciocínio: Web Social. Bancos de Dados Dedutivos. Sistemas Especialistas. Jogos Aplicados à Neuropsicologia. Outras Aplicações.

• TV e Entretenimento Digitais: Storytelling Interativo. TV interativa. Jogos. Modelos de Interação. Enredos de Narrativas: Composição Automática, Reconhecimento e Adaptação. Composição Automática de Conteúdo Cultural e de Entretenimento.

• Modelos e Ferramentas para Educação: Educação à distância. Educação Corporativa. Composição Automática de Conteúdo para Educação. Ferramentas Colaborativas na Produção de Material Didático. Ferramentas de Acompanhamento Pedagógico. Capacitação de  Professores utilizando TICs. Alfabetização Digital. Jogos Educacionais.

• Pesquisa Operacional e Problemas de Otimização Combinatória: Otimização Aplicada a Roteamento de Veículos, Rotulação Cartográfica, Redes de Telecomunicações, etc. Algoritmos para Pesquisa Operacional e Problemas de Otimização Combinatória em Geral.

• Heurísticas e Meta-heurísticas: Meta-heuríticas Multi-objetivo. Meta-heurísticas Híbridas. Combinação de Métodos Exatos e Heurísticos.

Professores

• Profa. Adriana Alvim
• Prof. Alexandre Andreatta (colaborador)
  
• Prof. Angelo Ernani Maia Ciarlini
• Profa. Leila Cristina Vasconcelos de Andrade
  
• Prof. Sean Wolfgand Matsui Siqueira
• Profa. Vânia Dias