Embed Size (px)
Citation preview
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 1/45
Semantica e Gramatica Gerativa
Aula 3
Marcelo [email protected]
Universidade de Sao Paulo
USP, 29 de Agosto de 2012
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 2/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 3/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
CoordP = 1 sse Joao fuma & Maria bebe
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 4/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
CoordP = 1 sse Joao fuma & Maria bebeCoordP = 1 sse S1 = 1 & S2 = 1
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 5/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
CoordP = 1 sse Joao fuma & Maria bebeCoordP = 1 sse S1 = 1 & S2 = 1e =
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 6/45
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 7/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
e = λp t . λq t . q = 1 & p = 1
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 8/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
e = λp t . λq t . q = 1 & p = 1Coord = e
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 9/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
e = λp t . λq t . q = 1 & p = 1Coord = eCoord = λp t . λq t . q = 1 & p = 1
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 10/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
Coord = Coord(S2)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 11/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
Coord = Coord(S2)Coord = (λp t . λq t . q = 1 & p = 1)(S2)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 12/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
Coord = Coord(S2)Coord = (λp t . λq t . q = 1 & p = 1)(S2)Coord = λq t . q = 1 & S 2 = 1
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 13/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
CoordP = Coord(S1)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 14/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
CoordP = Coord(S1)CoordP = (λq t . q = 1 & S 2 = 1)(S1)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 15/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
CoordP = Coord(S1)CoordP = (λq t . q = 1 & S 2 = 1)(S1)CoordP = 1 sse S1 = 1 & S2 = 1
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 16/45
A Conjuncao e
CoordP
S1
Joao fuma
Coord
Coord
e
S2
Maria bebe
CoordP = 1 sse Joao fuma e Maria bebe
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 17/45
Precisamos de mais e s
Joao bebe e fuma. Coord. de Vs intransitivosJoao abracou e beijou Maria. Coord. de Vs transitivosJoao mostrou e deu o livro pra Maria. Coord. de Vs bitrans.
Joao abracou Maria e beijou Paula. Coord. de VPsJoao e medico e psicologo. Coord. de nomes comunsJoao esta alegre e orgulhoso da Maria. Coord. de APsJoao esteve em Paris e em Londres. Coord. de PPs.Joao e Maria bebem. Coord. de nomes proprios
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 18/45
Reducao Sintatica?
Joao bebe e fuma.≡ Joao bebe e Joao fuma.
Joao abracou e beijou Maria≡ Joao abracou Maria e Joao beijou Maria.
. . .
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 19/45
Porem . . .
Alguem bebeu e fumou= Alguem bebeu e alguem fumou.
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 20/45
Criando outros es
S
NP
Joao
CoordP
VP1
fuma
Coord
Coord
e
VP2
bebe
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 21/45
Criando outros es
S
NP
Joao
CoordP
VP1
fuma
Coord
Coord
e
VP2
bebe
e = λf e ,t .λg e ,t .λx e . g (x ) = 1 & f (x ) = 1
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 22/45
Criando outros es
S
NP
Joao
CoordP
VP1
fuma
Coord
Coord
e
VP2
bebe
e = λf e ,t .λg e ,t .λx e . g (x ) = 1 & f (x ) = 1CoordP = e(VP2)(VP1)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 23/45
Criando outros es
S
NP
Joao
CoordP
VP1
fuma
Coord
Coord
e
VP2
bebe
e = λf e ,t .λg e ,t .λx e . g (x ) = 1 & f (x ) = 1CoordP = e(VP2)(VP1)CoordP = λx e . VP 1(x ) = 1 & VP 2(x ) = 1
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 24/45
Criando outros es
S
NP
Joao
CoordP
VP1
fuma
Coord
Coord
e
VP2
bebe
e = λf e ,t .λg e ,t .λx e . g (x ) = 1 & f (x ) = 1CoordP = e(VP2)(VP1)CoordP = λx e . VP 1(x ) = 1 & VP 2(x ) = 1CoordP = λx e . x fuma & x bebe
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 25/45
Criando outros es
S
NP
Pedro
VP
CoordP
V1
beijou
Coord
Coord
e
V2
abracou
NP
Maria
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 26/45
Criando outros es
CoordP
V1
beijou
Coord
Coord
e
V2
abracou
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 27/45
Criando outros es
CoordP
V1
beijou
Coord
Coord
e
V2
abracou
e = λf e ,e ,t .λg e ,e ,t .λx e . λy e . g (x )(y ) = 1 & f (x )(y ) = 1
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 28/45
Criando outros es
CoordP
V1
beijou
Coord
Coord
e
V2
abracou
e = λf e ,e ,t .λg e ,e ,t .λx e . λy e . g (x )(y ) = 1 & f (x )(y ) = 1
CoordP = e
(V2)(V1)
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 29/45
Criando outros es
CoordP
V1
beijou
Coord
Coord
e
V2
abracou
e = λf e ,e ,t .λg e ,e ,t .λx e . λy e . g (x )(y ) = 1 & f (x )(y ) = 1
CoordP = e
(V2)(V1)CoordP = λx . λy . V 1(x )(y ) = 1 & V 2(x )(y ) = 1
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 30/45
Criando outros es
CoordP
V1
beijou
Coord
Coord
e
V2
abracou
e = λf e ,e ,t .λg e ,e ,t .λx e . λy e . g (x )(y ) = 1 & f (x )(y ) = 1
CoordP = e
(V2)(V1)CoordP = λx . λy . V 1(x )(y ) = 1 & V 2(x )(y ) = 1CoordP = λx . λy . y beijou x & y abracou x
Marcelo Ferreira Universidade de Sao PauloSemantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 31/45
Ambiguidade?
e = λp t . λq t . q = 1 & p = 1
e = λf e ,t .λg
e ,t .λx e . g (x ) = 1 & f (x ) = 1
e = λf e ,e ,t .λg e ,e ,t .λx e . λy e . g (x )(y ) = 1 & f (x )(y ) = 1
. . .
Marcelo Ferreira Universidade de Sao PauloSemantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 32/45
Ou Polissemia?
Note que possıvel definir e em termos de e :
e = λf e ,
et
.λg e ,
et
.λx e . e (f (x ))(g (x ))
E e possıvel definir e em termos de e :e = λf e ,t .λg e ,t .λx e . e (f (x ))(g (x ))
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 33/45
Generalizando: Polimorfismo
Entrada Lexical para a Conjuncao e:
Sejam a, b e c tipos semanticos, sendo a um tipo booleano. Entao,
e a,a,a =
λp t . λq t . p = 1 & q = 1 se a = t
λf b ,c .λg b ,c .λx b . e c ,c ,c (f (x ))(g (x )) se a = b , c
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 34/45
Negacao
S
NP
Joao
VP2
neg
nao
VP1
fuma
nao = λf e ,t . λx e . f (x ) = 0
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 35/45
Precisamos de mais?
Joao nao beijou Maria.
Joao nao apresentou Maria pra Pedro.
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 36/45
Precisamos de mais?
Joao nao beijou Maria.
Joao nao apresentou Maria pra Pedro.
Nao, se a negacao se aplicar aos sintagmas verbais, que sao de tipoe , t
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 37/45
Precisamos de mais?
Joao nao beijou e nao abracou Maria.
Joao nao mostrou e nao apresentou Maria pra Pedro.
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 38/45
Precisamos de mais?
Joao nao beijou e nao abracou Maria.
Joao nao mostrou e nao apresentou Maria pra Pedro.
Sim, se a negacao se aplicar diretamente aos verbos, que nao saode tipo e , t
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 39/45
Precisamos de mais?
Nao chegaram as cartas que voce estava esperando.
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 40/45
Precisamos de mais?
Nao chegaram as cartas que voce estava esperando.
Sim, se a negacao se aplicar ao VP com o verbo ja saturado, sendoportanto de tipo t . Nesse caso, a negacao devera ser de tipo t , t
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 41/45
Negacao de tipo t , t
[ Nao [ chegaram as cartas que voce estava esperando ]]
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 42/45
Negacao de tipo t , t
[ Nao [ chegaram as cartas que voce estava esperando ]]
chegaram as cartas . . . = 1 sse chegaram as cartas . . .
nao =
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 43/45
Negacao de tipo t , t
[ Nao [ chegaram as cartas que voce estava esperando ]]
chegaram as cartas . . . = 1 sse chegaram as cartas . . .
nao = λp t . p = 0
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 44/45
Ambiguidade?
nao = λp t . p = 0
nao = λf e ,t . λx e . f (x ) = 0
nao = λf e ,e ,t .λx e . λy e . f (x )(y ) = 0
. . .
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
7/23/2019 aula3-2012
http://slidepdf.com/reader/full/aula3-2012 45/45
Ou Polimorfismo?
Entrada Lexical para a negacao nao:
Sejam a, b e c tipos semanticos, sendo a um tipo booleano. Entao,
nao a,a =
λp t . p = 0 se a = t
λf b ,c .λx b . nao c ,c (f (x )) se a = b , c
Marcelo Ferreira Universidade de Sao Paulo
Semantica Formal
