Fundamentos Lógicos da IA - 2023-1
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
  • prazo 21 de setembro
  • Devem ser apresentados domínios das competições de 2023 ou 2018
    • https://ipc2023-classical.github.io/
    • https://ipc2018-classical.bitbucket.io/
  • O que deve ser apresentado?
    • Tempo de apresentação: 10minutos
    • 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
        • Deve ser apresentada uma tabela de execução dos problemas disponíveis
        • Existem ferramentas de apoio? (que criam arquivos de problema? que animam um plano ?)
          • apresentar as ferramentas existentes
        • Apresentar as principais ações e predicados do domínio
      • Após a apresentação os alunos devem enviar para o professor o PDF da apresentação

• EQUIPES E DOMÍNIOS

Equipe	Integrantes	Domínio	Material
1	Bruno, Igor, Danilo, Lucas Gobbi	Ricochet Robots	APRESENTAÇÃO, Repositório do Domínio
2	Rodrigo Lima, Marcos Tavares, Daniel, Vinícius, Lucas	Nurikabe	Relatório, APRESENTAÇÃO
3	Davi, João, Caio, Luís	Organic Synthesis	APRESENTAÇÃO
4	Breno, Breno, Henderson, Yogi	Snake (2018)	APRESENTAÇÃO
5	Ryan, João, Caio Urnau, Raphael	Settlers (2018)	APRESENTAÇÃO
6	Gabriel Mariano, Diógenes, Rodrigo Edmar, Danilo César	Agricola (2018)	APRESENTAÇÃO
7	Otávio, Nicolas, Deivid, Paulo Henrique	Labyrinth
8	Cauã Corrêa, Arthur Lima, Pedro Sena, Julio Costa	Rubik's cube	APRESENTAÇÃO

• Exercício de criatividade: Criação de domínio
• Submissão: MOJ
• Problemas Lights Out modificado
• Prazo: 🆕 11 de novembro de 2023
• Especificação do problema
• Score e Jogo

• Apresentação de domínio HDDL
  • Início das apresentações: 24 de outubro
  • Devem ser apresentações domínios das competições de 2023 ou 2020
    • https://ipc2023-htn.github.io/
    • https://ipc2020.hierarchical-task.net
  • O que deve ser apresentado?
    • Tempo de apresentação: até 30minutos
    • 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?
      • O domínio se compara a algum domínio em PDDL?
        • Em caso afirmativo, como eles se comparam em desempenho? E na modelagem?
      • Análise crítica sobre o domínio e o conjunto de problemas
        • Deve ser apresentada uma tabela de execução dos problemas disponíveis
        • Existem ferramentas de apoio? (que criam arquivos de problema? que animam um plano ?)
          • apresentar as ferramentas existentes
        • Apresentar as principais ações e predicados do domínio
      • Após a apresentação os alunos devem enviar para o professor o PDF da apresentação
• Equipes

Equipe	Integrantes	Domínio	Material
1	Gabriel, Diógenes, Edmar, Danilo Cesar	Minecraft - Regular	SLIDES, PAPER(ORIGINAL), GITHUB IPC2020, GITHUB IPC2023
2	Vinícius Marcos, Daniel, Rodrigo Tiago	Towers	SLIDES
3	Breno, Breno, Henderson, Yogi	SNAKE	SLIDES
4	Danilo, Lucas, Bruno, Igor	Colors	SLIDES
5	Lucas, Cauã, Pedro Sena, Julio Costa	Barman - BDI	SLIDES
6	João Pedro, Davi, Luis, Caio	Satelite	SLIDES , PAPER(ORIGINAL), GITHUB
7	Caio Urnau, Ryan, Bruno Alves	Factory Sample	SLIDES
8	Nicolas, Arthur, Otavio	Hiking	não enviou

• Exercício de criatividade: Criação de domínio HDDL
• Submissão: e-mail
• Prazo: 1 de dezembro de 2023 8 de dezembro
• Este trabalho foi inspirado no trabalho da disciplina: Automated Planning and Scheduling, por Tomas Balyo and Dominik Schreiber
• Em equipe: Máximo de 4 membros (podendo ser feito individualmente, dupla ou trios)
• Projete um benchmark de planejamento de domínio HDDL. Você pode modelar qualquer coisa que desejar. Seja inspirado por quebra-cabeças, jogos de tabuleiro/vídeo, programas de TV, situações da vida real, aplicações industriais, hentai, etc., e tente incorporar conhecimento hierárquico útil sobre o domínio em seu modelo. Para obter a pontuação máxima, seu domínio deve ser totalmente escalável, ou seja, deve ser possível gerar problemas facilmente solucionáveis e problemas arbitrariamente difíceis. Forneça os seguintes arquivos:
  • Um arquivo domain.hddl que define formalmente o seu domínio. Defina pelo menos duas tasks distintas, pelo menos três methods distintos e pelo menos três action distintas (todos os quais devem ser úteis em alguns casos).
  • Um gerador de arquivos de problema que pode produzir arquivos problem.hddl com base em alguns parâmetros. O gerador pode ser escrito em qualquer linguagem de programação mainstream (mas sempre forneça as fontes!).
  • Um documento PDF de 2-3 páginas descrevendo seu domínio (propriedades, dificuldade, motivação, …) e instruções sobre como usar o gerador de problemas.
    • Apresente um benchmark do seu domínio com pelo menos dois planejadores, sendo um deles o PandaPI, e outro sendo algum planejador dentre os campeões da competição de HDDL de 2023.
      • O seu benchmark deverá possuir problemas de três categorias:
        • AGILE : com problemas pequenos e tempo limite de 150segundos por instância (não precisa, necessariamente, ter todas as instâncias resolvidas)
        • SATISFICING: problemas maiores e difíceis de encontrar solução e tempo limite de 900segundos
        • OPTIMAL: problemas maiores e defícies de provar ótimo e tempo limite de 900 segundos
    • Explore os parâmetros dos planejadores escolhidos
• Os "melhores" domínios receberão 20 pontos extras (primeiro lugar) e 10 pontos extras (segundo lugar), respectivamente. A pontuação de cada domínio será determinada pela votação dos estudantes. Empates serão decididos por Bruno Ribas.