Título: Lógica de Primeira Ordem com Agregação de Preferências.

Data: 20/11/2015 Horário: 10h Local: Auditório do Bloco 910 - Campus do Pici

Resumo:

A tomada de decisão é um processo cognitivo que conduz à seleção de um plano de escolha dentre vários. Este pode ser concebido através do juízo de um ou vários indivíduos, os quais serão definidos como agentes. O trabalho em questão terá como cerne ambientes onde grupo de indivíduos atuam simultaneamente influenciando uns aos outros, ou seja, iremos trabalhar com sistemas multiagentes. Dentre a classe de problemas envolvidos pela tomada de decisão, destacam-se os Problemas de Decisão Multicritério. Estes são uma variação dos Problemas de Decisão usuais onde a correta tomada de decisão se processa através da apreciação de vários critérios, os quais são utilizados para descrever o objeto/fato a ser decidido. Para que seja possível a tomada de decisão, se faz necessário uma estratégia que analise o problema em questão, de modo a determinar as alternativas sobre as quais o tomador de decisão deverá escolher, avalie cada critério que compõe a alternativa, diante dos possíveis valores que estes podem assumir, para, assim, realizar a tomada de decisão. Dentre as diversas estratégias utilizadas para resolver este tipo de problemas, destacam-se aquelas que usam a Lógica Matemática como técnica de modelagem e solução. Amplamente estudada por pesquisadores vinculados à Inteligência Artificial, a Lógica Matemática utiliza-se de conceitos específicos de sua sintaxe e semântica para modelar ambientes complexos e estabelecer por métodos específicos a tomada de decisão. Dentre as abordagens relevantes vinculadas à Lógica Matemática, destacam-s aquelas que empregam a Lógica de Primeira Ordem. Inspirado nas Lógica de Preferências clássicas, este trabalho propõe uma Lógica de Primeira Ordem, a First Order Logic for Decision Problems (FOLDP), que é capaz de modelar e resolver Problemas de Decisão Multicritério em ambientes multiagentes através de técnicas relacionadas às Lógicas com Agregação de Preferências e à Lógica de Primeira Ordem.

Banca:

• Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC - Orientadora)
• Prof. Dr. Davi Romero de Vasconcelos (UFC - Coorientador)
• Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
• Prof. Dr. Mario Roberto Folhadela Benevides (UFRJ)