Így gondozd a nyelvészedet - budapest science meetup

113
Így gondozd a nyelvészedet. Minden ”rendes” tudománynak van egy paradigmája

Upload: zoltan-varju

Post on 26-Jun-2015

679 views

Category:

Technology


1 download

TRANSCRIPT

Page 1: Így gondozd a nyelvészedet - Budapest science meetup

Így gondozd a nyelvészedet.

Minden ”rendes” tudománynak van egy paradigmája

Page 2: Így gondozd a nyelvészedet - Budapest science meetup

Így gondozd a nyelvészedet.

Minden ”rendes” tudománynak van egy paradigmája

A nyelvészek nem rendesek, vagy túl rendesek mert nekik több is akad

Page 3: Így gondozd a nyelvészedet - Budapest science meetup

Így gondozd a nyelvészedet.

Minden ”rendes” tudománynak van egy paradigmája

A nyelvészek nem rendesek, vagy túl rendesek mert nekik több is akad

És ez bizony jó dolog! De miért?

Page 4: Így gondozd a nyelvészedet - Budapest science meetup

Így gondozd a nyelvészedet.

Minden ”rendes” tudománynak van egy paradigmája

A nyelvészek nem rendesek, vagy túl rendesek mert nekik több is akad

És ez bizony jó dolog! De miért? Vannak kemény problémák amikre nincs

megoldás

Page 5: Így gondozd a nyelvészedet - Budapest science meetup

Mi is az a paradigma?

Normál tudományNormál tudomány

Page 6: Így gondozd a nyelvészedet - Budapest science meetup

Mi is az a paradigma?

Normál tudomány Rejtvényfejtés

Page 7: Így gondozd a nyelvészedet - Budapest science meetup

Mi is az a paradigma?

Normál tudomány Rejtvényfejtés Indoktrináció

Page 8: Így gondozd a nyelvészedet - Budapest science meetup

Mi is az a paradigma?

Normál tudomány Rejtvényfejtés Indoktrináció Anomáliák

Page 9: Így gondozd a nyelvészedet - Budapest science meetup

Mi is az a paradigma?

Normál tudomány Rejtvényfejtés Indoktrináció Anomáliák Forradalom

Page 10: Így gondozd a nyelvészedet - Budapest science meetup

Tudományos forradalom

Page 11: Így gondozd a nyelvészedet - Budapest science meetup

Tudományos forradalom

Az anomáliák szétfeszítik a bevett tudomány kereteit

Page 12: Így gondozd a nyelvészedet - Budapest science meetup

Tudományos forradalom

Az anomáliák szétfeszítik a bevett tudomány kereteit

A fiatalok megdöntik a bevett nézetet

Page 13: Így gondozd a nyelvészedet - Budapest science meetup

Tudományos forradalom

Az anomáliák szétfeszítik a bevett tudomány kereteit

A fiatalok megdöntik a bevett nézetet A természttudományokkal ellentétben a

matematika akkumulatív

Page 14: Így gondozd a nyelvészedet - Budapest science meetup

Tudományos forradalom

Az anomáliák szétfeszítik a bevett tudomány kereteit

A fiatalok megdöntik a bevett nézetet A természttudományokkal ellentétben a

matematika akkumulatív Az inkommenzurábilitás problémja

Page 15: Így gondozd a nyelvészedet - Budapest science meetup

Mit kezdjünk több paradigmával?

Page 16: Így gondozd a nyelvészedet - Budapest science meetup

Mit kezdjünk több paradigmával?

Attól függ hogy látjuk a helyzetet

Page 17: Így gondozd a nyelvészedet - Budapest science meetup

Mit kezdjünk több paradigmával?

Attól függ hogy látjuk a helyzetet

Page 18: Így gondozd a nyelvészedet - Budapest science meetup

Mit kezdjünk több paradigmával?

Félig teli vagy félig üres a pohár?

Page 19: Így gondozd a nyelvészedet - Budapest science meetup

Mit kezdjünk több paradigmával?

Félig teli vagy félig üres a pohár? Összemérhetőek-e valahogy mégis az

egymásnak ellentmondó elméletek?

