Disciplina Curricular
Lógica e Senso Comum LSC
Diploma de Estudos Avançados em Engenharia Informática e de Computadores - DEAEIC2006
Peso
6.0 (para cálculo da média)
Objectivos
Estudo da abordagem McCarthyana à modelação do Senso Comum, nas suas várias componentes, e algumas das suas ramificações mais relevantes. Sensibilização dos alunos para problemas decorrentes da utilização de Lógica Matemática para fazer modelação do senso comum, bem como para propostas de resolução dos problemas entretanto surgidas na bibliografia.
Programa
Enquadramento histórico da abordagem McCarthyana à modelação do Senso Comum. Advice Taker. Utilização de lógica em IA. Cálculo situacional, alternativas, problemas inerentes e soluções (monótonas). Teorias de conceitos individuais e proposições. Circunscrição nas suas várias formas. Tolerância à elaboração. Modelação de contextos.
Metodologia de avaliação
A avaliação tem duas componentes: apresentações dos alunos e um trabalho. Os pesos relativos a cada componentes serão propostos anualmente em função das apresentações e do trabalho a efectuar.