O HIPERTEXTO COMO INSTRUMENTO DE ENSINO DA LITERATURA

Representação semântica em analisadores gramaticais
Luiz Arthur Pagani (UFPR) [e-mail] 1

4 a 7 de março de 2009

Abralin 2009

1 Introdução
• Analisador gramatical (parser ) é normalmente apenas analisador sintático: o resultado do processamento é apenas uma representação da estrutura sintática da expressão analisada. • Objetivo aqui: analisadores gramaticais com interpretação semântica Luiz Arthur Pagani

2

[e-mail]

4 a 7 de março de 2009

Abralin 2009

2 Pereira & Shieber
• Representação semântica de every :
(X^S1)^(X^S2)^all(X,S1=>S2) (ao invés de
P^Q^all(X, P@X => Q@X), esperado para λP.λQ.∀x.(P x) → (Q x))
• Representação semântica de Shrdlu : (shrdlu^P)^P (ao invés de P^P@shrdlu, esperado para λP.(P shrdlu))
• Representação semântica de wrote : X^Y^wrote(X,Y) (ao invés de Y^X^wrote(X,Y), esperado para λy.λx.wrote(x, y)

Luiz Arthur Pagani

3

[e-mail]

4 a 7 de março de 2009

Abralin 2009

Como reconhecem os próprios autores (p. 101):
A forma lógica de Shrdlu parece contra-intuitiva, porque não corresponde à codicação de nenhuma expressão-λ. A posição que deveria ser ocupada por uma variável é ocupada pela constante shrdlu.
A execução parcial da aplicação pode resultar em expressões bizarras, justamente por causa da execução parcial. Apenas uma parte da tarefa da redução-β é executada, o restante acaba sendo realizado durante o processamento, quando as variáveis envolvidas são instanciadas. Portanto, não devemos nos preocupar tanto com o fato de que a codicação das expressões-λ que estamos usando apresentem algumas propriedades que o cálculo abstratamente não apresente.
Luiz Arthur Pagani

4

[e-mail]

4 a 7 de março de 2009

Abralin 2009

Apesar disto, o programa constrói as representações corretas (que os autores chamam de forma lógica (logical form )):

?- s(LF,[terry,wrote,shrdlu],[]).
LF=wrote(terry,shrdlu) ?; no ?-