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

Os trabalhos poderão ser organizados em três modalidades principais:

1. Trabalhos com prazo estendido: possuem um período de até 1 mês para conclusão e podem envolver caráter competitivo. A entrega será realizada por meio do sistema MOJ, e os melhores trabalhos poderão ser selecionados para apresentação da solução desenvolvida.
2. Trabalhos em sala de aula: definidos em um encontro e finalizados na aula seguinte ou nas subsequentes.
   • Para os trabalhos em grupo, alunos ausentes na aula de definição devem apresentar sua equipe na aula imediatamente seguinte.
   • Caso um estudante falte no dia da finalização, poderá solicitar um prazo adicional equivalente ao tempo de uma aula, desde que apresente um atestado de saúde em até 5 (cinco) dias.
3. Trabalhos de apresentação: estruturados em duas etapas dentro de uma única aula.
   • Na primeira parte, os alunos estudam o conteúdo proposto.
   • Na segunda parte, apresentam suas conclusões para a turma.
   • A participação de todos os integrantes do grupo é obrigatória. O professor poderá selecionar um dos membros para realizar a apresentação.
   • Estudantes ausentes receberão nota Zero.

• Se o estudante utilizar modelos de linguagem treinados (LLMs) para gerar parte do trabalho, incluindo código ou texto, essa utilização deve ser declarada explicitamente.
  • O não cumprimento dessa exigência pode ser interpretado como tentativa de fraude.
• O professor poderá, a seu critério, convocar alunos para que defendam o trabalho em caso de suspeita de uso indevido de LLM e/ou cópia (seja de outro aluno ou da internet)
  • A apresentação será em caráter de defesa podendo ser solicitado modificações no trabalho ou reimplementação de trechos do código.

Nos trabalhos realizados em sala, um aluno que se ausentar poderá solicitar uma nova data para realizar um trabalho equivalente, desde que apresente um atestado de saúde em até 5 (cinco) dias. Essas reposições ocorrerão entre 18h00 e 19h50 nos dias letivos da disciplina.

A presença será registrada por meio de lista de assinaturas ou chamada oral conduzida pelo professor.

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

\begin{align} M_F = \frac{ \sum_{i=0}^{N}(K_i * T_i)}{\sum_{i=0}^{N}(K_i)} \end{align}

• Onde \(K_i\) 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

IMPORTANTE: Atestados médicos e documentos comprobatórios de justificativa de faltas dão direito à realização de atividades avaliativas que você venha a perder, mas essas ausências justificadas também são levadas em consideração como ausências efetivas para o cômputo da frequência mı́nima obrigatória (Graduação UnB – Manual para estudantes, pág. 35).

• Exercício de modelagem lógica
• Modelar o problema do Campo Minado logicamente em CNF
  • Gerar solução que, descubra quais posições são logicamente provadas como seguras
• Escrever um programa que recebe um tabuleiro de campo minado e devolva as posições logicamente seguras
  • escrever como um problema interativo, sempre pegar o resultado do mapa aberto após devolver as posições seguras.
• Enunciado preliminar Jogo Campo Minado

• Apresentação de Domínio PDDL
  • Data: 22 de ABRIL de 2025
  • Todas equipes devem enviar os slides, e materiais de apoio, até às 13h do dia 22 de abril 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

  #	Equipe	Problema	Slide
  1	Andre,Arthur,Carlos,Hugo	Otimização de Grade Horário por Planejamento , Vídeo
  2	Andre,Ana,Marina,Francisco	PDDL's, Snake IPC 2018
  3	Lucas,Bruno,Igor	Recharging Robots, IPC 2023
  4	Guilherme,Gabryel,Julio	Resolvendo Xian-Xiang como planejamento
  5	Lucas,Guilherme,Felipe,Rodrigo	Resolvendo Puzznic através de planejamento automatizado
  6	Hian,Daniel,Algusto,Rodrigo	Tetris IPC2014
  7	Debora,Mariana,Wesley	Resolvendo pipe mania como planejamento , Vídeo