Mestrado de Linguística Portuguesa Descritiva da Faculdade de Letras da Universidade do Porto.
Escolaridade: 15 horas
Docente: Nelma Moreira
Local: CIUP
[Programa] [Bibliografia] [Avaliação] [Alunos]
[Aulas] [Notas e Sumários] [Trabalhos Práticos] [Avisos]
[Software] [Alguns Apontadores]
Tópicos do Programa
Introdução ao Prolog e à representação de conhecimento usando lógica
de primeira ordem. Gramáticas formais (autómatos finitos e gramáticas
independentes de contexto), gramáticas lógicas (DCG) e gramáticas de unificação. Análise léxica
e dicionários. Analisadores sintácticos descendentes, ascendentes e
tabulares. Representacao semântica. Geração de LN usando formas
lógicas. Referência a outros formalismos linguísticos computacionais
actuais: LFG, HPSG e Gramáticas de Categorias.
Bibliografia
PLN
Prolog
Inteligência Artificial
Regras de Avaliação
Os alunos devem realizar e entregar pelo menos 2/3 dos trabalhos
propostos em cada aula. A cada aluno será proposta a realização de um
pequeno trabalho final. Poderá ainda haver uma prova prática que
consistirá na escrita de um programa em Prolog.
Ângela Maria R. Tavares
António José Rodrigues Leal
Carla Fernanda Ferreira Guedes
Isabel Susana F. Maia
José Diamantino Antunes
Maria Cândida Martins
Maria do Carmo Pereira Oliveira
Maria Luisa Dias Leão Marques
Paula Cristina Pereira Moutinho
Sofia C. Pereira Gonçalves
Yaye Dior Ndo
Viola Cardenez Ruiz
| Dia | Dia Semana | Hora | Aula | Trabalhos |
| 5/06/99 | Sábado | 10:00 | Introdução ao Prolog | Ex:1, 2, 3 |
| 11/06/99 | Sexta | 17:00 |
Termos complexos
Processamento de Listas |
Ex:4, 5, 6 7 8 |
| 17/06/99 | Quinta | 17:00 | Modelo Computacional
Predicados aritméticos Predicados extra-lógicos |
Ex:9, 10, |
| 26/06/99 | Sabado | 10:00 | Interfaces em LN: analisadores léxicos, sintácticos e semânticos.
Reconhecedores e Analisadores. Máquinas de estados finitos. Gramáticas independentes de contexto. Analisadores sintácticos descententes. DCGs |
Ex:1,
2,
3,
4,
5,
6, 7, 9, 10, 11, |
| 1/07/99 | Quinta | 17:00 |
Referência a outros analisadores.Capítulos: P&S
6.5,6.6;Clive 12;G&M 5,6).
Referência a formalismos linguísticos computacionais baseados em unificação. Aplicações de PLN. Estudo duma interface em LN a uma base de dados:Mini. Mais predicados extra-lógicos do Prolog: control,entrada/saída, sobre termos. |
Notas sobre lógica de primeira ordem e resolução