ISLA IPGT 18748

Lógica Computacional

• ApresentaçãoPresentation

  A unidade curricular de Lógica Computacional introduz os principais conceitos da lógica aplicada à computação, articulando representação do conhecimento, raciocínio lógico, algoritmos e resolução de problemas. A UC desenvolve-se através de uma abordagem teórico-prática, recorrendo inicialmente ao Prolog para trabalhar factos, regras, predicados, consultas, unificação, recursividade, backtracking, árvores de prova e mecanismos de inferência. Complementarmente, utiliza-se Python para explicitar algoritmos, implementar estruturas de dados, comparar estratégias de pesquisa e testar soluções. São ainda abordadas estruturas recursivas, árvores, grafos, gramáticas e sistemas periciais, promovendo a capacidade de representar conhecimento, inferir conclusões e desenvolver soluções computacionais fundamentadas em lógica.
• ProgramaProgramme

  Introdução: resolução de problemas, algoritmos, representação do conhecimento e paradigmas de programação; papel do Prolog e do Python. Programação Lógica em Prolog: paradigma lógico/declarativo; factos, predicados, termos, cláusulas, consultas, variáveis, unificação, substituições, regras, árvores de prova/procura, resolução SLD, estratégias de pesquisa, backtracking e predicados de controlo. Exemplos: bases de conhecimento, relações familiares e pré-requisitos. Sistema Prolog: leitura e escrita, aritmética, comparação, listas, recursividade, predicados pré-definidos, sistemas de prova e máquinas de inferência. Estruturas recursivas: listas, árvores e grafos em Prolog e Python; pesquisa, controlo de ciclos, profundidade e largura. Gramáticas e linguagens: gramáticas formais, reconhecimento, DCG em Prolog e analisadores simples em Python. Sistemas periciais: arquitetura, base de conhecimento, motor de inferência, explicação, limites e comparação Prolog/Python.
• ObjectivosObjectives

  Esta unidade curricular apresenta os principais conceitos da Lógica Computacional, articulando-os com algoritmos e técnicas de resolução de problemas. Numa primeira fase, os estudantes trabalham programação lógica em Prolog, representando conhecimento através de factos, predicados e regras e explorando unificação, resolução, recursividade, backtracking e árvores de prova/procura. Numa segunda fase, utilizam Python para explicitar algoritmos, testar soluções, comparar estratégias de pesquisa e implementar estruturas de dados e sistemas baseados em regras. No final, deverão compreender os fundamentos da lógica de programação, aplicar a sintaxe e a semântica do Prolog, desenvolver soluções declarativas, traduzir problemas lógicos para Python, comparar paradigmas, aplicar lógica à Inteligência Artificial e aos sistemas periciais e analisar a eficiência e limitações de Prolog e Python.
• BibliografiaBibliography

  Fais, R. M. Lógica Computacional. Artigos e exercícios sobre lógica computacional. Clube de Autores, 2020. Ben-Ari, M. Mathematical Logic for Computer Science. Springer, 3rd edition, 2012. Huth, M., & Ryan, M. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2004. Barwise, J., & Etchemendy, J. Language, Proof and Logic. CSLI Publications, 2nd edition, 2011.  
• MetodologiaMethodology

  Serão utilizadas tecnologias inovadoras de apoio à aprendizagem, incluindo ambientes interativos de programação em Prolog e Python, plataformas digitais de suporte às atividades práticas, ferramentas de Inteligência Artificial generativa, sistemas de visualização de algoritmos e mecanismos de feedback automático. Estas tecnologias permitirão experimentar conceitos, testar soluções, analisar resultados e promover uma aprendizagem mais ativa, autónoma e orientada à resolução de problemas.
• LínguaLanguage

  Português
• TipoType

  Semestral
• ECTS

  6
• NaturezaNature

  Obrigatório
• EstágioInternship

  Não
• AvaliaçãoEvaluation

  Descrição dos instrumentos de avaliação (individuais e de grupo) ¿ testes, trabalhos práticos, relatórios, projetos... respetivas datas de entrega/apresentação... e ponderação na nota final.

  Descrição	Data limite	Ponderação
  Prova de avaliação	14-01-2027	60%
  Trabalho prático de avaliação	07-01-2027	30%
  Assiduidade e participação - minimo 70% de presenças.	----	10%

  Avaliação Especial

  Os estudantes com estatuto especial reconhecido podem requerer o regime especial de avaliação previsto no Regulamento Geral de Avaliação, mantendo-se os objetivos, competências e nível de exigência da unidade curricular, sem prejuízo das adaptações aplicáveis.