Fundamentos Lógicos da IA - 2024-1
UnB-\(\gamma\)

Table of Contents

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   19_mar PdA2024

2.2. Aula 2   21_mar

  • Introdução
    • Objetivos da disciplina
    • Método de avaliação
    • conceitos gerais

2.3. Aula 3   26_mar

2.4. Aula 4   28_mar

  • Primeiro domínio e problema PDDL criado em sala juntamente com os alunos:
  • Disponibilizado acesso ao sistema de edição PDDL para a disciplina:

2.5. Aula 5   02_abr

2.6. Aula 6   04_abr

2.7. Aula 7   09_abr

2.8. Aula 8   11_abr

2.9. Aula 9   16_abr ICPC

  • Finais Mundiais 46 e 47 do ICPC

2.10. Aula 10   18_abr ICPC

  • Finais Mundiais 46 e 47 do ICPC

2.11. Aula 11   23_abr

2.12. Aula 12   25_abr

2.13. Aula 13   30_abr

2.14. Aula 14   02_mai

2.15. Aula 15   07_mai

2.16. Aula 16   09_mai

2.17. Aula 17   14_mai

2.18. Aula 18   16_mai

2.19. Aula 19   21_mai

2.20. Aula 20   23_mai

2.21. Aula 21   28_mai

2.22. Aula 22   30_mai FERIADO

2.23. Aula 23   04_jun

2.24. Aula 24   06_jun

2.25. Aula 25   11_jun

2.26. Aula 26   13_jun

2.27. Aula 27   18_jun

2.28. Aula 28   20_jun

2.29. Aula 29   25_jun

2.30. Aula 30   27_jun

2.31. Aula 31   02_jul

2.32. Aula 32   04_jul

2.33. Aula 33   09_jul

2.34. Aula 34   11_jul

3. Plano de Aulas

O plano de ensino e plano de aulas é um PLANO e pode sofrer modificações ao longo do semestre de acordo com o rendimento da turma.

Curso: Engenharia de Software Período Letivo 2023/2
Disciplina: Tópicos Especiais de ES - FLIA Código  
Carga Horária: 60 horas Créditos 04

3.1. Horários das aulas e atendimento

  • Aulas:
    • {terça,quinta}-feira, das 14:00 às 15:50
  • Atendimento:
    • por e-mail nos dias e horário das aulas
      • caso necessário será aberto uma CALL para sanar as dúvidas
  • E-mail:
    • bruno.ribas EM unb.br
  • Página:

3.2. Método

Aula expositiva por meio de aula síncronas em Sala de Aula, quadro branco, lista de exercícios e, material de apoio disponibilizado no Youtube (gravados ou em live stream).

3.3. Critérios de Avaliação

  • A avaliação será feita por um conjunto de trabalhos, com pesos variáveis.
    • Os trabalhos deverão ser apresentados ao longo da disciplina, e representam os checkpoints dos assuntos estudados
  • As notas serão compostas por um número inteiro no intervalo \([0,100]\);
  • As avaliações serão compostas por questões, podendo ser, a critério do professor, teóricas e/ou práticas
  • Qualquer tentativa de fraude nas provas implicará em média ZERO no semestre para todos os envolvidos.

3.3.1. Presença

  • Em atividades presenciais será passada uma lista de presença;
  • Para atividades a distância uma atividade específica de presença será passada com um prazo determinado pelo professor.

A entrega DENTRO do prazo é obrigatória para todos os alunos.

3.3.2. Menção Final

As notas serão calculadas conforme a equação abaixo:

\begin{align} M_F = \frac{ \sum_{i=0}^{N}(K_i * T_i) + K_f*TF}{K_f+\sum_{i=0}^{N}(K_i)} \end{align}
  • Onde \(K_i\) e \(K_f\) são os pesos das atividades. Os pesos serão divulgados pelo professor no momento da divulgação da atividade

3.3.3. Critérios de aprovação

Obterá aprovação no curso o aluno que cumprir todas as exigências listadas abaixo:

  1. \(M_F >= 50\); e
  2. Presença em \(75\%\) ou mais das aulas.

