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

• 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.

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

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

• Apresentação de Domínio PDDL
  • Data: 12 e 14 de novembro de 2024
  • Todas equipes devem enviar os slides, e materiais de apoio, até às 13h do dia 12 de novembro para o professor
  • Modo de apresentação
    • Todos devem estar presentes no dia da apresentação
    • O professor irá sortear o próximo a realizar a apresentação
    • O professor irá sortear um dos membros da equipe para realizar a apresentação. Caso a pessoa sorteada não esteja presente, o grupo receberá nota \(0\).
    • A nota do grupo será atribuída de acordo com a apresentação da pessoa sorteada
  • Tempo de apresentação: 15minutos
    • Os alunos devem apresentar:
      • Do que se trata o domínio
      • Qual a motivação do domínio existir
        • existe artigo científico publicado a respeito do domínio?
      • Análise crítica sobre o domínio e o conjunto de problemas
        • Existem ferramentas de apoio? (que criam arquivos de problema? que animam um plano ?)
          • apresentar as ferramentas existentes
        • Deve ser apresentada uma tabela de execução dos problemas disponíveis
          • Executar os problemas disponíveis nas máquinas da universidade com tempo limite de 5minutos em configurações AGL, SAT e OPT
            • identificar em quantas instâncias cada configuração encontrou alguma solução
            • computar diferença dos custos dos planos encontrados e apresentar em gráfico
        • Apresentar as principais ações e predicados do domínio
          • identificar os principais desafios de modelagem do domínio (existe contador? como empilham algum elemento? como enfileram? como iteram entre os possíveis componentes do problema? As ações possuem muitos parâmetros? As precondições são complicadas ou enxutas?)
• Grupos E DOMÍNIOS
  • Grupo 1 - Scanalyzer 3D IPC2008 , Slides
    • Arthur Heleno do Couto da Silva
    • Christian Hirsch Santos
    • *Eduardo Silva Waski
    • Fabio Gabriel da Silva Barbosa
    • Giovana Martins de Brito
    • Giovanni Dornelas Ferreira
    • Joao Paulo Barbosa Pereira Nunes
    • José Victor Gabriel Menezes da Costa
    • Julio César Martins Franca
    • Mateus Santos Negrini
  • Grupo 2: A Good Snowman is Hard to Plan , Slides
    • Arthur Ribeiro
    • *Caio Felipe
    • Carlos Eduardo
    • Gabriel Moura
    • Gabriel Soares
    • Gustavo Gontijo
    • Henrique Camelo
    • Hugo Queiroz
    • Leonardo Henrique
    • Mateus Vieira
  • Grupo 3: settlers IPC2018 , Slides
    • *Alex Gabriel Alves Faustino - 200056603
    • Artur Handow Krauspenhar - 231034082
    • Dara Maria Barbosa de Sousa - 202046040
    • Eduardo de Almeida Morais - 231011275
    • Giovanni Alvissus Camargo Giampauli - 211043647
    • Marina Márcia Costa de Souza - 200041606
    • Murilo Schiler Lopes Santana - 150142536
    • Pedro Gomes Oliveira - 211031440
    • Thales Duarte Alcântara de Oliveira - 221035095
    • Willian Wagner Xavier Ramos da Silva - 231011865
  • Grupo 4: spider IPC 2018, Slides
    • André Luís - 232024492
    • Arthur Grandão - 211039250
    • Débora Moreira - 222015103
    • Felipe Matheus - 221031274
    • João Pedro Costa - 190030801
    • Mariana Rio - 190058455
    • Matheus Brant - 222037737
    • Pedro Ferreira Gondim - 222026377
    • Túlio Celeri - 222026715
    • Victor Augusto - 221031238
  • Grupo 5: terms IPC 2018, Slides
    • Arthur Augusto Rezende da Paixão - 211031600
    • Breno Henrique de Souza - 202015984
    • Felipe Júnior Duarte da Silva- 231012192
    • Gabriel Neves Alves da Costa - 190087510
    • Igor Silva - 202016560
    • Isaac Menezes Pereira - 190088885
    • Lucas Alves Vilela - 211062141
    • Luciano Alves do Brasil Schindel Machado - 180126130
    • Luiz Guilherme Palhares Pettengill - 1501382022
    • Vinícius Alves - 190039116
  • Grupo 6: Tidybot IPC 2011 , Slides
    • Arthur Mendonça Arruda - 231033737
    • Felipe Hermes Fernandes - 180031767
    • Gabriel Lopes de Amorin - 231012129
    • *Henrique Souza Lavarini - 211061888
    • João Gabriel David dos Anjos - 232021688
    • Lucas Mendonça Arruda - 231035464
    • Mariana Pereira da Silva - 232029210
    • Mariana Ribeiro
    • Samuel Nogueira Caetano - 231027186

• Exercício de criatividade: Criação de domínio
• Submissão: MOJ
  • a partir de 25 de novembro
• Problemas Lights UP
• Prazo: 16 de dezembro de 2024
• Especificação do problema
  • especificado em sala no dia 14 de novembro
• Score e Jogo - TBA
  • O Score do jogo será a soma dos Scores das tracks disponíveis (AGILE e OPTIMAL), e será chamado de SCORE
    • em definição: Ponderando a inserção da track SAT
  • Regras de nota:
    • Individual: \(\lfloor SCORE*1 \rfloor\)
    • Em Dupla: \(\lfloor SCORE*0.8 \rfloor\)

• Exercícios de técnica: Criação de problemas e domínios
• Submissão: MOJ
• Divisão:
  • 2 listas no MOJ, uma para criação de problemas e outra para criação de domínios
• Regra de Nota: A nota será, o chão da, média simples das porcentagens de exercícios feitos em cada lista.
• As listas podem ser lançados com menos exercícios e depois podem ganhar mais exercícios
• As listas são feitas individualmente
• Listas:
  • [UnB-Gama/FLIA 2024-2] PDDL - Criando arquivos de Problema