Inteligência Artificial
Datas de Exames
Exame - 1º Época |
Revisão |
Exame - 2ª Época |
Revisão |
Repescagem |
Época Especial |
2019/01/07 (2. feira) Aud. 4 18:00H |
|
2019/01/28 (2. feira) B104 08:30H |
Não está previsto |
2019/07/09 (3. feira) B104 15:00H |
Em 2016/2017 a avaliação seguiu um modelo diferente do habitual. Assim, as provas de avaliação desse ano devem ser encaradas como coleções de exercícios e não como bons exemplos das provas de avaliação.
A forma clausal da lógica de predicados de primeira ordem deixou de ser ensinada em 2018/2019. Consequentemente, todos os exercícios de forma clausal das avaliações passadas deixam de servir de exemplos para avaliações futuras
OS algoritmos de procura são uma matéria introduzida apenas em 2018/2019 por isso ainda não há avaliações que contemplem essa parte da matéria.
Avaliação (Notas e Resoluções): (Zipped MS-Office Files)
Resoluções de provas de anos anteriores: (Zipped MS-Word Files)
Testes
|
Matéria |
Data |
Hora |
Sala |
Revisão |
Teste 1 |
Algoritmos de Procura. Arquitetura de sistemas baseados em conhecimento. Representação de conhecimento e raciocínio |
2018/11/10 (Sábado) |
10:00H |
B103 B104 Aud. 4 |
|
Teste 2 |
Prolog declarativo avançado. Mecanismos de controlo. Input/Output |
2018/12/12 (4. feira) |
20:00H |
B103 Aud. 4 |
Matéria para o Teste de SBC (mais detalhe)
- A parte introdutória da matéria relativa à definição de IA, a sistemas inteligentes e suas características, tecnologias para sistemas inteligentes, em especial as de SBC, arquitetura geral dos SBC
- Algoritmos de Procura
- Representação do conhecimento e raciocínio / inferência em Lógica de Predicados de Primeira Ordem, incluindo a sintaxe habitual da lógica de predicados, as suas regras de inferência e derivações
- Representação de conhecimento usando Programação em Lógica
- Representação do Conhecimento usando Regras de Produção, encadeamento das regras, resolução de conflitos. Nesta matéria, não vem a definição das ações usadas nas regras, nem a definição dos programas de interface.
Matéria para o Teste de Prolog (mais detalhe)
- Definição declarativa de predicados. Processamento de listas. Recursividade simples e dupla recursividade.
- Mecanismos de controlo e meta-predicados (e.g., findall/3, bagof/3, setof/3, call/1, assert/1, retract/1, repeat/0, cut, fail/0)
- Input/Output. I/O centrado em termos. Operações com streams (ficheiros e consola)
Exames e Testes
A avaliação escrita individual standard será constituída por dois testes ao longo do semestre, e por três datas de exame (incluindo a época especial para os que estiverem nas condições legais para o fazerem).
A soma dos pesos dos dois testes é 100%, o que significa que quem obtiver aprovação nos testes fica com a cadeira realizada, sem ter de ir a exame.
Para cada aluno, o teste em que tiver melhor nota terá um peso de 60%, e o teste em que tiver pior nota terá um peso de 40%. Em cada teste, a nota mínima é de 8 valores.
Quem não obtiver aprovação nos testes, pode ainda realizar exame de primeira época.
Cada um dos exames vale 100%