Semantik Hercules Dalianis NADA-KTH Email: hercules@nada.kth.se Tel: 08-790 91 05 http://www.nada.kth.se/~hercules Hercules Dalianis sid 1 Syntax, Semantik, Pragmatik Syntax (grek. ordning) Bestämmer ordningen mellan symbolerna Semantik (grek. betydelse) Bestämmer hur symbolerna är relaterade till de objekt de beskriver Pragmatik (grek. verklighet) Bestämmer hur symbolerna är relaterade till verkligheten, kommunikationen mellan människorna Hercules Dalianis sid 2 talat språk skrivet språk Metaforer (Grek. bort-transport) Ordspråk Idiom Kroppsspråk gester Intonation fonetisk analys morfologisk analys syntaktisk analys semantisk analys lexikal analys semantisk representation kunskapsrepresentation transfer (översättning) styrning av datasystem SQL generering Hercules Dalianis sid 3 Hercules Dalianis sid 4 Semantisk representation Kunskapsrepresentation Formellt språk Entydigt Syllogismer-SatsmönsterAristoteles (300 f. kr) Satslogik (Boole mitten av 1800 talet) Predikatlogik (Frege slutet på 1800 talet) Framerepresentation, (Minsky 1975) Conceptual Dependency (CD) Scripts (Schank 77) Semantiska nät Konceptuella strukturer, (Sowa 1984) Ontologier (Kunskap inte formalism) Hercules Dalianis sid 5 Hercules Dalianis sid 6 1
Montaguegrammatik / semantik Montague 1970 Situationssemantik (Barwise & Perry 1983) Stanford University Discourse Representation Theory (Kamp 1980) Slutsatsdragning Regel: Om det regnar, så blir det blött på marken. Observation: Det regnar. Slutsats: Det blir blött på marken. Deduktion: regel + observation -> slutsats (modus ponens) Induktion: observation + slutsats -> regel (modus tollens) Abduktion: regel + slutsats - (?!) -> obeservation Hercules Dalianis sid 7 Hercules Dalianis sid 8 Satslogik konnektiv: och,(&) eller (V), icke, om...så, implikation (=>), om och om endast så, ekvivalens (<=>) Symboler: a, b, lisa, pelle, springer, älskar,... Sanningsvärden,sann (s), falsk (f) lisa älskar pelle => pelle är snäll Predikatlogik I Predikatlogik tillkommer Kvantifierare: för alla( ), det existerar ( ), minst en Predikat generella Hercules Dalianis sid 9 Hercules Dalianis sid 10 Naturligt språk meningen Alla män älskar en kvinna Har två predikatlogikrepresentationer: 1) x(man(x) -> Y(kvinna(Y) & älskar (X,Y))) 2) Y(kvinna(Y) & X(man(X) -> älskar (X,Y))) Det två första predikatlogikrepresentationer har två naturligt språk parafraser. 1) Betyder att Alla män i världen älskar minst en kvinna och denna kvinna är älskad av minst en man. 2) Alla män i världen älskar minst en kvinna och denna kvinna är älskad av alla män or alternative: Det existerar minst en kvinna som är älskad av varje man som är älskad av varje man i världen. Varje man älskar samma kvinna eller kvinnor. Hercules Dalianis sid 11 Prolog Prolog är som predikatlogik Prolog har dock ingen existenskvantifierare och ingen riktig negation Inbyggd teorembevisare Prologklausulerna är en axiommängd där ett teorem (en fråga) skall bevisas genom att man negerar teoremet. Hercules Dalianis sid 12 2
Lisa älskar alla män. Pelle är en man x (man(x) => älskar(lisa,x)) man(pelle) älskar(lisa,x) :- man(x) man(pelle) Conceptual Dependency (CD) Entydig mening i CD (Interlingua) Primitive acts PTRANS (physical transfer), PROPEL (physical force), MTRANS (mental transfers, like tell) ATRANS (represents transfer of possession of a physical object from one person to another.) 11 primitiver (1977) Hercules Dalianis sid 13 Hercules Dalianis sid 14 John gives Mary a book: o R +---> Mary John <===> ATRANS <--- book <--- +---> John "o" betyder att boken är Atrans objekt "R" relation is a mottagare-givare beroende (recipient-donor dependency between),mellan Mary, John, and the book. Scripts Example: The restaurant script. $RESTAURANT o --> inside(&rest.) Go in. &PATRON <=> PTRANS <-- &PATRON - ^ --< c Jack went to a restaurant. Sit down. &PATRON <=> PTRANS Look at the menu. ^-c- MTRANS Decide what to order. ^-c- MBUILD Order your meal. ^-c- MTRANS He ordered a hamburger. (Wait.) Waiter brings food. ^-c- PTRANS Eat. ^-c- INGEST Pay. ^-c- ATRANS He paid... Tip waiter. ^-c- ATRANS Leave. ^-c- PTRANS...and left. Hercules Dalianis sid 15 Hercules Dalianis sid 16 Framerepresentationer Frames, slot och slotvärden Arv och procedurer Car I SA vehicle Car:Volvo 740 Color:red Nr_of_Wheels: four Type_of_engine: B 41 Owner: Hercules Dalianis Semantiska nät Hercules Dalianis sid 17 Hercules Dalianis sid 18 3
Ontologier CYC Wordnet Ord -> Begrepp Mångspråkiga ontologier Engelska- Japanska för Maskinöversättningen Till varje syntaxregel hör en semantisk regel Hercules Dalianis sid 19 Hercules Dalianis sid 20 Montague grammatik Montague 1970 Till varje syntaktisk regel hör en semantisk regel Kompositionalitetsprincipen (Freges Princip) Mängdlära, predikatlogik,modallogik, lambdakalkyl, typteori Möjligvärldssemantik Ett antal möjliga världar Tolkning sann i en värld, falsk i de andra Katten Misse sover, sann i en värld, falsk i alla andra världar. Montaguegrammatik standardlösning Hercules Dalianis sid 21 Hercules Dalianis sid 22 Situationssemantik Barwise & Perry 1981 Stanford University Situationer och situationsschema Yttrandesituationer Beskriven situation Bakgrundssituationen Lexical eller fonetisk analys istället för syntaktisk analys Tolkning av de olika situationerna En situation ger en partiell tolkning av en situation Flervärd logik En tillämpning kommer från Oslo Universitet, Vestre 1988 Frågor är ett ofullständigt situationsschema, som returneras ifyllda som svar Hercules Dalianis sid 23 Hercules Dalianis sid 24 4
DRT och DRS DRT Discourse Representation Theory DRS Discourse Representation Structure Hans Kamp En hel text kan formaliseras (Logisk semantik tar en sats i taget) Korsreferens och referens markerare. Sanning har med att finna individer som korresponderar till referensmarkerare Hercules Dalianis sid 25 s --> np, vp. np --> det, noun. np --> pn. vp --> iv. vp --> tv, np. DCG det --> [a]. det --> [every]. noun --> [man]. noun --> [woman]. pn --> [pelle]. pn --> [lisa]. tv --> [loves]. iv --> [lives] Hercules Dalianis sid 26 DCG-syntaxträd s(s(np(x),vp(y))) --> np( X), vp(y). np(np(det(x),noun(y))) --> det(x), noun(y). np(np(x)) --> pn(x). vp(vp(iv(x)) --> iv(x). vp(vp(tv(x),np(y))) --> tv(x), np(y). det(a) --> [a]. det(every) --> [every]. noun(man) --> [man]. noun(woman) --> [woman]. pn(pelle) --> [pelle]. pn(lisa) --> [lisa]. tv(loves) --> [loves]. iv(lives) --> [lives] Hercules Dalianis sid 27 Hercules Dalianis sid 28 s(p) --> np(x,p1,p), vp(x,p1). np(x,p1,p) --> det(x,p2,p1,p), noun(x,p3), rel_clause(x,p3,p2). np(x,p,p) --> pn(x). DCG-Montague det(x,p1,p2,all(x,(p1->p2))) --> [every]. det(x,p1,p2,exists(x,(p1&p2))) --> [a]. noun(x,man(x)) --> [man]. noun(x,woman(x)) --> [woman]. pn(john) --> [pelle]. pn(john) --> [lisa]. vp(x,p) -->tv(x,y,p1),np(y,p1,p). vp(x,p) --> iv(x,p). tv(x,y,loves(x,y)) --> [loves]. iv(x,lives(x)) --> [lives]. rel_clause(x,p1,(p1&p2)) --> [that], vp(x,p2). rel_clause(_,p,p) --> [ ]. s(x) :- s(x,[every, man, loves, a, woman],[]). Hercules Dalianis sid 29 5