Objetivos | A introdução gradual das várias temáticas e conceitos associados a cada um dos tópicos do programa da unidade curricular permitirá ao longo do semestre, de forma gradual, providenciar aos alunos o conhecimento e a perícia necessária para alcançarem os objetivos definidos, através da realização de um trabalho prático e de uma prova escrita, cujas etapas abordarão cada uma das temáticas abordadas no programa da unidade curricular, alinhadas com o cumprimento gradual dos objetivos referidos. A sequência dos vários temas permitirá, também, apresentar aos alunos os desafios mais usuais que um sistema de dados nos coloca e conhecer os modelos, métodos e as tecnologias mais adequadas para os ultrapassar.
|
Bibliografia |
Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, Cambridge University Press, 2011.
Michael R. Genesereth, Nils J. Nilsson, Logical Foundations of Artificial Intelligence, Morgan Kaufmann, 2014.
Michael Huth and Mark Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2004.
Ivan Bratko, Prolog Programming for Artificial Intelligence, 4th Edition, Pearson Education, 2011.
Leon S. Sterling, Ehud Y. Shapiro, The Art of Prolog: Advanced Programming Techniques, MIT Press, 1994.
|
Resultados da aprendizagem | - Compreender os Fundamentos da Lógica proposicional e de primeira ordem.
- Compreender os Fundamentos das Lógicas não clássicas
- Raciocinar de forma lógica e saber analisar problemas de maneira estruturada
- Aplicar regras de inferência e modelar problemas em lógica
- Representar problemas do mundo real usando linguagens de lógica formal
- Resolver problemas computacionais complexos usando técnicas baseadas em lógica.
- Adquirir conhecimentos em linguagens de programação em lógica
- Aplicar lógica computacional em diversas áreas da ciência da computação, em particular em inteligência artificial
- Compreender as implicações éticas da utilização da lógica computacional.
- Desenvolver responsabilidade na aplicação de técnicas lógicas, evitando vieses e promovendo a equidade.
|
Método de avaliação | A metodologia de avaliação da UC é composta por dois instrumentos de avaliação:
(a) uma prova escrita de avaliação periódica, de cariz individual (30% a 60%);
(b) um trabalho prático de avaliação contínua, de desenvolvimento em grupo (40% a 70%).
Para o instrumento (b), de índole prática, será definida a classificação mínima de 10 (dez) valores. No que respeita a (a), estabelecer-se-á classificação mínima congruente com a decisão quanto aos fatores de ponderação definidos para o cálculo da classificação final da UC.
|
Departamento de Informática (UM)