Sumários
2 Março 2026, 09:00
•
Ana Catarina dos Santos Martins
1. Introdução a Agentes Baseados em Conhecimento - Exemplos e arquiteturas dos mesmos;
2. Lógica proposicional: Símbolos proposicionais, operadores lógicos (conjunção, disjunção, disjunção exclusiva, implicação, bicondicionalidade e negação);
3. Exercício prático de lógica proposicional;
4. Modelos;
5. Introdução a algoritmos de verificação de modelos.
23 Fevereiro 2026, 14:00
•
Ana Catarina dos Santos Martins
- Apresentação de exemplos de problemas que podem ser resolvidos com este tipo de algoritmos;
- Terminologia deste tipo de problemas: agentes, estado, estado inicial, ações, modelo de transições, objetivo de teste, função de custo, solução e solução ótima;
- Elemento da sequência de solução: nó (estrutura de dados);
- Algoritmos de pesquisa abordados: depth first search, breadth-first search, greedy best-first search com distância de Manhattan, Pesquisa A* com distância de Manhattan e função de custo de percurso;
- Pesquisa adversária: introdução ao problema e apresentação do algoritmo Minimax;
- Instalação do Python e Jupyter Notebook e apresentação de notebook com os algoritmos apresentados em aula.
23 Fevereiro 2026, 09:00
•
Ana Catarina dos Santos Martins
- Apresentação de exemplos de problemas que podem ser resolvidos com este tipo de algoritmos;
- Terminologia deste tipo de problemas: agentes, estado, estado inicial, ações, modelo de transições, objetivo de teste, função de custo, solução e solução ótima;
- Elemento da sequência de solução: nó (estrutura de dados);
- Algoritmos de pesquisa abordados: depth first search, breadth-first search, greedy best-first search com distância de Manhattan, Pesquisa A* com distância de Manhattan e função de custo de percurso;
- Pesquisa adversária: introdução ao problema e apresentação do algoritmo Minimax;
- Instalação do Python e Jupyter Notebook e apresentação de notebook com os algoritmos apresentados em aula.
9 Fevereiro 2026, 14:00
•
Ana Catarina dos Santos Martins
1. Introdução a sistemas inteligentes;
2. Exemplos de aplicação da inteligência artificial (IA);
3. Paralelismo entre algoritmos de IA e o ser humano;
4. Discussão sobre as capacidades do IA;
5. Atividade de ideação de sistemas inteligentes no ensino superior;
6. História da IA;
7. Apresentação da UC: conteúdo a ser lecionados;
8. Métodos de Avaliação.
9 Fevereiro 2026, 09:00
•
Ana Catarina dos Santos Martins
1. Introdução a sistemas inteligentes;
2. Exemplos de aplicação da inteligência artificial (IA);
3. Paralelismo entre algoritmos de IA e o ser humano;
4. Discussão sobre as capacidades do IA;
5. Atividade de ideação de sistemas inteligentes no ensino superior;
6. História da IA;
7. Apresentação da UC: conteúdo a ser lecionados;
8. Métodos de Avaliação.
