Fundamentos Lógicos da IA - 2022-2
UnB-\(\gamma\)

Table of Contents

1. Material Didático e conteúdo programático (preliminar)

  1. Introdução
  2. Introdução à lógica clássica
  3. Lógica de primeira ordem
  4. Representações proposicionais
  5. Procedimentos automáticos de prova
  6. Problema de satisfatibilidade (SAT)
  7. Algoritmos para SAT
  8. Busca em grafos e/ou
  9. Formas não clausais de representação
  10. Planejamento
    • Aplicações em planejamento \(1\)

2. Plano de aulas

2.1. Aula 1   25_out início

2.1.1. Tópicos

  • Apresentação do Plano de Aulas
    • Previsão de Avaliações
    • Método de cálculo de presença
    • Método avaliativo e gradação

2.2. Aula 2   27_out

2.3. Aula 3   01_nov

2.4. Aula 4   03_nov

2.5. Aula 5   08_nov viagem

  • Professor em viagem, atividade assíncrona

2.6. Aula 6   10_nov viagem

  • Professor em viagem, atividade assíncrona

2.7. Aula 7   15_nov feriado

2.8. Aula 8   17_nov

2.9. Aula 9   22_nov

2.10. Aula 10   24_nov

2.11. Aula 11   29_nov

2.12. Aula 12   01_dez

2.13. Aula 13   06_dez

2.14. Aula 14   08_dez

2.15. Aula 15   13_dez

2.16. Aula 16   15_dez

2.17. Aula 17   20_dez

2.18. Aula 18   22_dez

2.19. Aula 19   27_dez recesso

2.20. Aula 20   29_dez recesso

2.21. Aula 21   03_jan

2.22. Aula 22   05_jan

2.23. Aula 23   10_jan

2.24. Aula 24   12_jan

2.25. Aula 25   17_jan

2.26. Aula 26   19_jan

2.27. Aula 27   24_jan

2.28. Aula 28   26_jan

2.29. Aula 29   31_jan

2.30. Aula 30   02_fev

2.31. Aula 31   07_fev

2.32. Aula 32   09_fev

2.33. Aula 33   14_fev

2.34. Aula 34   16_fev

3. Presença

  • VAZIO

4. Notas

4.1. Listas que valem nota

4.2. Consolidadas

  • NE - N-puzzle
  • PO - PBFVMC-Modificado
  • DL - Domínio PDDL apresentado em sala
  • TL - Trabalho Final
matricula PP NE PO DL TL MM SIT nome
190102390 0 100 100 100 100 100 SS **
202017540 0 ** ** ** ** 000 SR **
190026758 0 100 090 100 100 098 SS **
202017281 0 100 100 100 100 100 SS **
180015834 0 100 090 100 100 098 SS **
180100840 0 100 070 080 035 064 MM **
190045817 0 100 090 100 100 098 SS **
170034941 0 075 100 100 045 073 MS **
200019015 0 100 100 100 100 100 SS **
190014032 0 ** ** ** ** 000 SR **
180113569 0 075 100 100 045 073 MS **
211039484 0 100 090 100 100 098 SS **
202023805 0 100 070 080 035 064 MM **
180113861 0 100 070 080 035 064 MM **
190033088 0 ** ** ** ** 000 SR **
160133394 0 ** ** ** ** 000 SR **
180114077 0 100 070 080 035 064 MM **
180023411 0 100 090 100 100 098 SS **
140154671 0 075 100 100 045 073 MS **
211029450 0 100 090 100 100 098 SS **
150042817 0 100 070 080 035 064 MM **
180037439 0 100 090 100 100 098 SS **
190117401 0 100 090 100 100 098 SS **
180028308 0 100 090 100 100 098 SS **
180055241 0 100 090 100 100 098 SS **
190020814 0 ** ** ** ** 000 SR **
média ** 096 088 095 076 048 ** Média da turma

Author: Bruno Ribas

Created: 2023-02-17 Fri 22:07

Validate