Kompositionalität. Christian Ebert & Fritz Hamm. Kompositionalität. 1. Dezember 2011
|
|
- Felix Seidel
- vor 5 Jahren
- Abrufe
Transkript
1 1. Dezember 2011
2 sprinzip The meaning of a complex expression is determined by the meaning of its parts and the mode of composition. Die Bedeutung eines komplexen Ausdrucks ist durch die Bedeutung seiner Teile und der Regel, mit der sie kombiniert wurden, bestimmt. Intituitv eingängig aber... heisst die, dass jeder Ausdruck eine eindeutige Bedeutung hat? Gibt es bedeutungslose Ausdrücke? was sind Bedeutungen? wann ist ein Ausdruck komplex? was sind die Teile eines Ausdrucks? was heisst bestimmt? was sind Regeln?
3 Warum überhaupt? Produktivität: Sprecher können nie zuvor geäusserte Sätze produzieren/beurteilen Lernbarkeit: Kinder können aus wenig Input problemlos Sprache lernen Systematicity: Sprache ist systematisch, d.h. hat klare Muster
4 Komplikationen Lexikalische Ambiguität: Johann steht vor einer Bank. Was ist die Bedeutung von Bank? Skopusambiguität: Jeder Student kennt einen Linguisten. Eine syntaktische Struktur, aber zwei Bedeutungen? Indexikalische Ausdrücke: Bedeutung abhängig vom Kontext 1 Der Bundeskanzler heisst Gerhard Schröder. 2 Hier stinkt s nach Pferdemist. 3 Ich bin 1,80m groß und trage eine Brille. Anaphora: Bedeutung abhängig vom Diskurs. Er ist doof. Idiomatische Wendungen Auf der Linguistik-Weihnachtsfeier steppt der Papst im Kettenhemd! Keine Gegenargumente, aber: semantische Theorie muss entsprechend komplex sein, um kompositional zu sein.
5 Formale Ansätze I Formale Ausspezifizerungen des Prinzips in der Literatur: Homomorphismen sortierter Algebren (Montague, 1974; Janssen, 1996; Hendriks, 2001) Frege-Erweiterungen (Hodges, 2001; Westerståhl, 2004) Zeichenbasierte (Kracht, 2001)
6 Formale Ansätze II Zutaten: 1 Lexikon: L = {w 1,..., w n } 2 Syntaktische Funktionen: F = {f 1,..., f m } 3 Semantische Funktionen: S = {s 1,..., s m } Damit: syntaktische Analyse eines komplexen Ausdrucks Termausdruck über F L Eine Frau mag Peter. f S (f DP (eine, Frau), f VP (mag, Peter)) Bedeutungszuweisung m ist Homomorphismus m erhält die Termstruktur: m( f i (t 1,..., t n ) ) = s i (m(t 1,..., m(t n )) m( f S (f DP (eine, Frau), f VP (mag, Peter)) ) = s S (s DP (m(eine), m(frau)), s VP (m(mag), m(peter)))
7 Formale Ansätze III Zum Beispiel: m(eine) = λpλq x(p(x) Q(x)) m(frau)) = λxwoman (x) m(mag) = λyλxlike (x, y) m(peter)) = peter s i : (ϕ, ψ) ϕ(ψ), i {S,DP,VP} (Funktionalapplikation)
8 Formale Ansätze IV Folgerung des sprinzips: Substitutionsprinzip Wenn zwei Ausdrücke a, b dasselbe bedeuten kann man sie in allen Kontexten austauschen, ohne dass sich Bedeutungen ändern. m(a) = m(b) m(. }.. {{ a.. }.) = m(. }.. {{ b.. }.) t[a] t[b] Gegenbeispiele zum Substitutionsprinzip Gegenbeispiele zu kompositioneller Semantikzuweisung z.b. Zahlennamen bei rechtsassoziativer Syntax: m(0 7) = m(7), aber m(2 (0 7)) m(2 7)
9 Formale Ansätze V Diskussion in den 90ern: eine kompositionelle Bedeutungszuweisung lässt sich immer finden ist nichts-sagend (engl. vacuous; s. Dever, 1999; Janssen, 1996, Kazmi & Pelletier, 1998; van Benthem, 1986; Westerståhl, 1998; Zadrozny, 1994). Aber: alle Vacuity-Beweise, ändern massiv die Syntax oder die Synonymien Achtung! L, F, S (dh. Lexikon, Syntax und semantische Kompositionsmodi) müssen gegeben sein, um über von m urteilen zu können!
10 Literatur I Johan van Benthem. The Logic of Semantics. In Essays in Logical Semantics, pages Reidel, Dordrecht, Josh Dever. Compositionality as Methodology. Linguistics and Philosophy, 22, Herman Hendriks. Compositionality and model-theoretic interpretation. Journal of Logic, Language and Information, 10(1):29 48, Theo M. V. Janssen. Compositionality. In Johan van Benthem and Alice ter Meulen, editors, Handbook of Logic and Language, pages Elsevier, Amsterdam, Ali Akhtar Kazmi and Francis Jeffry Pelletier. Is Compositionality Formally Vacuous? Linguistics and Philosophy, 21(6): , Marcus Kracht. Strict compositionality and literal movement grammars. In Michael Moortgat, editor, Logical Aspects of Computational Linguistics 98, volume 2014 of LNAI, pages Springer, 2001.
11 Literatur II Richard Montague. The proper treatment of quantification in ordinary english. In R. Thomason, editor, Formal Philosophy: Selected Papers of Richard Montague, pages Yale University Press, New Haven, CT, Richard Montague. Universal grammar. In R. Thomason, editor, Formal Philosophy: Selected Papers of Richard Montague, pages Yale University Press, New Haven, CT, Dag Westerståhl. On Mathematical Proofs of the Vacuity of Compositionality. Linguistics and Philosophy, 21(6): , Wlodek Zadrozny. From Compositional to Systematic Semantics. Linguistics and Philosophy, 17(4): , 1994.
Das Kompositionalitätsprinzip
Das Kompositionalitätsprinzip (Version 1.0) Seminar Kompositionalität, 2005 1 Das Kompositionalitätsprinzip (Version 1.0) Die Bedeutung eines komplexen Ausdrucks ist durch die Bedeutung seiner Teile bestimmt
MehrKompaktkurs Montague-Grammatik SS 1996 (Ede Zimmermann, IMS)
Kompaktkurs Montague-Grammatik SS 1996 (Ede Zimmermann, IMS) 1. Syntax-Semantik-Schnittstelle Syntax Regeln vermitteln (syntagmatische) Operationen und (paradigmatische) Kategorien Zum Vergleich: Kontextfreies
MehrLogik und modelltheoretische Semantik. Montague-Grammatik
Logik und modelltheoretische Montague-Grammatik Robert Zangenfeind Centrum für Informations- und Sprachverarbeitung, LMU München 23.5.2017 Zangenfeind: Montague-Grammatik 1 / 23 Vorgeschichte Ursprung
MehrMontague / Schnelle. Universale Grammatik
Montague / Schnelle Universale Grammatik Schriften zur Linguistik herausgegeben von Prof. Dr. Peter Hartmann, Konstanz Band 5 Band 1 Gerhard Stickel, Untersuchungen zur Negation im heutigem Deutsch Band
MehrFORMALE METHODEN SKRIPT ZUR VORLESUNG LOGIK FÜR LINGUISTEN
FORMALE METHODEN SKRIPT ZUR VORLESUNG LOGIK FÜR LINGUISTEN Johannes Dölling Institut für Linguistik Universität Leipzig 2010 Inhaltsverzeichnis Vorwort Literaturhinweise Symbolverzeichnis 1 Einführung
MehrSemantik und Pragmatik
Semantik und Pragmatik SS 2005 Universität Bielefeld Teil 4, 6. Mai 2005 Gerhard Jäger Semantik und Pragmatik p.1/35 Prädikatenlogik: atomare Formeln Syntax JO, BERTIE, ETHEL, THE-CAKE... sind Individuenkonstanten
MehrFormale Semantik. Anke Assmann Heim & Kratzer 1998, Kap. 1. Universität Leipzig, Institut für Linguistik
1 / 20 Formale Semantik Heim & Kratzer 1998, Kap. 1 Anke Assmann anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 09.04.2013 2 / 20 Inhalt 1 Vorbemerkungen 2 Wahrheitskonditionale
MehrSemantik 5: Montague-Grammatik
Semantik 5: Montague-Grammatik Robert Zangenfeind, Hinrich Schütze Center for Information and Language Processing, LMU Munich 2018-05-29 Zangenfeind & Schütze (LMU Munich): Montague-Grammatik 1 / 60 Outline
MehrWas bisher geschah Modellierung in Logiken: klassische Prädikatenlogik FOL(Σ, X) Spezialfall klassische Aussagenlogik AL(P)
Was bisher geschah Modellierung in Logiken: klassische Prädikatenlogik FOL(Σ, X) Spezialfall klassische Aussagenlogik AL(P) Syntax Semantik Signatur, Variablen Terme (induktive Definition, Baumform) Atome
MehrKompositionalität & DSM
& DSM 7. Dezember 2011 Mitchell & Lapata (2008) I Evaluation verschiedener Kompositionsmodi: additiv gewichtet additiv (Kintsch, 2001) multiplikativ gemischt p = u + v Vektoraddition p = α u + β v Vektoraddition
MehrUniverselle Algebra. Zur Erinnerung: Definition von Gruppe, Ring (mit 1), R-Vektorraum.
Kapitel 3 Universelle Algebra 3.1 Universelle Algebra als Logik Zur Erinnerung: Definition von Gruppe, Ring (mit 1), R-Vektorraum. Signaturen Eine funktionale Signatur ist eine Menge F von Funktionssymbolen
MehrDebreceni Egyetem Bölcsészettudományi Kar. Darai Zsuzsanna
Debreceni Egyetem Bölcsészettudományi Kar Darai Zsuzsanna Das Kompositionalitätsprinzip in Freges Semantik, in der Montague-Grammatik und in der Diskursrepräsentationstheorie Doktori (PhD) értekezés tézisei
MehrNatürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert.
1 Einführung 1.1 Logik und Linguistik Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert. In der mathematischen, formalen Logik werden formale Sprachen,
Mehr. How Complex are Complex Predicates? K. Maiterth, A. Domberg. Seminar: Komplexe Verben im Germanischen Universität Leipzig Problem..
How Complex are Complex Predicates? K Maiterth, A Domberg Seminar: Komplexe Verben im Germanischen Universität Leipzig 21052012 Inhalt 1 Verbcluster im Deutschen Komplexer Kopf VP-Komplementierung 2 Haiders
MehrZeit im Blick der Philosophen
Zeit im Blick der Philosophen [Integrale, Ringvorlesung] Uwe Scheffler [Technische Universität Dresden] November 2012 You must remember this A kiss is still a kiss A sigh is just a sigh The fundamental
MehrFormale Sprachen und Automaten
Formale Sprachen: der Gegenstand Formale Sprachen und Automaten Motivation und Hintergrund Kann man die Begriffe der Sprache und der Grammatik auf eine mathematische Grundlagen stellen? Die Theorie formaler
MehrGeometrie & Bedeutung
Geometrie & Bedeutung Seminar für Sprachwissenschaft Universität Tübingen Christian Ebert christian.ebert@uni-tuebingen.de Fritz Hamm friedrich.hamm@uni-tuebingen.de Wilhelmstr. 19 Wilhelmstr. 19 Zimmer
MehrLinguistische Grundlagen 6. Semantik
Linguistische Grundlagen 6. Semantik Gereon Müller Institut für Linguistik Universität Leipzig www.uni-leipzig.de/ muellerg Gereon Müller (Institut für Linguistik) 04-006-1001: Linguistische Grundlagen
MehrSemantik. Anke Himmelreich Formale Semantik. Universität Leipzig, Institut für Linguistik 1 / 47
1 / 47 Semantik Formale Semantik Anke Himmelreich anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 09.06.2016 2 / 47 Inhaltsverzeichnis 1 Vorbemerkungen 2 Wahrheitskonditionale
MehrSemantik 5: Montague-Grammatik
Semantik 5: Montague-Grammatik Robert Zangenfeind, Hinrich Schütze Center for Information and Language Processing, LMU Munich 2018-05-29 Zangenfeind & Schütze (LMU Munich): Montague-Grammatik 1 / 61 Outline
MehrTheoretische Grundlagen zu Default Logic
Theoretische Grundlagen zu Default Logic Eric Hildebrand Logik in der Praxis: Logikprogrammierung und unscharfes Schließen WS 08/09 Universität Heidelberg Seminar für Computerlinguistik Institut für allgemeine
MehrErwerb appositiver Relativsätze
Erwerb appositiver Relativsätze Seminar: Relativsätze im Spracherwerb Prof. Dr. Petra Schulz WiSe 2011/2012 31.01.2012 Referentin: Julia Kiss Gliederung restriktive und appositive Relativsätze Conventional
MehrMontague-Grammatik HIROYUKIZUO
Kontrafaktische Montague-Grammatik Konditionale und HIROYUKIZUO 0. Die Wahrheitsbedingungen kontrafaktischer Konditionale sind schon von Goodman (1947), Stalnaker und Thomason (1970), Lewis (1973), Agvist
MehrDie intuitionistische Natur von Statecharts
Die intuitionistische Natur von Statecharts Gerald Lüttgen Department of Computer Science The University of Sheffield www.dcs.shef.ac.uk/~luettgen Gemeinsame Arbeit mit Michael Mendler, The University
Mehr3 Prädikatenlogik der 1. Stufe (PL1) Teil I
3 Prädikatenlogik der 1. Stufe (PL1) Teil I 3.1 Die Grenzen von AL Schluss AL-Schema (1) Alle Logiker sind Pedanten. φ Max ist Linguist oder Logiker. ψ ψ 1 2 Max ist nicht Linguist. ψ1 Max ist Pedant.
MehrAutomatentheorie und formale Sprachen
Automatentheorie und formale Sprachen Wiebke Petersen Wiebke Petersen Automatentheorie und formale Sprachen - WiSe12/13 1 Seminarplan Lektüre: Theoretische Grundlagen der Informatik, Rolf Socher, 2008
MehrZwischensprachliche Variation bei Quantorenanhebung
Zwischensprachliche Variation bei Quantorenanhebung Johannes Neubarth Wolfgang Seeker 12. November 2007 Wiederholung: Mays Skopusprinzip (May 1985) Skopusprinzip Zwei Quantoren (Operatoren), die sich gegenseitig
MehrSemantische Klassifikation von Kollokationen auf Grundlage des DWDS- Wortprofils
Semantische Klassifikation von Kollokationen auf Grundlage des DWDS- Wortprofils Isabel Fuhrmann, Alexander Geyken, Lothar Lemnitzer Zentrum Sprache Berlin-Brandenburgische Akademie der Wissenschaften
MehrSemantik und Pragmatik
Semantik und Pragmatik SS 2005 Universität Bielefeld Teil 2, 22. April 2005 Gerhard Jäger Semantik und Pragmatik p.1/14 Wahrheitsbedingungen Wahrheit eines Satzes ist zentral bei Definition von Sinn-Relationen
MehrDie pragmatische Gretchenfrage und ihre Folgen
Die pragmatische Gretchenfrage und ihre Folgen Johannes Dölling (Leipzig) Nun sag', wie hast du's mit der wörtlichen Bedeutung? Workshop zu Ehren von Manfred Bierwisch, Leipzig, 26.10.2005 1 Ein grundlegendes
Mehr2 Theorie der semantischen Typen
2 Theorie der semantischen Typen 2 Theorie der semantischen Typen [ Dowty 83-97, Gamut 75-9, Partee 338-34] 2. Typen Eine mögliche Erweiterung von PL ist die Prädikatenlogik der 2. Stufe (PL2). In PL2
MehrIvana Daskalovska. Willkommen zur Übung Einführung in die Computerlinguistik. Sarah Bosch,
Ivana Daskalovska Willkommen zur Übung Einführung in die Computerlinguistik Kontakt: ivana.bt.mk@gmail.com Betreff: EICL Wiederholung Aufgabe 1 Was ist Computerlinguistik? 4 Was ist Computerlinguistik?
MehrR. Montagues Semantikmodellierung in»english as a Formal Language«
R. Montagues Semantikmodellierung in»english as a Formal Language«Sascha Brawer, 20. Juni 1995 brawer @coli.uni-sb.de Einleitung Die nachfolgende Arbeit geht auf Richard Montagues Aufsatz»English as a
MehrHilbert: Prädikatenlogik Teil I (formale Beweise) Text von Hilbert; Text von Halbeisen et al. Christine Simantiri Ueli Gisiger
Hilbert: Prädikatenlogik Teil I (formale Beweise) Text von Hilbert; Text von Halbeisen et al. Christine Simantiri Ueli Gisiger 13.04.2016 Hilbert: Prädikatenlogik Teil I (formale Beweise) Ablauf der Text-Vorstellung
MehrKL WS 03/04 - Anke Lüdeling. Gliederung. Polysemie. Systematische Polysemie
KL WS 03/04 - Anke Lüdeling Arbeitsgruppe Miniprojekt 1: Lexikalische Semantik Kann man systematische Polysemie kontextuell (automatisch) bestimmen? Anne Urbschat Ruprecht v.waldenfels Jana Drescher Emil
MehrEinführung in die Linguistik, Teil 4
Einführung in die Linguistik, Teil 4 Syntax, Semantik und Sprachverstehen Markus Bader, Miriam Butt, Uli Lutz, Björn Wiemer Einführung in die Linguistik, Teil 4 p. 1/19 Syntax und Semantik (1) S 1 B 1
MehrMontague-Grammatik (ohne Semantik)
Montague-Grammatik (ohne Semantik) R. Montague hat um 1970 eine Alternative zur Generativen Grammatik von N. Chomsky ausgearbeitet, die eine durch eine Ubersetzung der nat urlichsprachlichen Ausdr ucke
MehrGerman Language and Culture (Ma) VU University Amsterdam - Faculteit der Letteren - M German Language and Culture - 2010-2011
German Language and Culture (Ma) VU University Amsterdam M German Language and Culture 20102011 VU University Amsterdam M German Language and Culture 20102011 I Study Guide information for the German Language
MehrVerwendung von Methoden der formalen Logik in der Linguistik
1.1 Logik und Linguistik 1 Einführung 1.1 Logik und Linguistik [ Gamut 9-27, Partee 93-95, Chierchia 17-52 ] Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert.
MehrBoole sche und Peirce sche Grammatik Hauptseminar
Boole sche und Peirce sche Grammatik Hauptseminar Relationale Grammatik CIS, WS 2009/10 Marion Tang Universität München Centrum für Informations- und Sprachverarbeitung 9. November 2009 1/ 33 Boole sche
MehrSemantikkonstruktion
Semantikkonstruktion Vorlesung Computerlinguistische Techniken Alexander Koller 16. Januar 2015 Semantische Verarbeitung Uraltes Problem: Inferenz. Woher wissen wir, dass ein Satz aus einem anderen folgt?
MehrFormale Methoden II. Gerhard Jäger. SS 2008 Universität Bielefeld. Teil 1, 16. April Formale Methoden II p.1/30
Formale Methoden II SS 2008 Universität Bielefeld Teil 1, 16. April 2008 Gerhard Jäger Formale Methoden II p.1/30 Sätze und Aussagen (1) Schon wieder Verona Feldbusch! (2) Hat die Vorlesung schon angefangen?
MehrLexikalische Substitutionen. Seminar: Sprachproduktion Dozentin: Prof. Dr. Helen Leuninger WS 09/10 Referenten: Anna Schmidt und Tim Krones
Lexikalische Substitutionen Seminar: Sprachproduktion Dozentin: Prof. Dr. Helen Leuninger WS 09/10 Referenten: Anna Schmidt und Tim Krones Gliederung 1 Substitutionen: Arten und Eigenschaften 2 Entstehung
MehrPräsupposition, Fokus, Topik
Johannes Dölling WiSe 2012/13 Präsupposition, Fokus, Topik (Modul 04-046-2018 Semantik/Pragmatik: Bedeutung und Diskurs) Seminar Mi 13.15-14.45 Beethovenstr. H1 5.16 Ein Kennzeichen von Kommunikation ist,
MehrSemantik. Anke Himmelreich Einführung. Universität Leipzig, Institut für Linguistik 1 / 30
1 / 30 Semantik Einführung Anke Himmelreich anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 07.04.2016 2 / 30 Inhaltsverzeichnis 1 Was ist Semantik? 2 Bedeutung in Semantik und
Mehr2.6 Natürliches Schließen in AL
2.6 Natürliches Schließen in AL Bisher wurde bei der Überprüfung der Gültigkeit von Schlüssen oder Schlussschemata insofern ein semantisches Herangehen verfolgt, als wir auf die Bewertung von Formeln mit
MehrAutomatentheorie und formale Sprachen reguläre Ausdrücke
Automatentheorie und formale Sprachen reguläre Ausdrücke Dozentin: Wiebke Petersen 6.5.2009 Wiebke Petersen Automatentheorie und formale Sprachen - SoSe09 1 Formal language Denition A formal language L
Mehr3.4 Direkte vs. indirekte Interpretation
3 Theorie der λ -Repräsentation 3.4 Direkte vs. indirekte Interpretation In unserer semantischen Analyse natürlichsprachlicher Ausdrücke haben wir bisher die Methode der indirekten Interpretation zugrunde
MehrPrüfungsangebot. Fachbereich Sprach- und Literaturwissenschaften Bachelor Linguistik/Language Sciences. Wintersemester 2016/2017
Bezeichnung der sleistung Studienabschnitt: Pflichtbereich (nach ) LS1a Einführung in die Linguistik Introduction to Linguistics Dr. Christel Stolz 9 Allgemeine und Vergleichende Sprachwissenschaft General
MehrLogische Grundlagen der Mathematik, WS 2014/15
Logische Grundlagen der Mathematik, WS 2014/15 Thomas Timmermann 16. Oktober 2014 1 Einleitung Literatur Paul.R. Halmos, Naive Set Theory Ralf Schindler, Logische Grundlagen der Mathematik Peter J. Cameron,
Mehr7. SITZUNG: KOMPOSITIONALITÄT AUF SATZEBENE MENGEN UND (CHARAKTERISTISCHE) FUNKTIONEN
7. SITZUNG: KOMPOSITIONALITÄT AUF SATZEBENE MENGEN UND (CHARAKTERISTISCHE) FUNKTIONEN 1. Kompositionalität und die Interpretation atomarer Aussagen: DIE IDEE Bisher wurde gezeigt, was die Interpretation
Mehr12. Die Galois Gruppe einer auflösbaren Gleichung.
12. Die Galois Gruppe einer auflösbaren Gleichung. Wir wollen zeigen, dass die Gleichung p(x) = x 5 6x + 2 = 0 nicht auflösbar ist. Hierfür brauchen wir zunächst neue Definitionen, die mit dem Begriff
Mehr(1) (a) Hans ist verheiratet oder nicht verheiratet. (b) Hans ist verheiratet oder Hans ist nicht verheiratet.
3.3 Quantoren? Sind folgende Sätze jeweils synonym? (1) (a) Hans ist verheiratet oder nicht verheiratet. (b) Hans ist verheiratet oder Hans ist nicht verheiratet. (2) (a) Jeder ist verheiratet oder nicht
MehrLogik I. Symbole, Terme, Formeln
Logik I Symbole, Terme, Formeln Wie jede geschriebene Sprache basiert die Prädikatenlogik erster Stufe auf einem Alphabet, welches aus den folgenden Symbolen besteht: (a) Variabeln wie zum Beispiel v 0,v
MehrFormale Semantik. Anke Assmann Heim & Kratzer 1998, Kap. 3. Universität Leipzig, Institut für Linguistik
1 / 30 Formale Semantik Heim & Kratzer 1998, Kap. 3 Anke Assmann anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 23.04.2013 2 / 30 Vorbemerkung Bisher gab es für jede syntaktische
Mehr5.2 Logische Gültigkeit, Folgerung, Äquivalenz
5.2 Logische Gültigkeit, Folgerung, Äquivalenz Durch Einsetzung von PL1-Formeln für die Metavariablen in AL-Gesetzen erhält man PL1-Instanzen von AL-Gesetzen. Beispiele: φ φ AL PL1-Instanzen: Pa () Pa
MehrEinführung in die Computerlinguistik
Einführung in die Computerlinguistik Einführung Laura Kallmeyer Heinrich-Heine-Universität Düsseldorf Summer 2018 1 / 14 Anwendungen der Computerlinguistik Carstensen et al. (2010); Jurafsky and Martin
Mehr1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.
Grundlagen der Mathematik für Informatiker 1 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage)
MehrPrüfungsangebot. Fachbereich Sprach- und Literaturwissenschaften Bachelor Linguistik/Language Sciences. Wintersemester 2018/2019
Bezeichnung der sleistung Studienabschnitt: Pflichtbereich (nach ) LS1a Einführung in die Linguistik Introduction to Linguistics of. Dr. Thomas Stolz 9 Allgemeine und Vergleichende Sprachwissenschaft General
Mehr7 Bedeutung und Logik
7.1 Logische Eigenschaften von Sätzen 7.2 Logische Beziehungen zwischen Sätzen 7.3 Logische Beziehungen und Bedeutungsbeziehungen 7.4 Formale Semantik 7.1 Logische Eigenschaften von Sätzen Ein Satz φ ist
Mehr4.3 NPn als Objekte oder als Prädikative [Chierchia , Lohnstein ]
4 Semantik von Nominalphrasen 4.3 NPn als Objekte oder als Prädikative [Chierchia 147-168, Lohnstein 185-196] 4.3.1 Quantifizierende NPn in Objektposition Steht eine quantifizierende NP nicht in Subjekt-,
Mehr3 Prädikatenlogik der 1. Stufe (PL1) Teil I
3 Prädikatenlogik der 1. Stufe (PL1) Teil I 3.3 Quantoren [ Gamut 70-74 McCawley 23-44 Chierchia 113-117 ]? Sind folgende Sätze jeweils synonym? (1) (a) Hans ist verheiratet oder nicht verheiratet. (b)
Mehr7 Intensionale Semantik
7 Intensionale Semantik 7.1 Intension und Extension Bisher wurde eine extensionale Semantik verfolgt. D.h. als Denotationen von Sätzen wurden Wahrheitswerte, als Denotationen von Individuenausdrücken Individuen
MehrStudienverlaufsplan LAG Seite 1 von 2
Studienverlaufsplan Lehrämter im Fach Englisch, LAG, FR 4.3 115 CP, davon 25 CP Fachdidaktik, 11,5 CP pro Semester Unter Berücksichtigung der Zulassungsvoraussetzungen, der Regelstudiensemester und des
MehrStudienverlaufsplan LS1+2 (Lehramt für die Sekundarstufe I und für die Sekundarstufe II) im Fach Englisch, Fachrichtung 4.
Studienverlaufsplan LS1+2 (Lehramt für die Sekundarstufe I und für die Sekundarstufe II) im Fach Englisch, Fachrichtung 4.3 (115 CP) Sem. Module Modulelemente Ver.-Typ SWS CP CP/Sem. 1. Cultural Studies
Mehr1 Inhalt der Vorlesung B-PS1
1 Inhalt der Vorlesung B-PS1 1.1 Tag 1 1.1.1 Vormittag Geschichte der Programmiersprachen Wie viele Programmiersprachen gibt es? https://en.wikipedia.org/wiki/list_of_programming_languages Esoterische
MehrProbeklausur Mathematische Logik
Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik RWTH Aachen Prof. Dr. E. Grädel SS 2015 Probeklausur Mathematische Logik Aufgabe 1 (a) (i) Seien R, zweistellige Relationssymbole. Ist
MehrAlgorithmische Semantik und Modellgenerierung
Algorithmische Semantik und Johannes Dellert Universität Tübingen 06.07.2012 1 / 30 Übersicht Algorithmische Semantik Die Standard-Toolchain der Computerlinguistik FOL als Formalismus zur Bedeutungsrepräsentation
MehrInstitut für Anglistik, Amerikanistik und Romanistik. Englisch studieren in Aachen
Institut für Anglistik, Amerikanistik und Romanistik Englisch studieren in Aachen 1. Grundsätzliches zum Anglistik-Studium 2. Voraussetzungen und Bedingungen an der RWTH 3. Inhalte des Studiengangs 4.
MehrÜ 1 2,0 13,0 Auslandsaufenthalt Written Expression (Advanced) Ü 2 3,0 Cultural Studies II - LAG
Studienverlaufsplan LAG im Fach Englisch, Fachrichtung 4.3 (115 CP) Sem. Module Modulelemente Ver.-Typ SWS CP CP/Sem. 1. Cultural Studies I Introduction to Cultural Studies - North America E 2 3,0 9,0
MehrSemantik. Anke Himmelreich Variabilität der Bedeutung. Universität Leipzig, Institut für Linguistik 1 / 44
1 / 44 Semantik Variabilität der Bedeutung Anke Himmelreich anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 21.04.2016 2 / 44 Inhaltsverzeichnis 3 Strukturelle Ambiguität 1 Ambiguität
Mehr1.1 Formale Semantik: Grundannahmen und Prinzipien. Was soll eine semantische Analyse der natürlichen Sprache leisten?
. Formale Semantik: Grundannahmen und Prinzipien Einführung [ Chierchia 7-52] Was soll eine semantische Analyse der natürlichen Sprache leisten? Erfassen der Bedeutung von sprachlichen Ausdrücken durch
MehrSemantik und Pragmatik
Semantik und Pragmatik SS 2005 Universität Bielefeld Teil 6, 20. Mai 2005 Gerhard Jäger Semantik und Pragmatik p.1/16 Typentheorie: Motivation Viele syntaktische Konstruktionen der natürlichen Sprachen
MehrLogik und Beweisbarkeit
Logik und Beweisbarkeit Einleitung Martin Mundhenk Univ. Jena, Institut für Informatik. Februar 0 Einleitung: U ber Sinn und Form Symbolisches Addieren Al-Chwarizmi (etwa 8 80) Problem: Was ist MMMDCCCXCIX
MehrAchim Feldmeier, 7. Juli 2008
SYNTAX UND SEMANTIK: DER ABSTRAKTE GÖDELSCHE SATZ Achim Feldmeier, 7. Juli 2008 Metamathematik und Gödelzahlen Gödel bemerkte, dass von einem theoretischen Standpunkt aus betrachtet die besondere Art der
Mehr3.1 Die Grenzen von AL
3 Prädikatenlogik der. Stufe (PL) Teil I 3 Prädikatenlogik der. Stufe (PL) Teil I 3. Die Grenzen von AL [ Partee 95-97 ] Schluss AL- Schema Prädikatenlogische Struktur Alle Logiker sind Pedanten. φ x [
MehrD-MATH Algebra I HS 2015 Prof. Richard Pink. Musterlösung 1. Ringe, Polynome, Potenzreihen. x(y z) = x(y + ( z)) = xy + x( z) = xy + ( xz) = xy xz.
D-MATH Algebra I HS 20 Prof. Richard Pink Musterlösung Ringe, Polynome, Potenzreihen. Zeige, dass in jedem Ring R die Distributivregel gilt. Lösung: Für alle x, y, z R gilt x, y, z R : x(y z = xy xz x(y
Mehr12. LA- und PS-Hierarchien im Vergleich
Kapitel 12: LA- und PS-Hierarchien im Vergleich 210 12 LA- und PS-Hierarchien im Vergleich 121 Sprachklassen der LA- und PS-Grammatik 1211 Komplexitätsklassen der LA- und PS-Hierarchie LA-Grammatik PS-Grammatik
MehrEinführung in die Pragmatik
Einführung in die Pragmatik Einführung Proseminar Institut für Deutsche Sprache und Literatur 1 Universität Köln 22.-25. Juli 2013 Generelle Information Dozentin: Berit Gehrke Kontakt: berit.gehrke@upf.edu
MehrSemantik. Anke Himmelreich Einführung. Universität Leipzig, Institut für Linguistik 1 / 33
1 / 33 Semantik Einführung Anke Himmelreich anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 13.04.2017 2 / 33 Inhaltsverzeichnis 1 Was ist Semantik? 2 Organisation 3 Bedeutung
MehrTypengetriebene Interpretation. Arnim von Stechow Einführung in die Semantik
Typengetriebene Interpretation Arnim von Stechow Einführung in die Semantik arnim.stechow@uni-tuebingen.de Programm Logische Typen Typengesteuerte Interpretation λ-schreibweise Prädikatsmodifikation (PM)
MehrWolfgang Stegmüller. Philosophical Roots of the Institute of Statistics. Workshop on History of Statistics. By Almond Stöcker
Wolfgang Stegmüller Philosophical Roots of the Institute of Statistics Workshop on History of Statistics By Almond Stöcker Overview Who is Wolfgang Stegmüller? Sketch of his work in philosophy of statistics
MehrKontextfreie Grammatiken
Kontextfreie Grammatiken Vorlesung Computerlinguistische Techniken Alexander Koller 16. Oktober 2015 Übersicht Worum geht es in dieser Vorlesung? Übungen und Abschlussprojekt Kontextfreie Grammatiken Computerlinguistische
MehrAnswer Set Programming
Answer Set Programming mit Answer Set Prolog (A-Prolog) Wangler Thomas Logikprogrammierung Institut für Computerlinguistik Universität Heidelberg Inhaltsverzeichnis Inhaltsverzeichnis Inhaltsverzeichnis
MehrEin und derselbe Satz kann in Bezug auf unterschiedliche Situationen s 1. und s 2 unterschiedliche Wahrheitswerte haben.
2 Aussagenlogik () 2.3 Semantik von [ Gamut 4-58, Partee 7-4 ] Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s und s 2 unterschiedliche Wahrheitswerte haben. Beispiel: Es regnet.
Mehr2.6 Natürliches Schließen in AL
Aussagenlogik (AL).6 Natürliches Schließen in AL [ Gamut 8-40, Partee 5-3, McCawley 65-79 ] Bisher wurde bei der Überprüfung der Gültigkeit von Schlüssen oder Schlussschemata insofern ein semantisches
Mehr1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.
Grundlagen der Mathematik für Informatiker 1 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage)
MehrBeweisen mit Semantischen Tableaux
Beweisen mit Semantischen Tableaux Semantische Tableaux geben ein Beweisverfahren, mit dem ähnlich wie mit Resolution eine Formel dadurch bewiesen wird, dass ihre Negation als widersprüchlich abgeleitet
MehrNativismus. Erklärungsansatz für den kindlichen Spracherwerb. Franziska Pelka & Jonas Lang
Nativismus Erklärungsansatz für den kindlichen Spracherwerb Franziska Pelka & Jonas Lang Gliederung Nativismus - Was ist das? LAD & Kritik am LAD?! Rolle des Inputs Lernbarkeits- und Entwicklungsproblem
MehrWissenschaftstheorie der Mathematik
Wissenschaftstheorie der Mathematik Frederik A. Gierlinger Veranstaltungsbeschreibung: Die Philosophie der Mathematik ist als eine Auseinandersetzung mit den theoretischen Grundlagen der Mathematik zu
MehrJeder Aussage p kann ein Wahrheitswert W(p) {0, 1} zugeordnet werden. Beispiele: W(Es regnet.) =? (je nach Lage der Dinge) W(Die Straße ist naß.) =?
Grundlagen der Mathematik für Informatiker 1 Grundlagen der Mathematik für Informatiker 2 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl.
MehrLogik und modelltheoretische Semantik. Grundlagen zum Bedeutung-Text-Modell (BTM)
Logik und modelltheoretische Semantik Grundlagen zum Bedeutung-Text-Modell (BTM) Robert Zangenfeind Centrum für Informations- und Sprachverarbeitung, LMU München 13.6.2017 Zangenfeind: BTM 1 / 26 Moskauer
MehrWie komme ich zu einer Note?
3. Dezember 2014 Wie komme ich zu einer Note? http://commons.wikimedia.org/wiki/file:albert_anker _Schreibender_Knabe_c1908.jpg Gewürfelt? http://www.animatedimages.org/imganimated-dice-image-0021-120721.htm
MehrSprachtechnologien und maschinelle Übersetzung heute und morgen eine Einführung Martin Kappus (ZHAW)
Martin Kappus (ZHAW) Ablauf: Warum sprechen wir heute über maschinelle Übersetzung? Geschichte und Ansätze Eingabe-/Ausgabemodi und Anwendungen 2 WARUM SPRECHEN WIR HEUTE ÜBER MASCHINELLE ÜBERSETZUNG?
MehrTheorie der Informatik. Theorie der Informatik. 2.1 Äquivalenzen. 2.2 Vereinfachte Schreibweise. 2.3 Normalformen. 2.
Theorie der Informatik 24. Februar 2014 2. Aussagenlogik II Theorie der Informatik 2. Aussagenlogik II 2.1 Äquivalenzen Malte Helmert Gabriele Röger 2.2 Vereinfachte Schreibweise Universität Basel 24.
MehrIntensifiers and Reflexive Pronouns in English and Mandarin Chinese
Europäische Hochschulschriften / European University Studies / Publications Universitaires Européennes 469 Intensifiers and Reflexive Pronouns in English and Mandarin Chinese A Contrastive Study Bearbeitet
MehrProseminar Syntax. Diana Schackow
Proseminar Syntax Diana Schackow 1 Fahrplan Inhalt: Analyse syntaktischer Strukturen deskriptive Perspektive, typologische Vielfalt Vergleich verschiedener theoretischer Ansätze 2 Fahrplan Voraussetzungen:
MehrErwin Rogler. Zum Leib-Seele Problem in der Philosophie des 20. Jahrhunderts
1 Erwin Rogler Zum Leib-Seele Problem in der Philosophie des 20. Jahrhunderts Montag, den 21.1. und 28.1.2008, 14 15 Uhr Raum 2501, Campus Westend Der Vortrag findet im Rahmen der Veranstaltung von Prof.
Mehr