Programa

Licenciatura em Engenharia de Telecomunicações e Informática

Programa

1 Raciocínio com factores de confiança Factor de confiança. Implementação de um sistema de representação e raciocínio com factores de confiança. 2 Fuzzy Logic Conjuntos Vagos: Operações e relações; Propriedades interessantes; "Hedges" ou modificadores; Funções de pertença usuais. Lógica Vaga: Sintaxe; Inferência vaga; Composição; Propriedades das implicações vagas. Sistemas Baseados em Regras e Raciocínio Vagos: Tipos de regras vagas; "Else-links"; Inferência decomposicional (decomposição e agregação); Inferência com Inputs Outputs Exactos; Motor de Inferência Vaga. Implementação de um sistema de representação e raciocínio baseado em lógica vaga. 3 Raciocínio Baseado em Casos (CBR, Case Based Reasoning) Introdução ao CBR. Aplicação do CBR. Representação de casos em Prolog. Armazenamento de casos. Comparação de casos e selecção dos casos mais semelhantes. Adaptação. Decisão de armazenamento de novo caso. Sistemas de raciocínio baseado em casos. 4 Arquitecturas baseadas em agentes Arquitecturas centralizadas. Arquitecturas de quadro preto (?blackboard?); arquitecturas de subsunção (?subsumption?); e arquitecturas baseadas na negociação. Plataforma FIPA. Comunicação entre agentes. Protocolos de interacção. Ontologias. Exemplos.