Page 20: Így gondozd a nyelvészedet - Budapest science meetup

Mit kezdjünk több paradigmával?

Félig tele vagy félig üres a pohár? Összemérhetőek-e valahogy mégis az

egymásnak ellentmondó elméletek? Physics envy

Page 21: Így gondozd a nyelvészedet - Budapest science meetup

Mit kezdjünk több paradigmával?

Félig tele vagy félig üres a pohár? Összemérhetőek-e valahogy mégis az

egymásnak ellentmondó elméletek? Physics envy == szigorú, ”egységes

paradigmával ellátott” tudománnyá váljunk?

Page 22: Így gondozd a nyelvészedet - Budapest science meetup

Mit kezdjünk több paradigmával?

Félig tele vagy félig üres a pohár? Összemérhetőek-e valahogy mégis az

egymásnak ellentmondó elméletek? Physics envy == szigorú, ”egységes

paradigmával ellátott” tudománnyá váljunk? Maradjunk ”pszichológusok”? Konzultánsok?

Page 23: Így gondozd a nyelvészedet - Budapest science meetup

Mit kezdjünk több paradigmával?

Félig tele vagy félig üres a pohár? Összemérhetőek-e valahogy mégis az

egymásnak ellentmondó elméletek? Physics envy == szigorú, ”egységes

paradigmával ellátott” tudománnyá váljunk? Maradjunk ”pszichológusok”? Konzultánsok? Vagy inkább ”tudományos mediátorok”?

Page 24: Így gondozd a nyelvészedet - Budapest science meetup

A tudományos mediátorok két példája

Page 25: Így gondozd a nyelvészedet - Budapest science meetup

A tudományos mediátorok két példája

Szemantika – a jelentés maga megfejthetetlen, de több szem többet lát alapon kutatható

Page 26: Így gondozd a nyelvészedet - Budapest science meetup

A tudományos mediátorok két példája

Szemantika – a jelentés maga megfejthetetlen, de több szem többet lát alapon kutatható

Platón problémája

Page 27: Így gondozd a nyelvészedet - Budapest science meetup

A tudományos mediátorok két példája

Szemantika – a jelentés maga megfejthetetlen, de több szem többet lát alapon kutatható

Platón problémája Alternáló bit protokol

Page 28: Így gondozd a nyelvészedet - Budapest science meetup

Szemantika – könnyen, gyorsan

Mi az a jelentés?

Page 29: Így gondozd a nyelvészedet - Budapest science meetup

Szemantika – könnyen, gyorsan

Mi az a jelentés? Minek van jelentése?

Page 30: Így gondozd a nyelvészedet - Budapest science meetup

Szemantika – könnyen, gyorsan

Mi az a jelentés? Minek van jelentése? Szavaknak, pl: Szókratész,ember, halandó,

minden

Page 31: Így gondozd a nyelvészedet - Budapest science meetup

Szemantika – könnyen, gyorsan

Mi az a jelentés? Minek van jelentése? Szavaknak, pl: Szókratész,ember, halandó,

minden Mondatoknak: Szókratész ember. Minden

ember halandó.

Page 32: Így gondozd a nyelvészedet - Budapest science meetup

Logika

A mondatok kifejezik a jelentést

Page 33: Így gondozd a nyelvészedet - Budapest science meetup

Logika

A mondatok kifejezik a jelentést Kompozícionalitás: egy összetett kifejezés

jelentése tagjainak jelentésétől + az összetétel módjától függ

Page 34: Így gondozd a nyelvészedet - Budapest science meetup

Logika

A mondatok kifejezik a jelentést Kompozícionalitás: egy összetett kifejezés

jelentése tagjainak jelentésétől + az összetétel módjától függ

Jelentés == igazságérték

Page 35: Így gondozd a nyelvészedet - Budapest science meetup

Mi az Igazság?

Alfred Tarski

Page 36: Így gondozd a nyelvészedet - Budapest science meetup

Mi az Igazság?

Alfred Tarski 'The snow is white' angol mondat igaz, ha a hó

fehér

Page 37: Így gondozd a nyelvészedet - Budapest science meetup

Mi az Igazság?

Alfred Tarski 'The snow is white' angol mondat igaz, ha a hó

