Título: Raciocínio sobre Crenças Utilizando a Lógica de Confiança em Tópicos.

Data: 30/11/2016 Horário: 16h Local: Sala de Seminários - Bloco 952 - Campus do Pici

Resumo:

A confiança é considerada um dos conceitos vitais de sistemas multiagentes, em que agentes autônomos possuem interesses próprios, que podem divergir dos interesses de um grupo ao qual pertencem. Para que um grupo seja capaz de tomar uma decisão, os agentes envolvidos devem ser capazes de trocar informações, de modo que o ponto de vista do grupo esteja de acordo com as informações levantadas por todos os seus participantes. Eventualmente, agentes podem informar inverdades, seja por ignorância ou com o intuito de obter alguma vantagem sobre o grupo ao qual pertencem. Com base nessa situação, os agentes devem decidir se uma informação gerada por um outro agente é confiável ou não para que o ponto de vista do grupo seja suporte de uma decisão que reflita suas necessidades. Neste trabalho, propusemos uma extensão de uma lógica que permite formalizar e raciocinar sobre crenças que envolvem o conceito de confiança entre agentes com relação a uma informação. Em nossa extensão introduzimos dois novos recursos na lógica: (i) tratar a confiança entre agentes sobre tópicos e (ii) tratar a desconfiança entre agentes sobre fórmulas e tópicos.

Banca:

• Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC - Orientador)
• Prof. Dr. Pedro Porfirio Muniz Farias (UNIFOR)
• Prof. Dr. Davi Romero de Vasconcelos (UFC)
• Profª. Drª. Ana Teresa de Castro Martins (MDCC/UFC)