LÖSUNGEN ZU AUFGABE (41)
|
|
- Mareke Bretz
- vor 6 Jahren
- Abrufe
Transkript
1 DGB 40 Universität Athen, WiSe Winfried Lechner Handout #3 LÖSUNGEN ZU AUFGABE (41) 1. WIEDERHOLUNG: PARAPHRASEN, SITUATIONEN UND AMBIGUITÄT Ein Satz Σ ist ambig, wenn Σ mehr als eine Bedeutung ( Interpretation; Lesung) besitzt. Zur Wiederholung wird hier nochmals kurz die Strategie explizit gemacht, die verwendet wurde, um festzustellen, ob ein Satz tatsächlich ambig ist oder nicht. Das Rezept ist auf zwei Interpretationen beschränkt, kann aber beliebig erweitert werden. 1.1: Suche nach möglichen Skopusreihenfolgen und Paraphrasen Paraphrasen Die beiden Interpretationen des Satzes werden durch Paraphrasen dargestellt. Dabei entspricht die Abfolge der Quantoren oder Operatoren in den Paraphrasen der Skopusabfolge Quantoren Quantoren, die wir kennengelernt haben, sind NPs, die mit jeder, kein, viele, ein, alle, etc... beginnen, also z.b. jedes Buch, keine Idee, viele Hunde, ein Mann, alle Frauen. Auch Modalverben sind Quantoren: müssen, können, dürfen, etc... Operatoren sind: alle Quantoren und die Negation (nicht, un, δεν, µην,...) Wie formuliert man Paraphrasen? Paraphrasen kann man auf unterschiedliche Arten produzieren. Hier einige Hinweise. Universalquantor: Paraphrasen für Ausdrücke der Form alle NP oder jeder NP sind:für jede/n/s NP x gilt, dass x... ( x ist eine Variable, d.h. ein Ausdruck, dessen Bedeutung mit allen anderen Ausdrücken der gleichen Form - hier x - variiert. Statt x könnte man auch y verwenden, oder v, wenn man alle x durch y oder v ersetzen würde.) (1) a. Jeder Hund schläft b. Paraphrase: Für jeden Hund x gilt, dass x schläft (2) a. Maria mag alle Tiere. b. Paraphrase: Für jedes Tier v gilt, dass Maria v mag Existenzquantor: Paraphrasen für Ausdrücke der Form ein NP oder mindesten drei NP sind: Es gibt (mindestens) ein x, sodass x... (3) a. Ein Hund schläft b. Paraphrase: Es gibt einen Hund x, sodass x schläft Negation: Paraphrasen für Ausdrücke der Form, die eine Negation enthalten: Es ist nicht der Fall, dass... (4) a. Jolly schläft nicht b. Paraphrase: Es ist nicht der Fall, dass Jolly schläft. Die Kombination von Quantoren wurde im Kurs besprochen. Wenn es Fragen gibt, bitte senden Sie mir ein über E-taxh!
2 1.2: Gibt es Situationen, die zeigen, dass die Interpretationen unabhängig sind? Wenn man eine Situation s gefunden hat, die ein Satz Σ nur in einer der beiden Lesungen beschreiben kann, kann daraus geschlossen werden, dass der Satz Σ ambig ist. (Für Details siehe Skriptum.) Bedeutet dies, dass der Satz auch zwei unterschiedliche abstrakte LF Repräsentationen (eine und eine ) besitzt? Nein, noch nicht. Es könnte sein, dass beide Situationen durch eine einzige LF beschrieben werden können. Nur wenn die Invertierte Lesung es möglich macht, Situationen zu beschreiben, die man nicht durch die beschreiben kann, kann man sicher sein, dass es auch eine LF für die gibt. (Bitte fragen Sie, wenn etwas nicht klar ist!) 2. LÖSUNGEN ZU EINIGEN ÜBUNGEN (41) AUS HANDOUT #2 (41) a. Genau ein Buch war nicht auf der Liste Paraphrasen: Für genau ein Buch gilt, Es ist nicht der Fall, dass dass es nicht auf der Liste war genau ein Buch auf der Liste war Buch auf der Liste sein s 1 :! 1 û " wahr falsch! 2 " (da! 2 nicht auf der Liste war) (da nur! 1 auf der Liste war) s 2 :! 1 " falsch wahr! 2 " (da zwei Bücher nicht auf der Liste waren) (interpretiere x û " als x war auf der Liste) Anmerkung: Wenn man zeigen will, dass es Szenarien/Situationen gibt, in denen (41)a in der als wahr aber in der invertierten Lesung als falsch interpretiert wird, muß man eine Situation mit genau zwei Büchern wählen! " Nehmen wir an, die Situation enthält drei oder mehr Bücher, und nur ein einziges Buch steht auf der Liste (s 3 ). Der Satz kann eine solche Situation weder in der noch in der der invertierten Lesung beschreiben: s 3 :! 1 û " falsch falsch! 2 "! 3 " " Wenn dagegen mehr als ein Buch auf der Liste steht, kommt der Satz in beiden Interpretationen als wahr heraus: s 4 :! 1 û " wahr wahr! 2 û " Genau ein Buch stand auf der Liste! 3 " ist falsch, daher ist Es ist nicht der Fall, dass... wahr
3 3 DGB 40 Schnittstellen, WiSe (41) b. Nicht jeder hat eine Frage beantwortet (Annahme: jeder bezieht sich auf Schüler) Es ist nicht der Fall, Es gibt eine Frage, die dass jeder eine Frage beantwortet hat nicht jeder beantwortet hat Schüler Fragen s 1 :! 1 û " 1 wahr wahr! 2 " 2 (da z.b. nicht alle " 1 beantworteten)! 3 û " 3 s 2 :! 1 û " 1 " 2 falsch wahr! 2 û " 1 (da jeder eine Frage beantwortete) (da nicht alle " 2 beantworteten)! 3 û " 1 (interpretiere x û y als x hat y beantwortet ) Anmerkung zu (41)b: Es ist aus logischen Gründen nicht möglich, ein Szenario zu finden, in dem die als wahr, die invertierte Lesung aber als falsch interpretiert wird. (41) c. Niemand hat alle Bücher gelesen (Annahme: niemand bezieht sich auf Schüler) Schüler Bücher Es ist nicht der Fall, dass einer alle Bücher gelesen hat Für alle Bücher gilt, dass sie niemand gelesen hat s 1 :! 1 û " 1 wahr falsch! 2 û " 2 (da z.b. " 1 von jemandem! 3 û " 3 gelesen wurde) s 2 :! 1 û " 1 " 2 " 3 falsch falsch! 2 û " 1 (da! 1 alle Bücher! 3 û " 1 gelesen hat) Anmerkung zu (41)c: Es ist aus logischen Gründen nicht möglich ein Szenario zu finden, in dem nur die als falsch interpretiert wird. (41) d. Niemand hat genau ein Buch gelesen (Annahme: niemand bezieht sich auf Schüler) Schüler Bücher Es ist nicht der Fall, Für genau ein Buch gilt, dass dass einer genau ein Buch gelesen hat es niemand gelesen hat s 1 :! 1 û " 1 " 2 wahr falsch! 2 û " 2 " 3 (da alle Bücher gelesen wurden) s 2 :! 1 û " 1 " 2 falsch wahr! 2 û " 2 " 3 " 4
4 #3: Lösungen/kein 4 (41) f. Alle wussten die Antwort nicht (Annahme: alle bezieht sich auf Schüler) Für alle gilt, dass Es ist nicht der Fall, dass Schüler Antwort sie die Antwort nicht wussten alle die Antwort wussten s 1 :! 1 " wahr wahr! 2 "! 3 " s 2 :! 1 " falsch wahr! 2 û " (da z.b.! 2 die Antwort wusste)! 3 û " (interpretiere x û " als x wusste die Antwort ) (41) h. ƒsie ißt keinen Käse weil er stinkt = ƒsie ißt nicht Käse weil er stinkt Lesung A, weil Sie isst Käse, aber der Grund ist nicht, dass er stinkt Y sie isst Käse Lesung B, weil Da Käse stinkt, isst sie keinen Käse Y sie isst keinen Käse (41) i. Wir schwören nicht die Wahrheit zu sagen Lesung A, schwören Wir versprechen nicht, dass wie die Wahrheit sagen werden Lesung B, schwören Wir versprechen zu lügen (41) j. Mehrere Antworten sind möglicherweise richtig Lesung A, mehrere möglicherweise Es gibt mehrere Antworten, sodass es möglich ist, dass diese richtig sind Y es existieren Antworten Lesung B, möglicherweise mehrere Es ist möglich, dass es mehrere Antworten gibt, die richtig sind Y es gibt möglicherweise ist mehr als eine Antwort richtig Anmerkung: Die beiden Lesungen von (41)j unterscheiden sich folgendermaßen. Wenn der Satz (41)j in Lesung A wahr ist, dann müssen mehrere Lösungen existieren (zumindest ist der Sprecher davon überzeugt, dass es solche gibt). In Lesung B ist das nicht notwendig, es genügt die Möglichkeit mehrerer richtiger Lösungen.
5 5 DGB 40 Schnittstellen, WiSe ANMERKUNG ZU KEIN Im Prinzip gibt es zwei Möglichkeiten, QPs die mit kein gebildet werden, zu interpretieren: (1) Kein Fisch fliegt. a. œ Für alle Fische gilt, dass sie nicht fliegen b. : Es ist nicht der Fall, dass ein Fisch fliegt Es stellt sich die Frage, ob beide Paraphrasen die Bedeutung richtig darstellen. Diese Frage ist relevant, da die Antwort wichtige Rückschlüsse auf die Logisch Form (LF) des Satzes zulässt. Wenn (1)a korrekt ist, dann liegt dem Satz (1) die LF in (2)a zugrunde. Stellt sich (1)b als richtig heraus, dann muss (1) so wie in (2)b analysiert werden: (2) a. 3 Alle Fische 3 nicht 6 fliegen b. 3 Nicht 3 ein Fisch 6 fliegt Beispiele, die kein NP sowie einen weiteren Operator enthalten, ermöglichen es, zwischen diesen beiden Optionen zu entscheiden. (3) ist so ein Fall. In der natürlichsten Interpretation wird (3) wie in (3)a verstanden. Dabei hat die Negation weitesten Skopus, der Existenzquantor ( ) erhält engsten Skopus, und möglich befindet sich in der Mitte : (3) Maria kann keinen Fisch essen a. möglich : Es ist nicht möglich, dass Maria einen Fisch isst b. möglich : Es ist möglich, dass Maria keinen Fisch isst Nehmen wir nun an, dass kein Fisch als interpretiert wird, dass also Darstellung (1)b/(2)b richtig ist. Nach dieser Hypothese sieht die NP eigentlich so wie in (2)b aus. Der Determinator besteht also aus zwei getrennten Komponenten (nicht und ein), die im Deutschen als ein einziges Wort (kein) ausgesprochen werden. Man nennt dieses Phänomen auch Kohäsion (s. Handout #2). Beispiel (3)a lässt sich dann folgendermaßen erklären. Auf der abstrakten Ebene der LF können Operatoren durch QR bewegt werden. Eine ähnliche Operation führt dazu, dass die Negation ( ) weitesten Skopus, also Skopus über das Modalverb, erlangt. Wird dagegen angenommen, dass kein Fisch als œ interpretiert wird (Darstellung (1)a/(2)a), ist eine dergestalt einfache Analyse nicht möglich. Konkret wäre es unter dieser alternativen Annahme nämlich unklar, wie eine Skopusabfolge generiert werden kann, die der Bedeutung von (3)a entspricht. Ohne auf die Details näher einzugehen, kann man sich verdeutlichen, dass (3)c nicht das gewünschte Resultat liefert. ((3)c verbietet nur, dass Maria alle Fische isst - das ist aber nicht, was (3)a ausdrückt 1 ) 1 Es ist möglich, eine Skopusabfolge zu finden, die (3)a entspricht (notwendig œ nicht), aber es ist äußerst unplausibel, dass der Satz so zu analysieren ist.
6 #3: Lösungen/kein 6 c. möglich œ: Es ist nicht möglich, dass Maria alle Fisch isst Diese Beobachtung kann als Evidenz oder Indiz dafür angesehen werden, dass die Bedeutung von negativen Indefinita (kein NP) tatsächlich auf, und nicht auf œ, basiert.
DGB 40 Schnittstellen Universität Athen, WiSe
DGB 40 Schnittstellen Universität Athen, WiSe 2010-11 Winfried Lechner wlechner@gs.uoa.gr.gr Handout #2, v.1.1 AMBIGUITÄT UND LF Synoposis: Es soll gezeigt werden, dass nicht nur die Form eines Satzes,
MehrDGB 40 Schnittstellen Universität Athen, WiSe Winfried Lechner Skriptum,Teil 2
DGB 40 Schnittstellen Universität Athen, WiSe 2012-13 Winfried Lechner Skriptum,Teil 2 DIE LOGISCHE FORM Synoposis: Es wird gezeigt werden, dass nicht nur die Form eines Satzes, also die hörbare/sichtbare
MehrEinführung in die Semantik, 10. Sitzung Generalisierte Quanto
Einführung in die Semantik, 10. Sitzung Generalisierte Quantoren, NPIs und Negation Göttingen 3. Januar 2007 Generalisierte Quantoren Prädikatenlogik Typentheorie Bedeutung von GQs Monotonizität GQs und
MehrVorkurs Mathematik - SoSe 2017
3 Vorkurs Mathematik - SoSe 2017 Regula Krapf Lösungen Übungsblatt 2 Aufgabe 1. Zeigen Sie, dass die beiden Aussagen ( x : P(x)) ( x : Q(x)) und x : (P(x) Q(x)). nicht dasselbe ausdrücken. Wie sieht es
MehrMODALITÄT UND MODALVERBEN
04 Semantik Universität Athen, SoSe 2010 Winfried Lechner wlechner@gs.uoa.gr. Handout #3 MODALITÄT UND MODALVERBEN (1) Modalverben: müssen, können, dürfen, sollen, wollen, brauchen,... " Modalverben sind
MehrVorkurs: Mathematik für Informatiker
Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2016/17 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler Wintersemester 2016/17 Inhaltsverzeichnis Teil 1 Teil
MehrFormale Semantik. Tutorium WiSe 2013/ Oktober Sitzung: Prädikatenlogik
Formale Semantik Tutorium WiSe 2013/14 28. Oktober 2013 1. Sitzung: Prädikatenlogik Übersetzung natürlich sprachlicher Ausdrücke in die Prädikatenlogik Häufige Ausdrücke: Übersetzung natürlich sprachlicher
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
MehrDGm 04 Semantik Universität Athen, SoSe 2010
DGm 04 Semantik Universität Athen, SoSe 2010 Winfried Lechner wlechner@gs.uoa.gr Handout #1 WAS IST SEMANTIK? 1. BEDEUTUNG Die natürlichsprachliche Semantik untersucht A. die Bedeutung von sprachlichen
Mehr1 K-Rahmen und K-Modelle
Seminar: Einführung in die Modallogik (WS 15/16) Lehrender: Daniel Milne-Plückebaum, M.A. E-Mail: dmilne@uni-bielefeld.de Handout: K-Rahmen, K-Modelle & K-Wahrheitsbedingungen Im Folgenden werden wir uns
MehrVorlesung. Logik und Beweise
Vorlesung Logik und Beweise Der folgende Abschnitt dient nur zur Wiederholung des Stoffes der ersten Vorlesung und sollte nur genannt bzw. teilweise schon vor der Vorlesung angeschrieben werden. Wiederholung
MehrMengen. Welche dieser Mengen sind paarweise gleich, ungleich? Begründung!
Hinweis: Auf den Übungsblättern in diesem Semester wird es grundsätzlich die drei Aufgabentypen Vorbereitungsaufgabe, Tutoraufgabe und Hausaufgabe geben. Die als Vorbereitung bezeichneten Aufgaben dienen
MehrVorlesung. Beweise und Logisches Schließen
Vorlesung Beweise und Logisches Schließen Der folgende Abschnitt dient nur zur Wiederholung des Stoffes der ersten Vorlesung und sollten nur genannt bzw. Teilweise schon vor der Vorlesung angeschrieben
Mehr4. Das Problem der möglichen und unmöglichen Gegenstände
4. Das Problem der möglichen und unmöglichen Gegenstände Betrachten wir folgende Sätze: (1) Der goldene Berg ist golden. (2) Das runde Viereck ist rund. (3) Das Perpetuum mobile ist identisch mit dem Perpetuum
MehrDas Pumping Lemma der regulären Sprachen
Das Pumping Lemma der regulären Sprachen Frank Heitmann heitmann@informatik.uni-hamburg.de 1 Das Pumping Lemma Das Pumping Lemma der regulären Sprachen macht eine Aussage der Art wenn eine Sprache L regulär
MehrVorkurs: Mathematik für Informatiker
Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2017/18 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler Wintersemester 2017/18 Inhaltsverzeichnis Teil 1 Teil
MehrVorkurs: Mathematik für Informatiker
Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2017/18 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler Wintersemester 2017/18 Inhaltsverzeichnis Teil 1 Teil
MehrMathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004
Mathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004 In der letzten Vorlesung haben wir gesehen, wie man die einzelnen Zahlenbereiche aufbaut. Uns fehlen nur noch die reellen Zahlen (siehe
MehrTECHNISCHE UNIVERSITÄT MÜNCHEN
TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mathematik PROF. DR.DR. JÜRGEN RICHTER-GEBERT, VANESSA KRUMMECK, MICHAEL PRÄHOFER Höhere Mathematik für Informatiker II (Sommersemester 2004) Lösungen zu Aufgabenblatt
Mehr1 Aussagenlogischer Kalkül
1 Aussagenlogischer Kalkül Ein Kalkül in der Aussagenlogik soll die Wahrheit oder Algemeingültigkeit von Aussageformen allein auf syntaktischer Ebene zeigen. Die Wahrheit soll durch Umformung von Formeln
MehrNormalformen der Prädikatenlogik
Normalformen der Prädikatenlogik prädikatenlogische Ausdrücke können in äquivalente Ausdrücke umgeformt werden Beispiel "X (mensch(x) Æ sterblich(x)) "X (ÿ mensch(x) sterblich(x)) "X (ÿ (mensch(x) Ÿ ÿ
MehrKapitel 4. Programmierkurs. Datentypen. Arten von Datentypen. Datentypen und Operatoren Ganzzahlige Numerische Datentypen Logischer Datentyp
Kapitel 4 Programmierkurs Birgit Engels, Anna Schulze Datentypen und Operatoren Ganzzahlige Numerische Datentypen Logischer Datentyp ZAIK Universität zu Köln WS 07/08 1 / 6 Datentypen Arten von Datentypen
MehrElemente der Mathematik - Winter 2016/2017
4 Elemente der Mathematik - Winter 2016/2017 Prof. Dr. Peter Koepke, Regula Krapf Lösungen Übungsblatt 2 Aufgabe 6 (4 Punkte). Bestimmen Sie mit Hilfe von Wahrheitstafeln, welche der folgenden aussagenlogischen
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)
MehrQ.E.D. Algorithmen und Datenstrukturen Wintersemester 2018/2019 Übung#2, Christian Rieck, Arne Schmidt
Institute of Operating Systems and Computer Networks Algorithms Group Q.E.D. Algorithmen und Datenstrukturen Wintersemester 2018/2019 Übung#2, 01.11.2018 Christian Rieck, Arne Schmidt Einführendes Beispiel
Mehr1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen?
Lineare Algebra D-MATH, HS 2014 Prof. Richard Pink Lösung 1 1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen? a Niemand versteht
MehrÜbungen zur Analysis I
Übungen zur Analysis I Prof. Dr. C. Löh/M. Blank Blatt 0 vom 4. Mai 2011 the Ravenous Bugblatter Beast of Traal (a mindboggingly stupid animal, it assumes that if you can t see it, it can t see you daft
MehrPaare und Kartesische Produkte
Paare und Kartesische Produkte Aufgabe 1. Stellen Sie das Tripel (a, b, c) als Paar und als Menge dar. Hinweis: Verwenden Sie Farben. Lösung von Aufgabe 1. (a, b, c) = ((a, b), c) Paar Darstellung (a,
MehrWas ist Logik? Was ist Logik? Aussagenlogik. Wahrheitstabellen. Geschichte der Logik eng verknüpft mit Philosophie
Was ist Logik? Geschichte der Logik eng verknüpft mit Philosophie Begriff Logik wird im Alltag vielseitig verwendet Logik untersucht, wie man aus Aussagen andere Aussagen ableiten kann Beschränkung auf
MehrHauptseminar Information, Struktur, Bedeutung WS 2007/2008
Mi (3) [11:10 12:40] BZW A 418 Mi (4) [13:00 14:30] Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Holm Bräuer M.A. Hauptseminar WS 2007/08 Büro: BZW A 416 Sprechstunde:
MehrÜBUNG ZUM GRUNDKURS LOGIK WS 2015/16 GÜNTHER EDER
ÜBUNG ZUM GRUNDKURS LOGIK WS 2015/16 GÜNTHER EDER WIEDERHOLUNG: SPRACHE DER PL Die Sprache der PL enthält (1) Einfache Individuenterme: Individuenkonstanten (a, b, c, ) und Individuenvariablen (x, y, z,
MehrMathematische Grundlagen der Computerlinguistik
überblick Centrum für Informations- und Sprachverarbeitung (CIS) 2. Juni 2014 Allgemeines Termine Übung und Skript Plan Table of Contents 1 Allgemeines Termine Übung und Skript Plan 2 Allgemeines Termine
MehrTilman Bauer. 4. September 2007
Universität Münster 4. September 2007 und Sätze nlogik von Organisatorisches Meine Koordinaten: Sprechstunden: Di 13:30-14:30 Do 9:00-10:00 tbauer@uni-muenster.de Zimmer 504, Einsteinstr. 62 (Hochhaus)
MehrHM I Tutorium 1. Lucas Kunz. 27. Oktober 2016
HM I Tutorium 1 Lucas Kunz 27. Oktober 2016 Inhaltsverzeichnis 1 Theorie 2 1.1 Logische Verknüpfungen............................ 2 1.2 Quantoren.................................... 3 1.3 Mengen und ihre
MehrSemantik und Pragmatik
Semantik und Pragmatik SS 2005 Universität Bielefeld Teil 3, 29. April 2005 Gerhard Jäger Semantik und Pragmatik p.1/26 Übersetzung Deutsch Aussagenlogik Motivation für Übersetzung: Deutsch als Objektsprache:
MehrELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise
ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise MAA.01011UB MAA.01011PH Vorlesung mit Übung im WS 2016/17 Christoph GRUBER Günter LETTL Institut für Mathematik und wissenschaftliches
MehrAND -logische Multiplikation
Posten: AND-logische Multiplikation Informationsblatt für die Lehrkraft AND -logische Multiplikation X X OR Y Y Posten: AND-logische Multiplikation Informationsblatt für die Lehrkraft Thema: Schultyp:
MehrEinführung in die Semantik, 8. Sitzung Typentheorie, F deutsch
Einführung in die Semantik, 8. Sitzung, F deutsch Göttingen 1. Dezember 2006 Einführung in die Semantik, 8. Sitzung, F deutsch Semantik von F deutsch Satzoperatoren Negation Konjunktion und Disjunktion
MehrSemantik: Semantik von Merkmalsstrukturen
Spezielle Themen der KI : von Subsumption Notation: t 1 t 2 Definition: Eine Merkmalsstruktur t 1 subsumiert eine Merkmalsstruktur t 2 gdw. die Menge der von t 2 beschriebenen Elemente eine Teilmenge der
MehrInformationsverarbeitung auf Bitebene
Informationsverarbeitung auf Bitebene Dr. Christian Herta 5. November 2005 Einführung in die Informatik - Informationsverarbeitung auf Bitebene Dr. Christian Herta Grundlagen der Informationverarbeitung
MehrZweite und dritte Sitzung
Zweite und dritte Sitzung Mengenlehre und Prinzipien logischer Analyse Menge Eine Menge M ist eine Zusammenfassung von wohlbestimmten und wohlunterschiedenen Objekten unserer Anschauung und unseres Denkens
MehrKlausur zur Vorlesung Mathematische Logik
Universität Heidelberg 13. Februar 2014 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Thorsten Kräling Klausur zur Vorlesung Mathematische Logik Musterlösung Aufgabe 1 (Aussagenlogik
MehrVorkurs: Mathematik für Informatiker
Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 018/19 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de c 018 Steven Köhler Wintersemester 018/19 Inhaltsverzeichnis Teil 1 Teil Teil
Mehrb liegt zwischen a und c.
2 DIE ANORDNUNGSAXIOME 5 (2.4) a, b, c R : (a < b 0 < c) ac < bc Monotoniegesetz der Multiplikation Bezeichnungen a > b : b < a (> wird gelesen: größer als ) a b : a < b oder a = b a b : a > b oder a =
Mehr4.3 NPn als Objekte oder als Prädikative
4.3 NPn als Objekte oder als Prädikative 4.3.1 Quantifizierende NPn in Objektposition Steht eine quantifizierende NP nicht in Subjekt-, sondern in Objektposition, ist unter den bisher angenommenen Voraussetzungen
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
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 3: Alphabete, Abbildungen, Aussagenlogik Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2010/2011 1/32 Überblick Alphabete
MehrDiskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier
Diskrete Strukturen und Logik WiSe 2007/08 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Diskrete Strukturen und Logik Gesamtübersicht Organisatorisches Einführung Logik & Mengenlehre
MehrGrundlagen der Theoretischen Informatik
FH Wedel Prof. Dr. Sebastian Iwanowski GTI22 Folie 1 Grundlagen der Theoretischen Informatik Sebastian Iwanowski FH Wedel Kap. 2: Logik, Teil 2.2: Prädikatenlogik FH Wedel Prof. Dr. Sebastian Iwanowski
MehrSonst steht uns kein weiteres Symbol für die Bildung von AL-Formeln zur Verfügung.
Seminar: Einführung in die Modallogik (WS 16/17) Lehrender: Daniel Milne-Plückebaum, M.A. E-Mail: dmilne@uni-bielefeld.de Handout: Syntax und Semantik der Aussagenlogik Die Syntax der Aussagenlogik Um
MehrKünstliche Intelligenz Softwaretechnologie: Prolog
Künstliche Intelligenz Softwaretechnologie: Prolog Stephan Schwiebert sschwieb@spinfo.uni-koeln.de Wiederholung Konzepte logische Äquivalenz Die Aussagen p und q sind genau dann äquivalent, wenn sie unter
MehrLogik. Ernest Peter Propädeutikum Mathematik Informatik/Wirtschaftsinformatik, Block Aussage
Logik Die Logik ist in der Programmierung sehr wichtig. Sie hilft z.b. bei der systematischen Behandlung von Verzweigungen und Schleifen. z.b. if (X Y und Y>0) then Oder beim Beweis, dass ein Algorithmus
MehrAbschnitt 11: Korrektheit von imperativen Programmen
Abschnitt 11: Korrektheit von imperativen Programmen 11. Korrektheit von imperativen Programmen 11.1 11.2Testen der Korrektheit in Java Peer Kröger (LMU München) in die Programmierung WS 16/17 931 / 961
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
MehrGrundkurs Semantik. Sitzung 6: Prädikation, Modifikation, Referenz. Andrew Murphy
Grundkurs Semantik Sitzung 6: Prädikation, Modifikation, Referenz Andrew Murphy andrew.murphy@uni-leizpig.de Grundkurs Semantik HU Berlin, Sommersemester 2015 http://www.uni-leipzig.de/ murphy/semantik15
MehrArgumentationstheorie 4. Sitzung
Noch ein Beispiel Argumentationstheorie 4. Sitzung Prof. Dr. Ansgar Beckermann Wintersemester 2004/5 empirische Hypothese (P1) echte Noch ein Beispiel Noch ein Beispiel empirische Hypothese (P1) Ein metaphysischer
MehrLogik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 22 Quantoren Till Mossakowski Logik 2/ 22 Quantoren: Motivierende Beispiele x Cube(x)
MehrInhaltsverzeichnis. Inhaltsverzeichnis
Inhaltsverzeichnis Inhaltsverzeichnis 1 Beweistechniken 1.1 Prädikatenlogik..................................... 1. Direkter Beweis.................................... 3 1.3 Indirekter Beweis....................................
MehrTutoraufgabe 1 (Auswertungsstrategie):
Prof. aa Dr. J. Giesl Programmierung WS12/13 M. Brockschmidt, F. Emmes, C. Otto, T. Ströder Tutoraufgabe 1 (Auswertungsstrategie): Gegeben sei das folgende Haskell-Programm: absteigend :: Int - > [ Int
MehrKapitel 1.5 und 1.6. Ein adäquater Kalkül der Aussagenlogik
Kapitel 1.5 und 1.6 Ein adäquater Kalkül der Aussagenlogik Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls Mathematische Logik (WS 2010/11) Kapitel 1.5 und 1.6: Kalküle 1 /
MehrKapitel 1. Aussagenlogik
Kapitel 1 Aussagenlogik Einführung Mathematische Logik (WS 2012/13) Kapitel 1: Aussagenlogik 1/17 Übersicht Teil I: Syntax und Semantik der Aussagenlogik (1.0) Junktoren und Wahrheitsfunktionen (1.1) Syntax
MehrFrege löst diese Probleme, indem er zusätzlich zum Bezug (Bedeutung) sprachlicher Ausdrücke den Sinn einführt.
1 Vorlesung: Denken und Sprechen. Einführung in die Sprachphilosophie handout zum Verteilen am 9.12.03 (bei der sechsten Vorlesung) Inhalt: die in der 5. Vorlesung verwendeten Transparente mit Ergänzungen
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
MehrDiskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier
Diskrete Strukturen und Logik WiSe 2007/08 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Diskrete Strukturen und Logik Gesamtübersicht Organisatorisches Einführung Logik & Mengenlehre
MehrII. Grundlagen der Programmierung
II. Grundlagen der Programmierung II.1. Zahlenssteme und elementare Logik 1.1. Zahlenssteme 1.1.1. Ganze Zahlen Ganze Zahlen werden im Dezimalsstem als Folge von Ziffern 0, 1,..., 9 dargestellt, z.b. 123
MehrFormale Semantik. λ Typenlogik. Tutorium WiSe 2013/ November Sitzung: Folien freundlicherweise bereitgestellt von Andreas Bischoff
Formale Semantik Tutorium WiSe 2013/14 20. November 2013 3. Sitzung: λ Typenlogik Folien freundlicherweise bereitgestellt von Andreas Bischoff Grenzen der Typenlogik Das letzte Mal: lesen(duden*) ( Eigenschaft
MehrLösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren
Lösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren µfsr, TU Dresden Version vom 11. Oktober 2016, Fehler, Ideen, Anmerkungen und Verbesserungsvorschläge bitte an benedikt.bartsch@myfsr.de
MehrSemantik und Pragmatik
Semantik und Pragmatik SS 2005 Universität Bielefeld Teil 10, 24. Juni 2005 Gerhard Jäger Semantik und Pragmatik p.1/26 Beschränkte Quantifikation Quantifikation in natürlicher Sprache ist normalerweise
MehrRechnerstrukturen, Teil 1. Vorlesung 4 SWS WS 14/15
Rechnerstrukturen, Teil 1 Vorlesung 4 SWS WS 14/15 Prof. Dr Jian-Jia Chen Dr. Lars Hildebrand Fakultät für Informatik Technische Universität Dortmund lars.hildebrand@tu-.de http://ls1-www.cs.tu-.de Übersicht
MehrMusterlösung Grundbegriffe der Mathematik Frühlingssemester 2016, Aufgabenblatt 1
Musterlösung Grundbegriffe der Mathematik Frühlingssemester 01, Aufgabenblatt 1 Aufgabenblatt 1 0 Punkte Aufgabe 1 Welche der folgenden Ausdrücke sind Aussagen, welche sind Aussageformen und welche sind
MehrDie Prädikatenlogik erster Stufe: Syntax und Semantik
Die Prädikatenlogik erster Stufe: Syntax und Semantik 1 Mathematische Strukturen und deren Typen Definition 1.1 Eine Struktur A ist ein 4-Tupel A = (A; (R A i i I); (f A j j J); (c A k k K)) wobei I, J,
Mehr/26
7 8 3 3 7 2 8 2 8. /2 Sudoku 2 2 3 3 7 7 8 8 8 Füllen Sie die leeren Felder so aus, dass in jeder Zeile, in jeder Spalte und in jedem 3x3 Kästchen alle Zahlen von bis stehen.. 2/2 Warum? 7 8 3 3 7 2 8
MehrHausaufgaben Negation Aussagen Implikation Äquivalenz Zusammenfassung. Elementare Logik. Diskrete Strukturen. Uta Priss ZeLL, Ostfalia
Elementare Logik Diskrete Strukturen Uta Priss ZeLL, Ostfalia Sommersemester 2016 Diskrete Strukturen Elementare Logik Slide 1/26 Agenda Hausaufgaben Negation Aussagen Implikation Äquivalenz Zusammenfassung
MehrQuantoren (6) (1) a. jede Frau b. eine Frau c. keine Fraue d. drei Frauen e. die meisten Frauen f. viele Frauen
Quantoren (6) (1) a. jede Frau b. eine Frau c. keine Fraue d. drei Frauen e. die meisten Frauen f. viele Frauen Solche Ausdrücke werden im allgemeinen Quantoren oder quantifizierende Nominalphrasen genannt,
MehrErinnerung 1. Erinnerung 2
Erinnerung 1 Ein Argument ist eine Folge von Aussagesätzen, mit der der Anspruch verbunden ist, dass ein Teil dieser Sätze (die Prämissen) einen Satz der Folge (die Konklusion) in dem Sinne stützen, dass
MehrZum Nachdenken. Welche Eigenschaften einer Vorzeichendarstellung. erreichen? Wie könnte man Vorzeichenzahlen darstellen?
TECHNISCHE HOCHSCHULE NÜRNBERG GEORG SIMON OHM Zum Nachdenken Welche Eigenschaften einer Vorzeichendarstellung könnte man versuchen zu erreichen? Wie könnte man Vorzeichenzahlen darstellen? Grundlagen
Mehr2. Gegeben sei folgender nichtdeterministischer endlicher Automat mit ɛ-übergängen:
Probeklausur Automatentheorie & Formale Sprachen WiSe 2012/13, Wiebke Petersen Name: Matrikelnummer: Aufgabe A: Typ3-Sprachen 1. Konstruieren Sie einen endlichen Automaten, der die Sprache aller Wörter
MehrStatistische Tests. Kapitel Grundbegriffe. Wir betrachten wieder ein parametrisches Modell {P θ : θ Θ} und eine zugehörige Zufallsstichprobe
Kapitel 4 Statistische Tests 4.1 Grundbegriffe Wir betrachten wieder ein parametrisches Modell {P θ : θ Θ} und eine zugehörige Zufallsstichprobe X 1,..., X n. Wir wollen nun die Beobachtung der X 1,...,
MehrEinführung in die mathematische Logik
Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 23 Der erste Gödelsche Unvollständigkeitssatz Wir haben gesehen, dass die Unentscheidbarkeit des Halteproblems über
MehrAlgorithmen und Datenstrukturen
Algorithmen und Datenstrukturen Große Übung #2 Phillip Keldenich, Arne Schmidt 10.11.2016 Organisatorisches Fragen? Checkliste: Anmeldung kleine Übungen Anmeldung Mailingliste Dies ersetzt nicht die Prüfungsanmeldung!
Mehry(p F x) gebunden und in den Formeln F xy
Wirkungsbereich (Skopus) eines Quantors i bzw. i nennen wir die unmittelbar auf i bzw. i folgende Formel. Wir sagen, eine IV i kommt in einer Formel A gebunden vor, wenn sie unmittelbar auf oder folgt
MehrVorkurs Mathematik im Sommersemester 2018
Vorkurs Mathematik im Sommersemester 2018 Dr. Regula Krapf Lösungen Übungsblatt 1 Aufgabe 1. Gegeben seien folgende Aussagen: A: Es ist kalt. B: Es schneit. Drücken Sie die nachfolgenden Sätze als aussagenlogische
MehrAufgaben zu Kapitel 8
Aufgaben zu Kapitel 8 Aufgabe 1 a) Berechnen Sie einen U-Test für das in Kapitel 8.1 besprochene Beispiel mit verbundenen n. Die entsprechende Testvariable punkte2 finden Sie im Datensatz Rangdaten.sav.
MehrSudoku. Warum 6? Warum 6?
. / Sudoku Füllen Sie die leeren Felder so aus, dass in jeder Zeile, in jeder Spalte und in jedem x Kästchen alle Zahlen von bis stehen.. / Warum?. / Warum?. / Geschichte der Logik Syllogismen (I) Beginn
MehrInstitut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark Dr. Markus Lange. Analysis 1. Aufgabenzettel 4
Institut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark 08.11.2018 Dr. Markus Lange Analysis 1 Aufgabenzettel 4 Abgabe bis 14. November 2018, 19:00 Uhr Erinnerung: Die Anmeldung für den Übungsschein
MehrAusdrücke (1) Grundlegende Eigenschaften
Ausdrücke () Grundlegende Eigenschaften bestehen aus Literalen, Konstanten, Variablen und Operatoren einfachster Ausdruck ist das Semikolon, es bewirkt nichts. Ausdrücke werden mit einem Semikolon abgeschlossen.
MehrHinweis: Aus Definition 1 und 2 folgt, dass die Zahl 0 zu den geraden Zahlen zählt.
Der Satz vom ausgeschlossenen Dritten. Der Satz vom ausgeschlossenen Dritten besagt, dass für jeden (wahrheitsfähigen) Satz gilt: Entweder der Satz oder seine Negation ist wahr. Wenn m. a. W. gezeigt werden
Mehr1. Übungsblatt zur Analysis I. Gruppenübungen
Prof. Dr. Helge Glöckner Wintersemester 2013/2014 17.10.2013 1. Übungsblatt zur Analysis I Gruppenübungen Aufgabe G1 (Aussagenlogik, Wahrheitstabellen) Es seien p und q Aussagen. (a) Geben Sie die Wahrheitstabelle
Mehr3.5 Semantische Repräsentation mit PL1
3.5 Semantische Repräsentation mit PL1 PL1 kann man als Formalismus zur Darstellung der Bedeutung natürlichsprachlicher Sätze verwenden. Solche Darstellungen werden als semantische Repräsentationen der
MehrInformatik I Information & Daten Repräsentation von Daten
Informatik I Information & Daten Repräsentation von Daten G. Zachmann Clausthal University, Germany zach@in.tu-clausthal.de Daten & Informationen Menschen sind an Informationen interessiert Computer verarbeiten
MehrAussagenlogik. Formale Methoden der Informatik WiSe 2012/2013 teil 6, folie 1
Aussagenlogik Formale Methoden der Informatik WiSe 22/23 teil 6, folie Teil VI: Aussagenlogik. Einführung 2. Boolesche Funktionen 3. Boolesche Schaltungen Franz-Josef Radermacher & Uwe Schöning, Fakultät
MehrAufgaben und Lösungen Ausarbeitung der Übungsstunde zur Vorlesung Analysis I
Aufgaben und en Ausarbeitung der Übungsstunde zur Vorlesung Analysis I Wintersemester 008/009 Übung am..008 Übung 4 Einleitung Zuerst soll auf den aktuellen Übungsblatt und Stoff der Vorlesung eingegangen
MehrBachelorarbeit. Was ist zu tun?
Bachelorarbeit Was ist zu tun? Titelseite Zusammenfassung/Summary Inhaltsverzeichnis Abkürzungsverzeichnis Einleitung Material und Methoden Ergebnisse Diskussion Ausblick Literaturverzeichnis Danksagung
MehrBINDUNG UND KOREFERENZ
DGB 40 Schnittstellen LF & PF Universität Athen, Wise 2010-11 Winfried Lechner wlechner@gs.uoa.gr Handout #4, v.2.0 BINDUNG UND KOREFERENZ In Handout #2 wurde demonstriert, dass in Sätzen mit mehr als
Mehr13 Übersetzung umgangssprachlicher Sätze in die Sprache AL
13 Übersetzung umgangssprachlicher Sätze in die Sprache AL Lässt sich die Kenntnis der logischen Eigenschaften der Sätze von AL auch zur Beurteilung umgangssprachlicher Sätze und Argumente nutzen? Grundsätzliches
MehrNormalformen boolescher Funktionen
Normalformen boolescher Funktionen Jeder boolesche Ausdruck kann durch (äquivalente) Umformungen in gewisse Normalformen gebracht werden! Disjunktive Normalform (DNF) und Vollkonjunktion: Eine Vollkonjunktion
MehrAussagenlogik. Aussagen und Aussagenverknüpfungen
Aussagenlogik Aussagen und Aussagenverknüpfungen Aussagen sind Sätze, von denen sich sinnvollerweise sagen läßt, sie seien wahr oder falsch. Jede Aussage besitzt also einen von zwei möglichen Wahrheitswerten,
MehrVektorrechnung. Beispiele: (4 8) 2-Tupel (Zahlenpaar) (4 8 9) 3-Tupel (Zahlentrippel)
Vektorrechnung Oftmals möchte man in der Mathematik mit mehreren Zahlen auf einmal rechnen. Dafür werde geordnete Listen verwendet. Eine Liste besteht aus n reellen Zahlen und wird n-tupel genannt. Beispiele:
MehrTU7 Aussagenlogik II und Prädikatenlogik
TU7 Aussagenlogik II und Prädikatenlogik Daniela Andrade daniela.andrade@tum.de 5.12.2016 1 / 32 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds
Mehr