fehér De nem kell elkülönítenünk a meta- és a

tárgynyelvet

Page 38: Így gondozd a nyelvészedet - Budapest science meetup

Mi az Igazság?

Alfred Tarski 'The snow is white' angol mondat igaz, ha a hó

fehér De nem kell elkülönítenünk a meta- és a

tárgynyelvet 'A hó fehér' mondat igaz ha a hó fehér

Page 39: Így gondozd a nyelvészedet - Budapest science meetup

Az empirizmus két dogmája

Page 40: Így gondozd a nyelvészedet - Budapest science meetup

Az empirizmus két dogmája

Analitikus vs szintetikus állítások közötti Analitikus vs szintetikus állítások közötti különbségtételkülönbségtétel

Page 41: Így gondozd a nyelvészedet - Budapest science meetup

Az empirizmus két dogmája

Analitikus vs szintetikus állítások közötti Analitikus vs szintetikus állítások közötti különbségtételkülönbségtétel

'Minden agglegény nőtlen férfi''Minden agglegény nőtlen férfi'

Page 42: Így gondozd a nyelvészedet - Budapest science meetup

Az empirizmus két dogmája

Analitikus vs szintetikus állítások közötti Analitikus vs szintetikus állítások közötti különbségtételkülönbségtétel

'Minden agglegény nőtlen férfi''Minden agglegény nőtlen férfi' Agglegény egy 18 éves fiú?Agglegény egy 18 éves fiú?

Page 43: Így gondozd a nyelvészedet - Budapest science meetup

Az empirizmus két dogmája

Analitikus vs szintetikus állítások közötti Analitikus vs szintetikus állítások közötti különbségtételkülönbségtétel

'Minden agglegény nőtlen férfi''Minden agglegény nőtlen férfi' Agglegény egy 18 éves fiú?Agglegény egy 18 éves fiú? Agglegény egy 35 éves férfi aki öt éve együtt él Agglegény egy 35 éves férfi aki öt éve együtt él

a párjával?a párjával?

Page 44: Így gondozd a nyelvészedet - Budapest science meetup

Az empirizmus két dogmája

Analitikus vs szintetikus állítások közötti Analitikus vs szintetikus állítások közötti különbségtételkülönbségtétel

'Minden agglegény nőtlen férfi''Minden agglegény nőtlen férfi' Agglegény egy 18 éves fiú?Agglegény egy 18 éves fiú? Agglegény egy 35 éves férfi aki öt éve együtt él Agglegény egy 35 éves férfi aki öt éve együtt él

a párjával?a párjával? A szinonim kifejezések felcserélhetőek salva A szinonim kifejezések felcserélhetőek salva

veritate?veritate?

Page 45: Így gondozd a nyelvészedet - Budapest science meetup

Naturalizmus

Holizmus: a jelentés az egész nyelven belül konstruálódik

Page 46: Így gondozd a nyelvészedet - Budapest science meetup

Naturalizmus

Holizmus: a jelentés az egész nyelven belül konstruálódik

Gavagai: ”egy nyúl”, ”ott egy nyúl”, ”ott fut egy nyúl”, ”vacsora”, ”izé”

Page 47: Így gondozd a nyelvészedet - Budapest science meetup

Naturalizmus

Holizmus: a jelentés az egész nyelven belül konstruálódik

Gavagai: ”egy nyúl”, ”ott egy nyúl”, ”ott fut egy nyúl”, ”vacsora”, ”izé”

Minden kijelentés és minden elmélet szemantikailag aluldeterminált

Page 48: Így gondozd a nyelvészedet - Budapest science meetup

Tarski szemantika és természetes nyelv

Richard Montague

Page 49: Így gondozd a nyelvészedet - Budapest science meetup

Tarski szemantika és természetes nyelv

Richard Montague Donald Davidson

Page 50: Így gondozd a nyelvészedet - Budapest science meetup

Tarski szemantika és természetes nyelv

Richard Montague Donald Davidson Noam Chomsky

Page 51: Így gondozd a nyelvészedet - Budapest science meetup

Davidson

Tarski igazság definíciója alkalmazható a természetes nyelvekre

