Download Nombres Propios y Predicados. Parte II

Lin115: Sem des Spanishen
Maribel Romero
18 Mayo 2010
3. Ejemplos de derivación con un verbo TRANSITIVO.
Nombres Propios y Predicados.
Parte II
(8)
O
1. Lexicón.
SNsu
! Los predicados del lenguaje natural denotan conjuntos:
Begoña
•
a. [[roncar]]w =
b. [[roncar]]w23 =
(2)
Universo en w23: {b, c, f}
(3)
(4)
[[ besa ]]w
[[Carlos]]
w
[[ [ besa (a) Carlos ]SV ]]w
{<x,y>: x ama y en w}
{<f,b>, <b,f>, <c,c>}
!!
SU OD
[[Begoña]]w
conjuntos de triples (en el caso de los verbos ditransitivos o predicados ternarios)
{<x,y,z>: x asigna y a z en w}
{<f,b,b>, <b,f,c>, <c,f,c>}
!! !
Orden convencional: SU OD OI
w
= 1
sii
[[SN]]w " [[SV]]w
SVunario
(6)
w
SV
Vtrbinario
=
=
=
{ x: <x, [[Carlos]]w> " [[ besa ]]w }
{ x: <x, c> " {<x,y>: x besa y en w } }
{ x: x besa c en w }
=
b
w
= 1
sii
[[Begoña]]w " [[ [besa a Carlos]SV]]w
1 sii
b " { x: x besa c en w }
1 sii
b besa c en w
=
w
[[ besa ]]w100
=
{<a,a>,<a,b>, <b,c>, <a,c> }
[[Carlos]]w100
=
c
[[ [ besa (a) Carlos ]SV ]]
w
{ x: <x, [[SN]] > " [[Vtr]] }
[[Begoña]]w100
V'
c
World w100:
U = {Ana, Begoña, Carlos, Fede}
Ana besa a Ana; Ana besa a Begoña; Begoña besa a Carlos; Ana besa a Carlos.
SN
(7)
=
! Computación semántica para el mundo posible w100:
(9)
SN
{<x,y>: x besa y en w }
=
=
2. Reglas semánticas.
O
=
[[[Begoña [besa a Carlos]SV ]O ]]
a. [[asignar]]w =
b. [[asignar]]w23 =
(5)
(a) Carlos
! Computación semántica para un mundo arbitrario w:
conjuntos de pares (en el caso de los verbos transitivos o predicados binarios)
Orden convencional:
SNob
besa
{x: x ronca en w}
{c, f}
a. [[amar]]w =
b. [[amar]]w23 =
•
V
conjuntos de individuos (en el caso de los verbos intransitivos o, más
generalmente, de los predicados unarios)
(1)
•
SV
w
=
w
w
{ <x,z>: <x, [[SN]] , z> " [[Vditr]] }
Vditrternario SN
1
w100
=
=
=
{ x: <x, [[Carlos]]w100> " [[ besa ]]w100 }
{ x: <x, c> " {<a,a>,<a,b>, <b,c>, <a,c>} }
{ b, a }
=
b
[[ [Begoña [besa a Carlos ]SV ]O ]]w100 = 1
sii
[[Begoña]]w100 " [[ [besa a Carlos]SV]]w100
=
1
sii
b " { b, a }
=
1
2
PREGUNTA 1: Considera el mundo w101 abajo descrito. Haz la computación semántica del
árbol sintáctico (8) para el mundo w101, con tanto detalle como en los ejemplos anteriores.
! Ejemplo con un verbo ditransitivo para el mundo posible w100:
(12)
(10)
Mundo w101:
U = {Ana, Berta, Carlos, David, Eva}
Ana besa a Berta; Ana besa a Eva; Ana besa a Carlos; Berta besa a David; Carlos besa
a Eva; Carlos besa a Carlos; David besa a Ana; David besa a Carlos; Eva besa a
Berta.
Mundo w100:
U = {Ana, Begoña, Carlos, Fede}
Fede asignó Begona a Carlos; Begoña asignó Fede a Carlos; Carlos asignó Fede a
Carlos; Ana asignó Fede a Ana.
[[asignó]]w100
[[Fede]]w100
[[ [asignó a Fede]V' ]]
w100
4. Ejemplos de derivación con un verbo DITRANSITIVO.
(11)
O
SNSU
[[Carlos]]w100
SV
=
{<f,b,c>, <b,f,c>, <c,f,c>, <a,f,a>}
=
f
=
=
=
{<x,z>: <x, [[Fede]]w100, z> " [[asignó]]w100 }
{<x,z>: <x, f, z> " {<f,b,c>, <b,f,c>, <c,f,c>, <a,f,a>}}
{<b,c>, <c,c>, <a,a>}
=
c
w100
Begoña
V'
V
SNOI
SNOD
asignó
(a) Carlos
(a) Fede
[[Begoña]]w100
! Ejemplo con un verbo ditransitivo para un mundo arbitrario w:
[[asignó]]w
[[ [ [asignó a Fede]V' a Carlos ]SV ]]
=
{ x: <x, [[Carlos]]w100> " [[ [asignó a Fede]V' ]]w100 }
=
{ x: <x, c> " {<b,c>, <c,c>, <a,a> } }
=
{ b, c }
=
b
[[ [Begoña [asignó a Fede a Carlos ]SV ]O ]]w100 = 1
sii
[[Begoña]]w100 " [[ [asignó a Fede a Carlos]SV]]w100
=
1
sii
b " { b, c }
=
1
=
{<x,y,z>: x asigna y a z en el mundo w}
=
f
PREGUNTA 2: Asume el mundo w102 descrito abajo. Haz la computación semántica del árbol
sintáctico (11) para el mundo w102, tan detalladamente como lo hemos hecho hasta ahora.
[[ [asignó a Fede]V' ]]w
=
=
=
{<x,z>: <x, [[Fede]]w, z> " [[asignó]]w }
{<x,z>: <x, f, z> " {<x,y,z>: x asigna y a z en w} }
{<x,z>: x asigna f a z en w }
(13)
[[Carlos]]w
=
c
[[Fede]]
w
[[ [ [asignó a Fede]V' a Carlos ]SV ]]w
=
{ x: <x, [[Carlos]]w> " [[ [asignó a Fede]V' ]]w }
=
{ x: <x, c> " {<x,z>: x asigna f a z en w } }
=
{ x: x asigna f a c en w }
[[Begoña]]w
=
5. Predicados no verbales.
(14)
b
w
[[ [Begoña [asignó a Fede a Carlos]SV ]O ]] = 1
sii
[[Begoña]]w " [[ [asignó a Fede a Carlos]SV]]w
=
1 sii
b " { x: x asigna f a c en w }
=
1 sii
b asigna f a c en w
3
Mundo w102:
U = {Begoña, Carlos, Fede, Juan, Héctor}
Fede asigna Fede a Begoña; Juan asigna Héctor a Carlos; Carlos asigna Fede a
Carlos; Juan asigna Fede a Carlos; Héctor asigna Fede a Carlos; Héctor asigna Fede a
Juan.
Ejemplos:
Verbos
Adjectivos
Sustantivos
Preposiciones
Predicados unarios (“intransitivos”)
Predicates binarios (“transitivos”)
dormir, roncar, saltar
besar, amar, tocar
rojo, vegetariano, alto
aficionado(-a), interesado(-en)
peluquero, gato, mesa
parte(-de), pariente(-de),
supervisor(-de)
deORIGEN, desde, hacia, en
4
(15)
Misifú es un gato.
O
(20)
SN
(es)
=
no
SN
(un)
gato
PREGUNTA 4: Define las reglas semánticas de la conjunción, disyunción y negación (18)-(20).
O
! Computación semántica para el mundo w300:
SV
Susana
(está)
(21)
SAdj
interesada-en
SN
Martín
Maribel es deORIGEN Barcelona.
O
SN
SV
Maribel
(es)
SPrep
deORIGEN
SN
Barcelona
PREGUNTA 3: Haz la computación semántica de los árboles sintácticos (15)-(17) para un
mundo arbitrario, tan detalladamente como en los ejemplos anteriores.
6. Las conectivas. Ambigüedades sintácticas.
(22)
(19)
y
Pred%
[[corre]]w300
=
{a, b, c, d, e}
[[nada]]w300
=
{d, e, f, g, h}
[[corre y nada]]w300
[[Héctor corre y nada]]
=
Pred#
o
Pred%
... [[Pred# ]]w ... [[Pred% ]]w ...
5
SV
nada
=
w300
=
! Ambigüedades sintácticas:
(23)
Reglas sintácticas:
O
$
SN
SV
SN
$
Npr
SV
$
Vintr
SV
$
Vtrans (a) SN
Vintr $
Vintr Conj Vintr
Vtrans $
Vtrans Conj Vtrans
Npr $
Héctor, Carlos, Beatriz
Vintr $
corre | nada | vuela
Vtrans $
admira | envidia
Conj $
y|o
(24)
Juan corre y nada o vuela.
... [[Pred# ]]w ... [[Pred% ]]w ...
w
y/o
PREGUNTA 5: Completa la computación semántica de (21a) y (21b).
Para cualesquiera predicados Pred# y Pred% de la misma n-aridad:
Pred
SV
corre
Mundo posible w300:
Universo U de individuos de w300: {a, b, c, d, e, f, g, h(éctor), i, j(uan)}
a, b, c, d, e corren; d, e, f, g, h nadan; g, h, i , j vuelan.
h
w
=
Pred#
SN
Héctor SV
=
Para cualesquiera predicados Pred# y Pred% de la misma n-aridad (i.e., para dos
predicados unarios cualesquiera, para dos predicados binarios cualesquiera, etc.):
Pred
a. Héctor corre y nada.
b. Héctor corre o nada.
[[Héctor]]w300
! Conjunción y, disyunción o y negación no:
(18)
Pred#
... [[Pred# ]]w ...
Susana está interesada en Martín.
O
SN
(17)
w
Pred
SV
Misifú
(16)
Para cualquier predicado Pred#:
PREGUNTA 6: La oración (24) es ambigua, pues las reglas sintácticas en (23) producen dos
árboles sintácticos para tal oración. Haz la derivación semántica de cada uno de los árboles
sintácticos para el mundo posible w300 descrito en (22).
6