Linguistische Informatik

Größe: px

Ab Seite anzeigen:

Download "Linguistische Informatik"

Edmund Althaus
vor 7 Jahren
Abrufe

1 Linguistische Informatik Gerhard Heyer Universität Leipzig Institut für Informatik

2 Allgemeines Schema D efin ition : D a rs tellung von B edeutung durc h eine B edeutung s - R eprä s enta tions s pra c he S em a ntik A llg em ein es S ch em a S em an tisch e I n terpretation S ä tze der na türlic hen S pra c he SRS Bedeutung unterschiedliche Paradigmen - prozedurale Semantik - referentielle Semantik ( Referenzsemantik ) - strukturalistische Semantik 2

3 Die drei Paradigmen im Vergleich S em a ntis c hes typis c hes P a ra dig m a verg leic hba r P rinzip B eis piel Tra dition prozedu ral opera tiona lis tis c he S. B. lieg t B efehle Wittg ens tein M ini im G ebra uc h (Im pera tive) Winog ra d " S top," rot" (B loc ks w elt) referen tiell denota tiona le S. B. is t da s E ig enna m en Freg e O bjekt / (" K urt" ) M onta g ue S a c hverha lt S toffna m en (" G old" ) stru ktu ralistisch a xiom a tis c he S. B. is t der D efinition S a us s ure Z us a m m en- " E in J ung - K a tz ha ng der g es elle is t ein 3

4 P rinzipien der prozedura len S em a ntik 1. Es g ibt elem enta re A us drüc ke, deren B edeutung elem enta re O pera tionen (in einem Z us ta nds ra um ) s ind. 2. D ie B edeutung a nderer A us drüc ke s ind Funktionen über O pera tionen. 3. D ie B edeutung eines S a tzes is t eine kom plexe O pera tion. B eispiel: Winog ra d s B loc ks w elt 4

5 SHRDLU ("Blockswelt" als Mikrowelt) 5

6 SHRDLU ("Blockswelt" als Mikrowelt) Person: Pick up a big red block. Computer: OK. Person: Grasp the pyramid. Computer: I don't understand which pyramid you mean. Person (changing their mind): Find a block which is taller than the one you are holding and put it into the box. Computer: By "it", I assume you mean the block which is taller than the one I am holding. Computer: OK. Person: What does the box contain? Computer: The blue pyramid and the blue block. Person: What is the pyramid supported by? Computer: The box.... 6

7 Prozedurale Semantiksprache Anordnung von Blöcken Allgemeine Spezifikation der Domäne Prädikate P = { ontable1, on2, clear1, holding1,empty0} Konstanten C = { A, B, C } Variablen V = { x, y } Instanziierung der Prädikate mit den Objekten Beschreibung des aktuellen Zustands ontable( C ) ontable( A ) on( B, C ) clear( A ) clear( B ) emtpy 7

8 Prozedurale Semantiksprache Definition der möglichen Operatoren pickup( x, y ) Precondition: on( x, y ), clear( x ), empty Add: holding( x ), clear( y ) Delete: on( x, y ), empty pickuptable( x ) Precondition: ontable( x ), clear( x ), empty Add: holding( x ) Delete: ontable( x ), empty 8

9 Prozedurale Semantiksprache Definition der möglichen Operatoren putdown( x, y ) Precondition: holding( x ), clear( y ) Add: empty, on( x, y ) Delete: holding( x ), clear( y ) putdowntable( x ) Precondition: holding( x ) Add: ontable( x ), empty Delete: holding( x ) 9

10 Prozedurale Semantiksprache Spezifikation von Start-und Zielzustand: Startzustand: ontable( C ), ontable( A ), on( B, C ), clear( A ), clear( B ), emtpy Zielzustand: ontable( C ), on( B, C ), on( A, B ), clear( A ), empty 10

11 Prozedurale Semantiksprache Anwendung eines Operators erfolgt durch Instanziierung Überprüfung der Precondition pickup( x, y) Precondition: on( x, y ), clear( x ), empty Instanziierung: x = B, y = C pickuptable( x ) Precondition: ontable( x ), clear( x ), empty Instanziierung: x = A 11

12 P rinzipien der referentiellen S em a ntik 1. N a m en s ind elem enta re A us drüc ke, deren B edeutung die N a m ens trä g er (in einem vorg eg ebenen O bjektra um ) s ind. 2. D ie B edeutung a nderer A us drüc ke s ind Funktionen über N a m en. 3. D ie B edeutung eines S a tzes is t ein Wa hrheits w ert. 4. F reg e-p rin zip: D ie B edeutung eines g a nzen S a tzes is t eine Funktion der B edeutung s einer Teile. 12

13 Grundideen der Referenzsemantik Struktur: (Belegung, assignment) A = <U A, I A > mit U A als Universum/Grundmenge und I A einer Abbildung (Interpretation) I A : - Jeder Variablen x wird ein Element aus U A zugeordnet. - Jedem k-stelligen Prädikat P wird ein k-stelliges Prädikat über U A zugeordnet, I A P(U A ). - analog für Funktionssymbole f. (Zuordnung von Einheiten der SRS zu Einheiten des Modells) 13

14 Beispiel U A = { sokrates, platon, archimedes, xantippe, kleopatra, zeus } I A = A(s)= sokrates A(p) = platon A(k)= kleopatra A(Mensch) = { sokrates, platon, archimedes, xantippe, kleopatra } A(Frau)= { xantippe, kleopatra } A(sterblich)=A(Mensch) 14

15 Beispiel Mensch sokrates platon Philosoph Mann Gott zeus archimedes xantippe kleopatra Frau Sterbliche/r 15

16 Elemente einer Referenzsemantik natürlichsprachiger Satz Modell (Bedeutung) Kategorialgrammatik Interpretation syntaktische Repräsentation SRS (z.b. Lambda-Kalkül) 16

17 P rinzipien der s trukta lis tis c hen S em a ntik 1. E s g ibt elem enta re A us drüc ke, deren B edeutung M erkm a le (in einem M erkm a ls ra um ) s ind. 2. D ie B edeutung a nderer A us drüc ke s ind Funktionen über dies e elem enta ren M erkm a le. 3. D ie B edeutung eines S a tzes is t ein M erkm a ls kom plex. B eispiel: s em a ntis c he Fa ktorena na lys e, M ultin et 17

18 Fa ktorena na lys e M utter K uh S tute = = K ind K ä lbc hen Fohlen +/- erw a c hs en +/- w eiblic h V a ter S tier = =... K ind K ä lbc hen Fra u M a nn K ind + w eiblic h - w eiblic h + erw a c hs en + erw a c hs en - erw a c hs en + m ens c hlic h + m ens c hlic h + m ens c hlic h 18

19 Weiteres Beispiel K uh S tute + w eiblic h + w eiblic h + erw a c hs en + erw a c hs en - m ens c hlic h - m ens c hlic h + B ovide + E qu ide 19

Ähnliche Dokumente

Linguistische Informatik

Linguistische Informatik Gerhard Heyer Universität Leipzig heyer@informatik.uni-leipzig.de Institut für Informatik Allgemeines Schema Definition: Darstellung von Bedeutung durch eine Bedeutungs- Repräsentationssprache