Page 52: Így gondozd a nyelvészedet - Budapest science meetup

Chomsky

Univerzális Grammatika (UG)

Page 53: Így gondozd a nyelvészedet - Budapest science meetup

Chomsky

Univerzális Grammatika (UG) UG a jelentés leképzeődik a grammatikában

Page 54: Így gondozd a nyelvészedet - Budapest science meetup

Chomsky

Univerzális Grammatika (UG) UG a jelentés leképzeődik a grammatikában Fodor mentális nyelv ?= jelentés

Page 55: Így gondozd a nyelvészedet - Budapest science meetup

Montague grammatika

Nincs különbség természetes és mesterséges nyelvek között

Page 56: Így gondozd a nyelvészedet - Budapest science meetup

Montague grammatika

Nincs különbség természetes és mesterséges nyelvek között

Az UG-vel párhuzamosan ”generálódik” a jelentés

Page 57: Így gondozd a nyelvészedet - Budapest science meetup

Disztribúciós szemantika

Egy szó jelentését disztribúciója határozza meg

Page 58: Így gondozd a nyelvészedet - Budapest science meetup

Disztribúciós szemantika

Egy szó jelentését disztribúciója határozza meg A kompozícionalitásnak nem mondt ellent

Page 59: Így gondozd a nyelvészedet - Budapest science meetup

Disztribúciós szemantika

Egy szó jelentését disztribúciója határozza meg A kompozícionalitásnak nem mondt ellent Azonban más utat nyit meg

Page 60: Így gondozd a nyelvészedet - Budapest science meetup

Adat vs Információ

Adat – valami ami van

Page 61: Így gondozd a nyelvészedet - Budapest science meetup

Adat vs Információ

Adat – valami ami van Adat – valami amit mérünk és lejegyzünk

Page 62: Így gondozd a nyelvészedet - Budapest science meetup

Adat vs Információ

Adat – valami ami van Adat – valami amit mérünk és lejegyzünk Nyelvi adat - korpusz

Page 63: Így gondozd a nyelvészedet - Budapest science meetup

Adat vs Információ

Információ – valami amit az adatokból nyerünk ki

Page 64: Így gondozd a nyelvészedet - Budapest science meetup

Adat vs Információ

Információ – valami amit az adatokból nyerünk ki

Milyen információt nyújthat nekünk egy korpusz?

Page 65: Így gondozd a nyelvészedet - Budapest science meetup

Adat vs Információ

Információ – valami amit az adatokból nyerünk ki

Milyen információt nyújthat nekünk egy korpusz?

Információ ?= Jelentés

Page 66: Így gondozd a nyelvészedet - Budapest science meetup

Látens szemantika

Page 67: Így gondozd a nyelvészedet - Budapest science meetup

Látens szemantika

A disztribúciós elméletet alapul véve egy szöveg ”jelentéstartalmához” hozzájárulnak az egyes szavak

Page 68: Így gondozd a nyelvészedet - Budapest science meetup

Látens szemantika

A disztribúciós elméletet alapul véve egy szöveg ”jelentéstartalmához” hozzájárulnak az egyes szavak

Minden új kijelentés, mondat, szöveg egyben egy új disztribúció is

Page 69: Így gondozd a nyelvészedet - Budapest science meetup

Látens szemantika

A disztribúciós elméletet alapul véve egy szöveg ”jelentéstartalmához” hozzájárulnak az egyes szavak

Minden új kijelentés, mondat, szöveg egyben egy új disztribúció is

Látens szemantikán azt az információt értjük amit ez a disztribúció hordoz

Page 70: Így gondozd a nyelvészedet - Budapest science meetup

Látens szemantika

A disztribúciós elméletet alapul véve egy szöveg ”jelentéstartalmához” hozzájárulnak az egyes szavak

Minden új kijelentés, mondat, szöveg egyben egy új disztribúció is

Látens szemantikán azt az információt értjük amit ez a disztribúció hordoz

Itt a disztribúció viszont nem az egyes szavak disztribúciója, hanem az összesség

Page 71: Így gondozd a nyelvészedet - Budapest science meetup

Látens szemantika

Hogyan oszlik el az információ?

