Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze PLIN037 Sémantika a počítače Zuzana Nevěřilová xpopelkOf i.muni.cz Centrum zpracování přirozeného jazyka, B203 Fakulta informatiky, Masarykova univerzita 9. března 2018 Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Význam, kontext a logická forma S NP VP NP I /\ /\ PRON V V PRON NP c . - .. i , já jsemvypnula ten počítač Syntaktická analýza J J Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Význam, kontext a logická forma Syntaktická analýza NP VP NP PRON V V PRON NP já jsem vypnu la ten počítač Logická forma VYPNOUT(, ) Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Význam, kontext a logická forma Syntaktická analýza NP ja VP NP PRON V V PRON NP jsem vypnu la ten počítač Logická forma VYPNOUT(, ) Finální reprezentace znalostí vypnout(" Zuzana" , "HP č. 123456") Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Logická forma Syntaktická analýza Sémantická interpretace Logická forma Kontextuální interpretace (komunikační situace) Finální reprezentace znalostí Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Logická forma predikátová logika prvního rádu: • (n-ární) predikát P(x): pro objekt reprezentovaný proměnnou x platí P býťdoma(pepa): Pepa je doma. • operátory: V, A, -i -i býťdoma(pepa): Pepa není doma. • implikace =4> -i pršet() =4> ^zmoknout(x) Nebude-li pršet, nezmoknem. • kvantifikátory: 3, V 3x : býťdoma(x): Někdo je doma. Vx : -i býťdoma(x): Nikdo není doma. Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Prevod věty na logickou formu • sloveso je predikát • vlastnost je predikát • jedinec je proměnná • třída je proměnná • operátory: a, nebo, ale ... • kvantifikátory: všichni, nikdo, někdo, některý ... Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Převod věty na logickou formu Cvičeni: 1. Petr i Linda bydlí v Brně. (bydlet(x,y)) 2. Někteří studenti na seminář nepřišli. (přijít(x,y)) 3. Někdo má rád holky, jiný zase vdolky. (míťrád(x,y)) 4. Někdo přišel, ale někdo ne. 5. Oslovil jsem ji, protože se mi líbila. (oslovit(x,y), líbit(x,y)) Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Převod věty na logickou formu Co je správně? Každý kluk vlastní mobil. 3mV/c : vlastnit(k, m) V/c3m : vlastnit(k, m) Každou hodinu zemře jeden Američan na rakovinu. V/73a : zemnr(a, h) 3aV/7 : zemnr(a, h) Každý kluk chce být astronautem. 3aV/c : chtítbýt(k, a) V/c3a : chtítbýt(k, a) Logická forma Typovaný formalismus Slovesné a jiné valence Převod věty na logickou formu Řešení: 1. Petr i Linda bydlí v Brně. (bydlet(x,y)) bydlet(Petr, Brno) A bydlet(Linda, Brno) 2. Někteří studenti na seminář nepřišli. (přijít(x,y)) 3student : ^přijít (student, seminář) 3. Někdo má rád holky, jiný zase vdolky. (míťrád(x,y)) 3xi :rácf(xi, holka) A 3x2 :rácf(x2, vdolek) 4. Někdo přišel, ale někdo ne. 3xi :přijít(xi,y) A 3x2 : ^přijít(x2ly) 5. Oslovil jsem ji, protože se mi líbila. (oslovit(x,y), líbit(x,y)) //b/t(x, y) =4> oslovit(x, y) Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Převod věty na logickou formu Problém: víceznačnost přirozeného jazyka Každý kluk vlastní mobil. 3mV/c : vlastnit(k, m) V/c3m : vlastnit(k, m) Každou hodinu zemře jeden Američan na rakovinu. \/hž\a : zemrít(a, h) 3aV/7 : zemrít(a, h) Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Převod věty na logickou formu Problém: jeden objekt nebo třída? Jiří Drahoš se chtěl stát prezidentem ČR. ■v Miloš Zeman se stal prezidentem CR. Jiří Drahoš se chtěl stát Milošem Zemanem. Logická forma Typovaný formalismus Převod věty na logickou formu Slovesné a jiné valence Problém: spojky a logické spojky • ,,a" není vždy A (Honza kopl a balón přistál v brance.) • „ale" je A (Někdo přišel na seminář, ale ne všichni.) • ,,nebo" není vždy V: Bydlím buď v Praze, nebo v Brně. Logická forma Typovaný formalismus Slovesné a jiné valence Převod věty na logickou formu Problém: nedostatek kvantifikátorů všichni, nikdo, každý: V někdo, aspoň jeden, některý: 3 pár, málo, hodně, skoro všichni, většina, ... neuvedené kvantifikátory: lidé = všichni lidé? Někdo má rád všechny holky, jiný má rád všechny vdolky. Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Převod věty na logickou formu negace a kvantifikátory Všichni kluci brečí. V/c :brečet(k) Někteří kluci brečí. 3/c :brečet(k) Žádní kluci nebrečí. -G/c :brečet(k) Ne všichni kluci brečí. Někteří kluci nebrečí. -Nk :brečet(k) Logická forma Typovaný formalismus Převod věty na logickou formu Slovesné a jiné valence Parafráze Problém: ne všechny části věty mají ekvivalent v PL1 nejen, v podstatě, mimochodem ... prací věty, rozkazovací věty Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Převod věty na logickou formu Problém: logická forma neodráží realitu K obědu bude jízdní kolo s kusem betonu Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Převod věty na logickou formu Problém: ne všechny věty jsou prvního řádu Lhát se nemá. Slovo myš je jednoslabičné. Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Logické formule a spojky PI = Sam pracuje. P2 = Sam vydělává peníze. Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Logické formule a spojky PI = Sam pracuje. P2 = Sam vydělává peníze. • Sam pracuje a vydělává peníze. • Sam pracuje, aby vydělal peníze. • Sam pracuje, a tím vydělává peníze. Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Logické formule a řády PI = Sam pracuje. Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Logické formule a řády Pl = Sam pracuje. • Max řekl, že Sam pracuje. • Ida slyšela, jak Max řekl, že Sam pracuje. • Majka chtěla, aby Ida slyšela, jak Max řekl, že Sam pracuje. Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Logické formule a jejich relativizace PI = Sam pozoruje kočku. Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Logické formule a jejich relativizace Pl = Sam pozoruje kočku. • Sam pozoruje kočku, která honí myš. • Sam pozoruje kočku, která honí myš, která snědla chleba. • Sam pozoruje kočku, která honí myš, která snědla chleba, který zbyl od včerejška. Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Logická forma: typovaný formalismus milovat(x (jednotlivec), y (jednotlivec)) bydlet(x (jednotlivec), y (místo)) bydlet(Praha, teta) Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Logická forma: sloveso jako predikát na sloveso je možné pohlížet jako na n-ární predikát (milovat(x,y), bydlet(x,y), smáťse(x), ...) také na vlastnosti je možné pohlížet jako na predikáty (býťmodrý(x), . ..) valenční slovníky: Vallex, VerbaLex Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Parafráze (1) Wonderworks Ltd. constructed the new bridge. (2) The new bridge was constructed by Wonderworks Ltd. (3) Wonderworks Ltd. is the constructor of the new bridge. Prfklad z [Androutsopoulos and Malakasiotis, 2009] Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Parafráze "approximate conceptual equivalence among outwardly different material." Beaugrande and Dressier (1981, page 50) in [Bhagat and Hovy, 2013] sémantická ekvivalence, ale pragmatické rozdíly Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Hranice parafráze (1) Wonderworks Ltd. constructed the new bridge. (2) The new bridge was constructed by Wonderworks Ltd. (3) Wonderworks Ltd. is the constructor of the new bridge. Příklad z [Androutsopoulos and Malakasiotis, 2009] Logická forma Typovaný formalismus Slovesné a jiné valence Textové vyplývání (textual entailment) In the 16th century, an age of great marine and terrestrial exploration, Ferdinand Magellan led the first expedition to sail around the world. As a young Portuguese noble, he served the king of Portugal, ...1 The 16th century was an age of great.........exploration. A. cosmic B. land C. mental D. common man E. None of the above 1 Logická forma Typovaný formalismus Slovesné a jiné valence Textové vyplývání (textual entailment) In the 16th century, an age of great marine and terrestrial exploration, Ferdinand Magellan led the first expedition to sail around the world. As a young Portuguese noble, he served the king of Portugal, ...1 The 16th century was an age of great.........exploration. A. cosmic B. land C. mental D. common man E. None of the above 1 Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Textové vyplývání a parafráze Textual Entailment A text t entails a hypothesis h (t =4> h) if humans reading t will infer that h is most likely true. [Dagan et al., 2007] Paraphrase Paraphrase s/ of sentence s is a sentence that has the same or almost the same meaning as s in a given context. Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Textové vyplývání a parafráze Textual Entailment A text t entails a hypothesis h (t =4> h) if humans reading t will infer that h is most likely true. [Dagan et al., 2007] Paraphrase Paraphrase s/ of sentence s is a sentence that has the same or almost the same meaning as s in a given context. Paraphrase = mutual entailment Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Cvičeni najděte 20 dvojic parafrází: • ve vlastních textech • v novinových článcích • v překladech • v testech čtenářských dovedností • v titulkovaných pořadech Logická forma Typovaný formalismus Slovesné a jiné valence Parafráze Allen, J. (1995). Natural Language Understanding (2nd ed.). Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, USA. Androutsopoulos, I. and Malakasiotis, P. (2009). A survey of paraphrasing and textual entailment methods. CoRR, abs/0912.3747. Bhagat, R. and Hovy, E. (2013). What is a paraphrase? Computational Linguistics, 39(3):463-472. Dagan, I., Roth, D., and Zanzotto, F. M. (2007). Tutorial notes. In 45th Annual Meeting of the Association of Computational Linguistics, Prague, Czech Republic. The Association of Computational Linguistics.