Banca de QUALIFICAÇÃO: CHARLES ANTÔNIO NASCIMENTO COSTA
Uma banca de QUALIFICAÇÃO de DOUTORADO foi cadastrada pelo programa.DISCENTE : CHARLES ANTÔNIO NASCIMENTO COSTA
DATA : 26/08/2025
HORA: 08:00
LOCAL: Plataforma Teams
TÍTULO:
Uma estruturação algébrica de estados epistêmicos para agentes BDI em ambientes incertos
PALAVRAS-CHAVES:
Raciocínio sob incerteza, Agentes BDI, CAN, Executabilidade de planos, Agentes autônomos
PÁGINAS: 56
RESUMO:
Raciocinar sobre incerteza é desafiador em projetos com agentes autônomos. Em ambientes dinâmicos, falhos, ruidosos e parcialmente observáveis, os agentes frequentemente tomam decisões sob crenças incertas. Este trabalho propõe uma estruturação algébrica de estados epistêmicos para agentes BDI (Belief-Desire-Intention) ou (Crença-Desejo-Intenção) em ambientes incertos. Este trabalho utiliza uma estrutura matemática formal, especificamente com uma abordagem algébrica para organizar e analisar o conhecimento e as crenças (estados epistêmicos) de agentes BDI que operam em ambientes caracterizados por incerteza. Essencialmente, sugere a criação de uma maneira sistemática e estruturada de representar e manipular esses estados epistêmicos usando métodos algébricos, permitindo melhor raciocínio, tomada de decisão e planejamento para agentes que precisam lidar com informações incompletas, ambíguas ou probabilísticas em situações incertas. Este trabalho aplica como base a popular Conceptual Agent Notation (CAN) e a CAN+ (extensão semântica), que oferece um embasamento formal para agentes que armazenam e revisam crenças como fórmulas ponderadas. A proposta algébrica sistemática e estruturada facilita o raciocínio sobre as propriedades de sistemas implementados em CAN+. Ilustramos a proposta usando a executabilidade de programas CAN+ em planos sequenciais em ambientes incertos.
MEMBROS DA BANCA:
Presidente - 2358912 - CELIA GHEDINI RALHA
Interna - 404802 - MARIA EMILIA MACHADO TELLES WALTER
Externo ao Programa - 404654 - NORAI ROMEU ROCCO - UnBExterno à Instituição - BRIAN LOGAN - UoA