Page 72: Így gondozd a nyelvészedet - Budapest science meetup

Látens szemantika

Hogyan oszlik el az információ? Bag-of-words modell

Page 73: Így gondozd a nyelvészedet - Budapest science meetup

Látens szemantika

Hogyan oszlik el az információ? Bag-of-words modell == nincs tekintettel a

nyelvtani struktúrára, szimplán az előforduló szavakat és gyakoriságukat veszi figyelembe

Page 74: Így gondozd a nyelvészedet - Budapest science meetup

Látens szemantika

Hogyan oszlik el az információ? Bag-of-words modell == nincs tekintettel a

nyelvtani struktúrára, szimplán az előforduló szavakat és gyakoriságukat veszi figyelembe

Mennyiben járulnak hozzá az egyes szavak az egész jelentéséhez

Page 75: Így gondozd a nyelvészedet - Budapest science meetup

Látens szemantika

Hogyan oszlik el az információ? Bag-of-words modell == nincs tekintettel a

nyelvtani struktúrára, szimplán az előforduló szavakat és gyakoriságukat veszi figyelembe

Mennyiben járulnak hozzá az egyes szavak az egész jelentéséhez

Vagy hogyan oszlik meg a jelentés az egyes szavak között

Page 76: Így gondozd a nyelvészedet - Budapest science meetup

Látens szemantika

Hogyan oszlik el az információ? Bag-of-words modell == nincs tekintettel a

nyelvtani struktúrára, szimplán az előforduló szavakat és gyakoriságukat veszi figyelembe

Mennyiben járulnak hozzá az egyes szavak az egész jelentéséhez

Vagy hogyan oszlik meg a jelentés az egyes szavak között

Naturalizmus/holizmus

Page 77: Így gondozd a nyelvészedet - Budapest science meetup

Látens Dirichlet Allokáció

1) Szeretem a csoikt és a citromos sört. 2) Délután ettem egy csokit és ittam egy sört. 3) Béla egy valóság showt néz éppen. 4) A valóság show szereplői túl sok sört ittak.

Page 78: Így gondozd a nyelvészedet - Budapest science meetup

Látens Dirichlet Allokáció

1) Szeretem a csoikt és a citromos sört. 2) Délután ettem egy csokit és ittam egy sört. 3) Béla egy valóság showt néz éppen. 4) A valóság show szereplői túl sok sört ittak. 1) és 2) 100%-ban A témáról szól 3) 100%-ban B témáról szól 4) 50 %-ban A, 50%-ban B témáról szól

Page 79: Így gondozd a nyelvészedet - Budapest science meetup

Látens Dirichlet Allokáció

Új fiú a városban szeretné felfedezni a menő helyeket

Page 80: Így gondozd a nyelvészedet - Budapest science meetup

Látens Dirichlet Allokáció

Új fiú a városban szeretné felfedezni a menő helyeket

Megfigyeli adott helyeken milyen arcok fordulnak elő – megtippeli hogy miért

Page 81: Így gondozd a nyelvészedet - Budapest science meetup

Látens Dirichlet Allokáció

Új fiú a városban szeretné felfedezni a menő helyeket

Megfigyeli adott helyeken milyen arcok fordulnak elő – megtippeli hogy miért

Idővel egyre jobban tud tippelni, pl: X azért van Y könyvesboltban mert ott árulnak képregényeket

Page 82: Így gondozd a nyelvészedet - Budapest science meetup

Látens Dirichlet Allokáció

Új fiú a városban szeretné felfedezni a menő helyeket

Megfigyeli adott helyeken milyen arcok fordulnak elő – megtippeli hogy miért

Idővel egyre jobban tud tippelni, pl: X azért van Y könyvesboltban mert ott árulnak képregényeket

Y helyen nagyobb valószínűséggel lát szemüveges, furcsa fiúka it

Page 83: Így gondozd a nyelvészedet - Budapest science meetup

Látens Dirichlet Allokáció

Legyenek a helyek a dokumentumok, az emberek pedig a szavak

Page 84: Így gondozd a nyelvészedet - Budapest science meetup

Látens Dirichlet Allokáció

