De presentatie wordt gedownload. Even geduld aub

De presentatie wordt gedownload. Even geduld aub

Taal en logica Over het gebruik van eerste orde propositie/predikatenlogica voor de analyse van natuurlijke taal.

Verwante presentaties


Presentatie over: "Taal en logica Over het gebruik van eerste orde propositie/predikatenlogica voor de analyse van natuurlijke taal."— Transcript van de presentatie:

1 Taal en logica Over het gebruik van eerste orde propositie/predikatenlogica voor de analyse van natuurlijke taal

2 Logische Ingrediënten Individuele constanten: a, b, c,.. Individuele variabelen: x,y,z,.. Predikaatconstanten: P(s), R(x,y),.. Connectieven: , , , ,… Kwantoren: , . Let wel: eerste orde logica

3 Wat kun je hiermee? Vertalen  Interpretatie Want: interpretatie van 1e orde logica ligt vast (m.b.t. model, variabele toekenning). B.v. eigennamen Jan kust Marie Kussen(j,m)

4 Kwantoren Iedere student leest een boek  x(St(x)  y(Boek(y)  Lezen(x,y))) Niet iedereen is gelukkig  x(Gelukkig(x)) De koningin van Nederland is gelukkig  x (KvN(x)  G(x)   y (KvN(y)  y=x))

5 Anafora Anafoor: uitdrukking die voor zijn interpretatie afhankelijk is van een andere uitdrukking (antecedent). Reflexieven: zichzelf Pronomina: hij/zij

6 Coreferentie en Binding Jan i houdt van zichzelf i. Hv(j,j) Coindicering = coreferentie Iedereen i houdt van zichzelf i.  x Hv(x,x) Niemand i houdt van zichzelf i.  xHv(x,x) Coindicering = binding

7 Pronomina Jan i denkt dat hij i/j gelukkig is. Coindicering = coreferentie Iedereen i denkt dat hij i/j gelukkig is. Coindicering = binding Syntactische beperkingen op anafora.

8 Principe A Principe A: Een reflexief moet worden gebonden aan een antecedent dat voorkomt in de kleinste zin (S) of NP. Jan i denkt dat Els k van zichzelf *i/k houdt. Iedereen i denkt dat Els k van zichzelf *i/k houdt. Els i denkt dat iedereen k van zichzelf *i/k houdt.

9 Principe B Principe B: een (niet-reflexief) pronomen mag niet worden gebonden aan een antecedent dat voorkomt in de kleinste zin (S) of NP. Jan i houdt van hem *i/k. Iedereen i houdt van hem *i/k.

10 Principe C Principe C: eigennamen kunnen niet worden gebonden. Jan i houdt van Jan ?i/k. Jan i denkt dat Jan ?i/k een genie is.

11 C-commanderen Standaard: antecedent c-commandeert anafoor. C-commanderen: links en hoger in de (syntactische) boom (informeel). C-commanderen: een knoop A c- commandeert een andere knoop B in een boom als de eerste knoop die A domineert ook B domineert.

12 Binding en coreferentie Zijn i buurman haat Jan i. Zijn *i/k buurman haat iedereen i. Coreferentie is minder gevoelig voor schending van c-commanderen dan binding. Mogelijk: coreferentie geen syntactische binding in dit soort gevallen.

13 Grenzen.. Wat voor soort natuurlijke taal uitdrukkingen kunnen we *niet* beschrijven met de middelen van de eerste orde propositie/predikatenlogica?

14 Vertaalproblemen Implicaturen (wilt u soep of salade?). Vertaling van natuurlijke taal uitdrukkingen in termen van connectieven uit de 1e orde logica passen niet altijd binnen de waarheidstafels.

15 Problemen met ‘en’ Jeroen en Jenny zijn getrouwd. Jeroen en Jenny houden van elkaar. Jan mengt rode en gele verf. (NP en NP) VP kan niet worden vertaald als p  q, want en is hier niet distributioneel.

16 Problemen met negatie Als niemand luistert naar niemand vallen er doden in plaats van woorden.  x  y Luisteren(x,y) …. Liever dan  x  y Luisteren(x,y).

17 Negative concord Personne n’est venu[Frans] Niemand is gekomen. Je n’ai rien mangé. Ik heb niets gegeten. Personne n’a rien dit. Niemand heeft iets gezegd.

18 1e orde te beperkt Ingrediënten 1e orde logica Individuele constanten: a, b, c,.. Individuele variabelen: x,y,z,.. Pedikaatconstanten: P(s), R(x,y),.. Connectieven: , , , ,… Kwantoren: , .

19 Andere argumenten Andere argumenten dan individuele variabelen. Jan denkt dat hij gelukkig is. Denken(j, hij is gelukkig) [propositie] Jenny houdt van schaatsen. Hv(j, Schaatsen) [predikaat] Dit zijn geen wff’s in 1e orde logika!

20 Modificatie Predikatie: Een rode trui, een Duitse taalkundige.  x (Taalkundige(x)  Duits(x)) Modificatie: Een grote muis/ een snelle motor Niet:  x (Muis(x)  Groot(x)) Een valse munt, vals spelen, imitatie bont, een porseleinen olifant. Niet:  x (Munt(x)  Vals(x))

21 2e orde kwantificatie Jan heeft alle eigenschappen van Sinterklaas.  P (P(s)  P(j)). De meeste studenten zijn tevreden. Niet: variant op  x of  x. Meer dan 80% van de Democraten heeft gestemd op Kerry.

22 Compositionaliteit Principe van Compositionaliteit van betekenis: de betekenis van het geheel is functie van de betekenis van de samenstellende delen, en van de manier waarop ze zijn samengesteld. 2e orde logica: typenlogica. Gegeneraliseerde Kwantorentheorie.

23 GQ theorie N en VP denoteren eigenschappen (verzamelingen individuen). NP denoteert verzameling van eigenschappen (verzameling van verzamelingen). VP  NP Det legt relatie tussen twee verzamelingen A en B gegeven door N en VP: Q(A,B).

24 Eigennamen in GQ Jenny is gelukkig. Gelukkig(j) Gelukkig  {P| P(j)} G j

25 Standaardkwantor I Alle studenten zijn intellingent. Intelligent  Alle studenten Intelligent  {P|  x (St(x)  P(x))} S

26 Standaardkwantor II Geen student is rijk. Rijk  Geen student. Rijk  {P|  x St(x)  P(x)} S

27 2e orde De meeste studenten zijn gelukkig Gelukkig  de meeste studenten S G |S  G| > |S-G|

28 Relaties Alle studenten zijn intelligent Studenten  Intelligent Geen student is rijk Student  Rijk =  De meeste studenten zijn gelukkig |Student  Gelukkig| > |Student – Gelukkig|.

29 Eigenschappen Algemene eigenschappen van kwantoren: beperking op de klasse van relaties tussen verzamelingen die worden uitgedrukt door natuurlijke taal determinatoren. Eigenschappen die subklassen van determinatoren karakteriseren.


Download ppt "Taal en logica Over het gebruik van eerste orde propositie/predikatenlogica voor de analyse van natuurlijke taal."

Verwante presentaties


Ads door Google