Por fim, a menção final do curso é dada de acordo com a tabela abaixo:

\(M_F\) Menção Descrição
\(0\) SR Sem rendimento
\([1,29]\) II Inferior
\([30,49]\) MI Médio Inferior
\([50,69]\) MM Médio
\([70,89]\) MS Médio Superior
\([90,100]\) SS Superior

3.4. Bibliografia

  • Algorithms in C , Robert Sedgewick
  • CORMEN, Thomas H.; LEISERSON, Charles E.; RIVEST, Ronald L.; STEIN, Cli or. Algoritmos: Teoria e Prática. 2a.edição, Campus.
  • (eBrary) CORMEN, Thomas H.; LEISERSON, Charles E.; RIVEST, Ronald L. Introduction to Algorithms. MIT Press, 2014.
  • (eBrary) Biere, Armin and Heule, Marijn J. H. and van Maaren, Hans and Walsh, Toby Handbook of Satisfiability, 2009.
  • RIBAS Bruno C; Um método de pré-processamento de fórmulas SAT e pseudo-boolean baseado em técnicas de programação linear inteira mista, 2015
  • RIBAS Bruno C; Suguimoto RM; Montano RANR; Silva F; Bona LCE; Castilho M; On modelling virtual machine consolidation to pseudo-Boolean constraints, 2012
  • RIBAS Bruno C; Suguimoto RM; Montano RANR; Silva F; Bona LCE; Castilho M;PBFVMC: A New Pseudo-Boolean Formulation to Virtual-Machine Consolidation, 2013
  • Montano RANR; RIBAS BC; Planning as Mixed-Horn Formulas Satisfiability 2017
  • RUSSEL Stuart; Norvig Peter; Artificial Intelligence: A Modern Approach, 2020
  • https://planning.wiki/ - Planning.Wiki - The AI Planning & PDDL Wiki
  • Artificial Intelligence: A Modern Approach. 3a. Ed. S. Russel and P. Norvig. (cap 7, slides)
  • Chin-Liang Chang, Richard Char-Tung Lee. Symbolic logic and mechanical theorem proving. San Diego, CA : Academic Press, 1987.
  • A knowledge compilation map. A. Darwiche and P. Marquis. JAIR. 2002

4. Presença

  • Publicado diretamente no SIGAA

5. Notas

5.1. Trabalhos que valem nota

5.1.1. Trabalho 1 - Peso: 1

  • Apresentação de Domínio PDDL
  • EQUIPES E DOMÍNIOS
Equipe Integrantes Domínio Material
1 Guilherme, Luis de Lima, Renan Guedes, Rafael Araújo elevator APRESENTAÇÃO
2 Carlos Alexandre, Davi Veira, Gustavo Martins, Leonardo Machado, Lucas Borges trucks-preferences APRESENTAÇÃO
3 Alexandre Pereira, Marcelo de Araújo, Vinícius Dias, Pedro de Freitas parking-sequential APRESENTAÇÃO
4 Arthur Sobreira, Davi Leal, Igor Paiva, Lucas de Paula visit-all APRESENTAÇÃO
5 Arthur Sousa, Pedro Vieira, Henrique Hida freecell-strips --
6 Julia de Farias, Leiticia Monteiro, Marjorie Rodrigues, Paulo Paes no-mystery APRESENTAÇÃO
7 Bruno Ribeiro, Igor Penha, Lucas Bergholz, Rafael Nobre woodworking APRESENTAÇÃO
8 Eduardo Lima folding APRESENTAÇÃO

5.1.2. Trabalho 2 - Peso: 5

  • Exercício de criatividade: Criação de domínio
  • Submissão: MOJ
    • a partir de 22 de abril
  • Problemas Lights Out RGB modificado
  • Prazo: 11 de maio de 2024
  • Especificação do problema
  • Score e Jogo - TBA

5.2. Consolidadas

Author: Bruno Ribas

Created: 2024-04-26 Fri 10:02

Validate