Legyenek a helyek a dokumentumok, az emberek pedig a szavak

Ahogy az új fiú, mi is tanulhatunk a tapasztalat tökéletesítheti becsélsünket

Page 85: Így gondozd a nyelvészedet - Budapest science meetup

Látens Dirichlet Allokáció

Legyenek a helyek a dokumentumok, az emberek pedig a szavak

Ahogy az új fiú, mi is tanulhatunk a tapasztalat tökéletesítheti becsélsünket

Felcímkézhetjük a dokumentumokat is, ahogy sztereotípiákat alakítunk ki

Page 86: Így gondozd a nyelvészedet - Budapest science meetup

Látens Dirichlet Allokáció

Legyenek a helyek a dokumentumok, az emberek pedig a szavak

Ahogy az új fiú, mi is tanulhatunk a tapasztalat tökéletesítheti becsélsünket

Felcímkézhetjük a dokumentumokat is, ahogy sztereotípiákat alakítunk ki

De ezzel procedurális módon adjuk meg a látens szemantika fogalmát

Page 87: Így gondozd a nyelvészedet - Budapest science meetup

Látens Dirichlet Allokáció

Blei – Ng – Jordan: Latent Dirichlet Allocation, Journal of Machine Learning Research, 2003

A példákat Edwin Chen Introduction to Latent Dirichlet Allocation posztja szolgáltatta http://blog.echen.me/2011/08/22/introduction-to-latent-dirichlet-allocation/

Page 88: Így gondozd a nyelvészedet - Budapest science meetup

Információ ?= Jelentés

Page 89: Így gondozd a nyelvészedet - Budapest science meetup

Információ ?= Jelentés

Az információ tartalom megoszlása jó dolog, a keresők is használják, de valami hiányzik

Page 90: Így gondozd a nyelvészedet - Budapest science meetup

Információ ?= Jelentés

Az információ tartalom megoszlása jó dolog, a keresők is használják, de valami hiányzik

A procedurális információ allokáció mellett ott van az episztemológia a háttérben

Page 91: Így gondozd a nyelvészedet - Budapest science meetup

Információ ?= Jelentés

Az információ tartalom megoszlása jó dolog, a keresők is használják, de valami hiányzik

A procedurális információ allokáció mellett ott van az episztemológia a háttérben

Dinamikus episztemikus logika == ”reasoning about”

Page 92: Így gondozd a nyelvészedet - Budapest science meetup

Alternáló bit protokoll

Page 93: Így gondozd a nyelvészedet - Budapest science meetup

Alternáló bit protokoll

Nem fogunk a technikai oldaláról beszélni :D

Page 94: Így gondozd a nyelvészedet - Budapest science meetup

Alternáló bit protokoll

Nem fogunk a technikai oldaláról beszélni :D Hogyan jut át az információ a zajos csatornán?

Page 95: Így gondozd a nyelvészedet - Budapest science meetup

Alternáló bit protokoll

Nem fogunk a technikai oldaláról beszélni :D Hogyan jut át az információ a zajos csatornán? Milyen episztemológiai állapotban állhat meg az

új fiú és mondhatja ”most már eleget tudok”?

Page 96: Így gondozd a nyelvészedet - Budapest science meetup

Alternáló bit protokoll

Radiátor híradó

Page 97: Így gondozd a nyelvészedet - Budapest science meetup

Alternáló bit protokoll

Radiátor híradó Tarhonya – de mi van ha mindenki kopácsol

össze vissza – zajos a csatorna

Page 98: Így gondozd a nyelvészedet - Budapest science meetup

Alternáló bit protokoll

Radiátor híradó Tarhonya – de mi van ha mindenki kopácsol

össze vissza – zajos a csatorna Legyen X = [x1, ... xn] egy diszkrét üzenetekből

álló sorozat amit S küld K-nak

Page 99: Így gondozd a nyelvészedet - Budapest science meetup

Alternáló bit protokoll

Radiátor híradó Tarhonya – de mi van ha mindenki kopácsol

össze vissza – zajos a csatorna Legyen X = [x1, ... xn] egy diszkrét üzenetekből

álló sorozat amit S küld K-nak Honnét tudja S hogy K megkapta az üzenetet?

