PRESENTES: Igor (Ex-bcc, pós), Vinicius (Ex-bcc, pós), Toshi (Ex-bcc, pós), Wilson (Ex-bcc, pós), Pedro (4o. BCC), Mateus (2o. BCC), Victor (2o. BCC), Gervásio (2o. BCC), Lucas, Zé, Daniel, Setzer, Coelho, Finger, Hitoshi, André, Arnaldo, Hitoshi [pedimos desculpas se houver algum erro nessa lista. Por favor nos envie email se estiver errada] PRÓXIMA REUNIÃO: 4/11 RELATO DA REUNIÃO: - Daniel, Arnaldo e Pedro resumiram o que aconteceu na reunião da última quinta-feira (reunião do grupo que vai preparar os tópicos antes de levar para o conselho). Já foi enviado um relatório sobre ela. - Marcelo Finger falou que aconteceram algumas reuniões entre professores do grupo de IA e eles propuseram duas disciplinas para o núcleo do curso: . uma disciplina nos moldes de métodos formais (MAC239) mas com o nome explícito de Introdução à Lógica e à Verificação de Programas. A ideia é ser uma disciplina operacional que mostre para os alunos como os tópicos ensinados são aplicados na prática. O Marcelo vai enviar uma proposta de ementa para todos olharem. . uma disciplina introdutória de IA. Essa disciplina não vai ser igual à disciplina atual de IA. O nome seria Introdução à Inteligência Artificial e Aprendizado de Máquina. A disciplina teria três partes mas o conteúdo ainda está em discussão entre professores: * busca e heurística * representação de conhecimento (não está solidificado entre os professores) * aprendizado de máquina (a ser discutido com professores do departamento que trabalham com aprendizado de máquina) A disciplina vai ser introdutória e mostraria tópicos simples relacionados com IA e aprendizado. Não vai ser como muitas disciplinas introdutórias de IA que tentam mostrar todo o conteúdo e acabam sendo muito corridas. Um resumo do que seria visto: árvores de decisão e algum método de agrupamento para aprendizado não supervisionado. A ementa dessa disciplina vai demorar mais um pouco para ser apresentada. - Pedro perguntou sobre bibliografia da disciplina de métodos formais. Marcelo falou que tem um livro para a primeira parte da disciplina e outra parte seria baseada em conteúdo que o Marcelo preparou usando como base o curso de Cambridge (UK). Pedro também perguntou sobre os semestres das disciplinas. Isso vai depender de quão operacional seriam elas e também dependem da existência de uma disciplina obrigatória de álgebra booleana. - Arnaldo comentou que um problema clássico de disciplinas de introdução de IA é que elas tentam mostrar tudo e não dá tempo. Marcelo comentou que isso não aconteceria nessa nova disciplina. - Valdemar falou que numa das grades do BCC havia uma disciplina de lógica para o último semestre. A justificativa era que o aluno precisava de maturidade antes de fazer essa disciplina. Quem dava lógica era o pessoal do MAT. Ele comentou que na proposta do pessoal de IA para a disciplina de introdução à lógica seria interessante apresentar uma parte mais filosófica na disciplina. Valdemar comentou que seria bom falar por exemplo de completude. O Finger comentou que a ideia é ter essa disciplina obrigatória mais operacional e que não daria para mostrar tudo. Mas isso não impede a existência de uma disciplina mais avançada que mostrasse tópicos de lógica com mais detalhes. - Arnaldo comentou que a união dessa proposta do Finger com a nova disciplina de fundamentos de matemática para computação dará uma boa base para os alunos do BCC. - Valdemar comentou que acha interessante ter alguma disciplina mais prática que mexesse com o hardware do computador. Gervásio questionou porque não apresentar isso na disciplina de organização de computadores. Valdemar comentou que preferia esse assunto sendo apresentado no início do curso para entusiasmar os alunos que estão entrando. - Valdemar falou sobre evitarmos a criação de disciplinas que falassem apenas de "receitas" - Victor comentou que em álgebra booleana eles tiverem a chance de usar um simulador e que foi útil para aprenderem conteúdo de hardware, mesmo não tendo trabalhado em cima de um hardware real. - Mateus comentou que seguindo essa linha de ter uma disciplina em que os alunos colocassem a mão na massa em hardware, seria bom ter uma disciplina que falasse dos vários sistemas operacionais existentes. - Victor falou que em São Carlos tem uma disciplina de hardware mas os alunos não veem sentido nela e abandonam a disciplina. - Vinicius comentou que gostou da divisão em 3 partes proposta na disciplina de introdução a IA. Porém, ele comentou que é necessário ter cuidado para não ficar mto corrido na hora que chegasse na parte de aprendizado de máquina porque o tópico é extenso e quando ele cursou ele percebeu que tinha muito assunto para apenas uma disciplina. Arnaldo comentou que o curso de aprendizado de fato é uma disciplina com conjuntos de técnicas e que isso é difícil de ver em outras disciplinas. Marcelo falou que uma ideia para a disciplina seria apresentar um problema de classificação e uma técnica supervisionada - Victor perguntou sobre qual conteúdo de estatística seria necessário nessa disciplina de introdução a IA. Marcelo falou que só vai ter contagem. No máximo os alunos precisariam saber calcular entropia. O aluno comentou que isso poderia justificar ter Estatística II no núcleo. - Arnaldo comentou sobre as disciplinas de estatística lembrando que uma proposta seria ter uma nova no lugar de Estatística II que mostrasse técnicas de estatística na prática, usando problemas reais de eScience que ilustrariam a utilidade da técnica. - Valdemar comentou da necessidade de ter mais integração entre os professores para passar o que foi visto de uma disciplina pra outra. - André sugeriu que houvesse uma disciplina de estatística que usasse muito tópicos de computação. P. ex. usar métodos computacionais para resolver problemas estatísticos. Gervásio comentou que talvez a disciplina de Laboratório de Simulação já cubra boa parte desse conteúdo (temos que ver de qual departamento é esta disciplina). - Igor comentou que seria bom termos um texto com justificativas para o nível de confiança das disciplinas do núcleo (aqueles números entre parênteses ao lado das disciplinas na grade). Isso facilitaria na hora que as disciplinas fossem colocadas em dúvida como aconteceu com Conceitos de Linguagem de Programação. Os alunos poderiam ajudar nisso. Eles poderiam informar em quais disciplinas um dado tópico foi necessário. Além disso poderiam também justificar porque uma disciplina não é necessária. Ficamos de uma wiki e a ideia é que professores e alunos preencham para cada disciplina uma lista com prós e contras, o que vai ajudar na hora que a existência ou remoção de uma disciplina do núcleo for contestada. [Estamos trabalhando nisso] - Toshi comentou sobre termos cuidado pra não darmos importância apenas para o que foi usado de forma direta em outras disciplinas. Marcelo lembrou que um assunto não usado por um aluno pode ter sido usado por outro que tenha seguido outro caminho. - Marcelo Finger falou que nas reuniões com o pessoal de IA não houve interesse em ter uma ênfase em IA e que o grupo defende que não haja uma quantidade grande de ênfases. As disciplinas de IA provavelmente entrariam em uma ênfase mais relacionada com eScience.