Page 100: Így gondozd a nyelvészedet - Budapest science meetup

Alternáló bit protokoll

Radiátor híradó Tarhonya – de mi van ha mindenki kopácsol

össze vissza – zajos a csatorna Legyen X = [x1, ... xn] egy diszkrét üzenetekből

álló sorozat amit S küld K-nak Honnét tudja S hogy K megkapta az üzenetet? Honnét tudja K hogy vége az üzenetnek?

Page 101: Így gondozd a nyelvészedet - Budapest science meetup

Alternáló bit protokoll

S protokoll S1 i :=0 S2 while true do S3 begin read xi ; S4 send xi until KsKr(xi); S5 send “KsKr(xi)” until Ks Kr Ks Kr(xi) S6 i := i + 1 S7 end

Page 102: Így gondozd a nyelvészedet - Budapest science meetup

Alternáló bit protokoll

R protokoll R2 when Kr(x0) set i :=0 R2 while true do R3 begin write xi ; R4 send “Kr(xi)” until KrKsKr(xi); R5 send “KrKsKr(xi)” until Kr(xi+1) R6 i := i + 1 R7 end

Page 103: Így gondozd a nyelvészedet - Budapest science meetup

Dinamikus episztemikus logika

Miképp változik tudásunk (a jelentés?) az update-ek során

Page 104: Így gondozd a nyelvészedet - Budapest science meetup

Dinamikus episztemikus logika

Miképp változik tudásunk (a jelentés?) az update-ek során

Játékelméleti vizsgálódások során is használják

Page 105: Így gondozd a nyelvészedet - Budapest science meetup

Dinamikus episztemikus logika

Miképp változik tudásunk (a jelentés?) az update-ek során

Játékelméleti vizsgálódások során is használják Aumann: Interactive Dynamic Epistemology I. &

II.

Page 106: Így gondozd a nyelvészedet - Budapest science meetup

Dinamikus episztemikus logika

Miképp változik tudásunk (a jelentés?) az update-ek során

Játékelméleti vizsgálódások során is használják Aumann: Interactive Dynamic Epistemology I. &

II. van Ditmarsch - van der Hoek – Kooi: Dynamic

Epistemic Logic, Springer 2007

Page 107: Így gondozd a nyelvészedet - Budapest science meetup

Miért legyünk oppurtunisták?

Page 108: Így gondozd a nyelvészedet - Budapest science meetup

Miért legyünk oppurtunisták?

Szemantikus web feljövőben van, minden semantic store külön világ

Page 109: Így gondozd a nyelvészedet - Budapest science meetup

Miért legyünk oppurtunisták?

Szemantikus web feljövőben van, minden semantic store külön világ

A külön világok egyesítése egy update

Page 110: Így gondozd a nyelvészedet - Budapest science meetup

Miért legyünk oppurtunisták?

Szemantikus web feljövőben van, minden semantic store külön világ

A külön világok egyesítése egy update A weben a ”tudás” dokumentumokba zárva él

Page 111: Így gondozd a nyelvészedet - Budapest science meetup

Miért legyünk oppurtunisták?

Szemantikus web feljövőben van, minden semantic store külön világ

A külön világok egyesítése egy update A weben a ”tudás” dokumentumokba zárva él Automatikusan kell kiszabadítani ezt ==

statisztikai módszerek

Page 112: Így gondozd a nyelvészedet - Budapest science meetup

Miért legyünk oppurtunisták?

Szemantikus web feljövőben van, minden semantic store külön világ

A külön világok egyesítése egy update A weben a ”tudás” dokumentumokba zárva él Automatikusan kell kiszabadítani ezt ==

statisztikai módszerek Ha elhisszük hogy az egyik módszer jobb mint

a másik, szem elől tévesztjük hogy más-más problémára kínálnak megoldást

Page 113: Így gondozd a nyelvészedet - Budapest science meetup

Köszönöm a figyelmet

Számítógépes nyelvészet blog: http://szamitogepesnyelveszet.blogspot.com/

Twitter: @zoltanvarju Kereső Világ blog: http://kereses.blog.hu/ Weblib Kft.: http://weblib.hu/