Montague-Grammatik HIROYUKIZUO
|
|
- Annika Sternberg
- vor 6 Jahren
- Abrufe
Transkript
1 Kontrafaktische Montague-Grammatik Konditionale und HIROYUKIZUO 0. Die Wahrheitsbedingungen kontrafaktischer Konditionale sind schon von Goodman (1947), Stalnaker und Thomason (1970), Lewis (1973), Agvist (1973) u.a. untersucht worden. Kontrafaktische Konditionale, die normalerweise im subjunktiven Modus ausgedruckt werden, zeigen nach ihnen andere logische Eigenschaften als indikative Konditionale. Die Schlussfolgerung (1), die aus den kontrafaktischen Konditionalen (1Ka)-(1Kc) besteht, zeigt dementsprechend auch eine andere logische Eigenschaft als die Schlussfolgerung (2), die aus indikativen Konditionalen besteht. Die Kripkesche Semantik der moglichen Welten hat ihre Arbeit stark folgendermassen bestimmt: system) if and only if either (1973, S. 48) wie folgt definiert:
2 Kontrafaktische Konditionale und Montague-Grammatik 129 worlds, regarded as the ordering of worlds in respect of their comparative similarity to i, and a set Si of worlds regarded as the set of worlds accessible from i. Obwohl diese komparative Ahnlichkeitsrelation formal elegant ist, ist es (1Ka) wahr wird. Deshalb untersuche ich hier die Wahrheitsbedingungen fur kontrafaktische Konditionale, ohne den Begriff der "von i akzeptablen und i-ahnlichen Welten j" zu verwenden. Menge der Referenzpunkte genannt hat3). I sei hier das kartesische Produkt 1) UG, S ) UG, S ) UG, S. 228 f. 4) UG, S ) UG, S. 228.
3 130 HIROYUKI IZUO spricht Wir konnen unter diesem Modellbegriff den kontrafaktischen Konditional (1Ka) in (1Ka') wie folgt umschreiben. Den kontrafaktischen Konditional (1Ka) kann man folglich unter diesem Modellbegriff als diejenige Extensionalisierungsfunktion betrachten, die bezuglich eines erweiterten Modells M2 von M1 immer den Wahrheitswert (2a) identisch, obwohl (1Ka) im subjunktiven Modus ausgedruckt ist. (1Ka) horen (wobei 'i' fur Kennzeichnungsoperator, 'p' fur 'fliegen' und 'q' fur 'Sokrates' steht). Durch die Ubersetzungsregel, die nach der Sprachtheorie Montagues The Proper Treatment of Quantification in Ordinary English ('PTQ') den LN-Ausschnitt in die Sprache der intensionalen Logik IL ubersetzt,
4 Kontrafaktische Konditionale und Montague-Grammatik 131 "Wurde Sokrates fliegen, dann wurde ich mich von ihm scheiden lassen" ausserte, dann ist er kontrafaktisch, denn dabei wird der Proposi- gung nach PTQ. Es soll dabei vorausgesetzt werden, dass der Individuen- ditional "Wurde Zeus fliegen, wurde ich ihn heiraten", den Xanthippe Denn 'Zeus' kann bezuglich aller Indexe <i,j> kein Denotat festsetzen und 2. Um den kontrafaktischen Konditional (1Ka) als Extensionalisierungsfunktion noch allgemeiner zu formalisieren, soll (1Ka') wie folgt interpretiert werden. Menge derjenigen Satze, die erst durch die Denotatzuordnung h1, die durch Voraussetzung fordert das Konsequens von (1Ka), dass A1 zu A2 erweitert wird. A2 sei die Menge derjenigen Satze, die erst durch die Denotatzuord Unter dieser Interpretation wird (1Ka') in folgender Formalisierung geben soll. Er wird "allgemeiner kontrafaktischer Operator" genannt und mit 'C' bezeichnet. C wird folgendermassen definiert.
5 132 HIROYUKI IZUO durch die Denotatzuordnung hn, die durch Mn bestimmt wird, wahr wer- wind erst durch die Denotatzuordnung h1, die durch das Modell M1 be- aufbauen. A3 sei die Menge derjenigen Satze, die erst durch die Denotatzuordnung h3, die durch das Modell M3 bestimmt wird, wahr werden kon- es moglich, (1Kc) in der Schlussfolgerung (1) aus (1Ka) und (1Kb) zu er-
6 Kontrafaktische Konditionale und Montague-Grammatik 133 (Figur) Um die Schlussfolgerung (1) zustande zu bringen, will man moglicherweise folgende Bedingung noch intuitiv hinzufugen: hangig sein. Aber diese Bedingung ist uberflussig, wenn man den kontrafaktischen Kon Zuerst formuliere ich die dreistellige Relation R zwischen An-2, An-1 und An. Rxyz steht fur "y ist naher zu x als z". (a) (b) (c) Wenn An-2, An-1 und An festgesetzt werden, dann RAn-1An-2An. Wenn RAn-2An-3An-1 und RAn-1An-2An, dann RAn-1An-3An und RAn-1AnAn-3. Wenn RAn-1An-2An, dann RAn-1AnAn-2, Und wenn RA-1An-2An, dann Zwischen An-1 und An gibt es eine kalkulierbare Relation. Ich gebe
7 134 HIROYUKI IZUO Satzkombinationen, die in bezug auf das Modell M1 wahr sind und deswegen bestehen, und der Wahrheitswert der Satze aus deren Kombinationen kon- in bezug auf das Modell M2 wahr sind und deswegen neu zur Teilmenge
8 Kontrafaktische Konditionale und Montague-Grammatik Wir konnen die allgemeine, konsistente Struktur der Mengen A1 K1 ist dabei die Menge der Satzverbindungen in A1, die die Kom- Durch das oben gegebene Beispiel wird deutlich, dass diejenigen Satzver- Bereich des wahren Wahrheitswertes, der die Schlussfolgerung (1) gultig macht, betrachtet, dann ist ersichtlich, dass die Schlussfolgerung (1) eine ganz andere logische Eigenschaft als die Schlussfolgerung (2) zeigt, weil
9 136 HIROYUKI IZUO 4. Die logische Struktur des kontrafaktischen Konditionals mit modalen Operatoren wird, wenn man ihn auch als Extensionalisierungsfunktion betrachtet, wie folgt gegeben. Gegeben seien folgende Konditionale. Wir konnen die kontrafaktischen Konditionale, die (3)-(6) voraussetzen, wie folgt angeben. (3K)-(6K) werden auch als Extensionalisierungsfunktion betrachtet. (3K) wird in der naturlichen Sprache LN als 'would-not'-kontrafaktischer
10 Kontrafaktische Konditionale und Montague-Grammatik Die semantische Struktur des kontrafaktischen Konditionals (1Ka) wird nun im Rahmen der Pradikatenlogik hoherer Stufe erlautert. Was ich jetzt zeigen mochte, ist die Anwendbarkeit von C auf die Semantik Montagues. syntaktischen Operationen, zu denen die Operationen mittels der Funk- menge, aber An sei hier die Satzmenge. In der folgenden Diskussion werde ich die logischen Zeichen aus PTQ ubernehmen. syntaktische Kategorie von C IAV/IAV (IAV-modifizierende Adverbien) sein, wobei 'IAV' fur IV-modifizierende Adverbialphrasen steht ('IV' fur intransitive Verbalphrasen). struiert wird, dann soll die syntaktische Kategorie von C AJ/AJ (AJmodifizierende Adverbien) sein, wobei 'AJ' fur Adjektivphrasen steht. =Wenn Monika eine kontrafaktisch neue Tasche kauft, dann syntaktische Kategorie von C IV/IV (IV-modifizierende Adverbien) sein. Wir konnen dem Operator C noch andere Kategorien geben. In (7K), (8K) und (9K) kann man abet das Hilfsverb 'wurden' als diejenige Funktion betrachten, die solche syntaktischen Kategorien von C jeweils in eine 6) UG, S. 224 f.
11 138 HIROYUKI IZUO Kategorie t/t trans-kategorisiert. (Ein Satz ist dabei von der Kategorie t, und ein Satzadverb ist von der Kategorie t/t.) Folglich mochte ich hier vorlaufig solche syntaktischen Kategorien von C alle in eine Kategorie t/t trans-kategorisieren, um damit den kontrafaktischen Konditional als diejenige Funktion, die die Satze im Skopus des Vorkommens von C extensionalisiert, fungieren zu lassen. Die syntaktische Kategorie von C sei im allgemeinen t/t. Die syntaktische Regel von C wird dann folgendermassen angegeben. Sie gehort zur Regel der funktionalen Anwendung. Pt und Pt/t stehen fur die Menge der sinnvollen Ausdrucke der Kategorie t bzw. t/t. Der semantische Typ von C' ist <<s,t>,t>. C' ist die Ubersetzung von C zuordnung. Die Ubersetzungsregel von C wird wie folgt definiert Beispiel 1: (12K) kontrafaktisch Monika schlafen ist. Wenn 'Monika' einen Skopus hat, der breiter als C ist, und nach Ben- Formalisierung gegeben. Dabei wird P zu derjenigen einstelligen Pradi-
12 Kontrafaktische Konditionale und Montague-Grammatik 139 Die Formalisierung II ist geeigneter als I, denn nach der Voraussetzung I soll der Individuenausdruck 'Monika' bezuglich <i,j> das Denotat fest- Allquantor steht. 'kontrafaktisch' soll auch als dasjenige Adverb nicht betrachtet werden, das ebenso vie ein Adverb 'angeblich' eine Relation zwischen Individuenkonzepten und Eigenschaften von Individuenkonzepten denotiert. Nach der Definition I ist (12K) eine Extensionalisierungsfunk- Beispiel 2: (13K) kontrafaktisch Monika sein ein Einhorn (13p) Monika sein kein Einhorn (14K) ist aber im Gegenteil nicht mehr kontrafaktisch, denn (14K) muss I nicht erfullt. (14K) kontrafaktisch Monika sein kein Einhorn (14p) Monika sein ein Einhorn Folglich ist der Konditional (15K) in LN nicht mehr kontrafaktisch, sondern fiktiv. (15K) Wurde Monika kein Einhorn sein, dann wurde Monika kein Horn haben. 7) Bennett, M. R., 1974, S. 22 f. 8) Dowry, D. R., Wall, R. E. and Peters, S.: Introduction to Montague Semantics. Dordrecht (D. Reidel) 1981, S ) Bennett, M. R., 1974, S. 22 f.
13 140 HIROYUKI IZUO in zweifacher Weise negiert. (16K1) kontrafaktisch kein Mann trinken In (16K2) soll es kontrafaktisch sein, dass irgendein Mann, der nicht trinkt, existiert. Beispiel 3: (17K) Wurde Monkia3 Hans5 treten, dann wurde Hans5 schreien kontrafaktisch Monika3 treten ihn5 kontrafaktisch Monika3 treten Hans5 kontrafaktisch Hans5 schreien Wurde Monika3 Hans5 treten, dann wurde Hans5 schreien Nach der Definition I ist (17K) eine Extensionalisierungsfunktion, wodurch Zum Schiuss betrachten wir denjenigen kontrafaktischen Konditional, dessen Vorderglied ein intensionales Verb (z.b. 'suchen') enthalt und lessen Nachsatz ein extensionales Verb (z.b. 'finden') enthalt. Wenn das
14 Kontrafaktische Konditionale und Montague-Grammatik 141 festsetzen kann (z.b. 'Einhorn'), so werden die folgenden Beispielsatze gegeben. (18K) Wurde Monika ein Einhorn nicht suchen, dann wurde sie es nicht finden. (19K) Wurde Monika ein Einhorn suchen, dann wurde sie es nicht finden. (20K) Wurde Monika ein Einhorn nicht suchen, dann wurde sie es finden. (21K) Wurde Monika ein Einhorn suchen, dann wurde sie es finden. Die indikativen Konditionale (18p)-(21p), die durch (18K)-(21K) vorausgesetzt werden, seien dabei wie folgt. (18p) Sucht Monika ein Einhorn, dann findet sie es. (19p) Sucht Monika ein Einhorn nicht, dann findet sie es. (20p) Sucht Monika ein Einhorn, dann findet sie es nicht. (21p) Sucht Monika ein Einhorn nicht, dann findet sie es nicht. Die Nachsatze von (18p) und (19p) erfullen die Voraussetzung I nicht, weil 'Einhorn' nach Definition bei allen Indexen <i,j> kein Denotat festsetzt. (19p) zeigt gleichzeitig die widerspruchsvolle Kausalitat. Obwohl (20p) zu ein nichtkausaler, indikativer Konditional "Sucht Monika ein Einhorn trafaktischer Konditional gultig. (21p) braucht die Existent eines Einhorn- Individuenkonzeptes nicht zu behaupten Nach Montague wird einer Satzbedeutung erst bei einem Index bezuglich eines Modells ein Denotat zugeordnet. Es gibt abet in LN auch dasjenige Signal, dessen Existenz selbst neben dem Bezug der Indexe schon denjenigen Satz, der durch dieses Signal modifiziert wird, extensionalisiert. Zu diesem Signal gehort der kontrafaktische Konditional. Wenn die Pro-
15 142 HIROYUKI IZUO Literatur Aqvist, Lennart: Modal Logic with subjunctive Conditionals and dispositional Predicates. In: Journal of Philosophical Logic 2 (1973), S Bennett, Michael, R: Some Extensions of a Montague Fragment of English. UCLA Ph.D. Dissertation, Goodman, Nelson: The Problem of counterfactual Conditionals. In: The Journal of Philosophy 44 (1947), S Jackson, Frank: A Causal Theory of Counterfactuals. In: Australasian Journal of Philsophy 55 (1977), S Lewis, David: Causation. In: The Journal of Philosophy 70 (1973), S Lewis, David: Counterfactuals. Oxford (Blackwell) Montague, Richard: Universal Grammar. In: Formal Philosophy: Selected Papers of Richard Montague. Hrsg. von R. H. Thomason. New Haven (Yale University Press) 1974, S Montague, Richard: The Proper Treatment of Quantification in Ordinary English. In: Approaches to Natural Language. Hrsg. von J. Hintikka et al. Dordrecht (D. Reidel) 1973, S Pollock, John L.: Subjunctive Reasoning. Dordrecht (D. Reidel) Posch, Gunter: Zur Semautik der kontrafaktischen Konditionale. Tubingen (G. Narr) Stalnaker, Robert C. & Thomason, Richmond H.: A semantic analysis of conditional logic. In: Theoria XXXVI, 1 (1970), S
4 Semantik von Nominalphrasen
4 Semantik von Nominalphrasen 4 Semantik von Nominalphrasen 4.1 Nominalphrasen und Determinatoren Eigennamen quantifizierende NPn und definite NPn die neben anderen natürlichsprachlichen Ausdrücken zur
MehrPhänomene der Semantik: Konditionalsätze (Handout 8) Janneke Huitink - Cécile Meier Sommersemester 2009
Phänomene der Semantik: Konditionalsätze (Handout 8) Janneke Huitink - Cécile Meier Sommersemester 2009 1. Arten von Konditionalsätzen Konditionalsätze drücken aus, dass ein Ereignis nur unter einer bestimmten
MehrFixpunktsemantik logischer Programme Pascal Hitzler Juli 1997 Kurzuberblick im Rahmen der Vorlesung Einfuhrung in Prolog von T. Cornell im Sommersemester 1997 an der Universitat Tubingen. Beweise sind
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Einheit 3: Alphabete (und Relationen, Funktionen, Aussagenlogik) Thomas Worsch Universität Karlsruhe, Fakultät für Informatik Oktober 2008 1/18 Überblick Alphabete ASCII Unicode
MehrParsing German Verbs (Third-Person Singular) Parsing German Verbs (Third-Person Plural)
Parsing German Verbs (Third-Person Singular) [ * for indicative = subjunctive] Verb type Weak Weak (sein) Strong Strong (sein) (Present Infinitive) sagen reisen geben kommen (Perfect Infinitive) gesagt
MehrMai 2006. Hauptseminar: Nichtrelationale Datenbanken Historisch-Kulturwissenschaftliche Informationsverarbeitung Universität zu Köln
Hauptseminar: Nichtrelationale Historisch-Kulturwissenschaftliche Informationsverarbeitung Universität zu Köln Mai 2006 Was ist eine Datenbank? Erweiterung relationaler um eine Deduktionskomponente Diese
MehrBaader Nutt 1: Basic Description Logics
Baader Nutt 1: Basic Description Logics Ludwig Maximilians Universität München Sommersemester 2009 Institut: CIS Hauptseminar: Beschreibungslogik Seminarleiter: Hans Leiß, Martin Hofmann Referentin: Natalia
MehrBeschreibungslogiken. Daniel Schradick 1schradi@informatik.uni-hamburg.de
Beschreibungslogiken Daniel Schradick 1schradi@informatik.uni-hamburg.de Was sind Beschreibungslogiken? Definition: Formalisms that represent knowledge of some problem domain (the world ) by first defining
MehrModallogik (aussagenlogisch)
Kapitel 2 Modallogik (aussagenlogisch) In diesem Abschnitt wird eine Erweiterung der Aussagenlogik um sogenannte Modalitäten behandelt. Damit erlangt man eine größere Aussagekraft der Sprache, allerdings
MehrÜBERBLICK ÜBER DAS KURS-ANGEBOT
ÜBERBLICK ÜBER DAS KURS-ANGEBOT Alle aufgeführten Kurse sind 100 % kostenfrei und können unter http://www.unterricht.de abgerufen werden. SATZBAU & WORTSTELLUNG - WORD ORDER Aussagesätze / Affirmative
MehrSprachen/Grammatiken eine Wiederholung
Sprachen/Grammatiken eine Wiederholung Was sind reguläre Sprachen? Eigenschaften regulärer Sprachen Sprachen Begriffe Symbol: unzerlegbare Grundzeichen Alphabet: endliche Menge von Symbolen Zeichenreihe:
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
MehrZur Definition von Definition Albert J. J. Anglberger, Peter Brössel
Zur Definition von Definition Albert J. J. Anglberger, Peter Brössel Zusammenfassung Wir werden in dieser Arbeit zwei neue Definitionsvorschläge von Definition entwickeln, die folgende Eigenschaften aufweisen:
MehrTerme stehen für Namen von Objekten des Diskursbereichs (Subjekte, Objekte des natürlichsprachlichen Satzes)
Prädikatenlogik Man kann den natürlichsprachlichen Satz Die Sonne scheint. in der Prädikatenlogik beispielsweise als logisches Atom scheint(sonne) darstellen. In der Sprache der Prädikatenlogik werden
MehrSchreiben auf Englisch
Schreiben auf Englisch Folien zum Tutorium Internationalisierung Go West: Preparing for First Contacts with the Anglo- American Academic World Alexander Borrmann Historisches Institut Lehrstuhl für Spätmittelalter
MehrPräsuppositionen. Präsuppositionen. Präsuppositionen und wahrheitsfunktionale Bedeutung. Präsuppositionen und konventionelle Implikaturen
Präsuppositionen Präsuppositionen Präsuppositionen sind Bedingungen, die erfüllt sein müssen, bevor ein Ausdruck überhaupt sinnvoll interpretiert werden kann. Beispiele: Ich mußte meine Katze zum Tierarzt
MehrLektion 3: Nominativ und Akkusativ (nominative and accusative cases)
Lektion 3: Nominativ und Akkusativ (nominative and accusative cases) Das Verb bestimmt, in welchem Fall das Substantiv steht. Manche Verben wollen nur den Nominativ, andere wollen zusätzlich den Akkusativ
MehrInhalt. SWP Logische Programme. Motivation. Formalisierung. Wissensbasis. Bsp (Bibel)Verwandtschaften. Motivation Sprache LP
Inhalt SWP Logische Programme Franz Wotawa Institut für Softwaretechnologie wotawa@ist.tugraz.at Motivation Sprache LP Resolution Unifikation Datenbanken und logische Programme Semantik 2 Motivation Bsp
MehrZusammenhänge präzisieren im Modell
Zusammenhänge präzisieren im Modell Dr. Roland Poellinger Munich Center for Mathematical Philosophy Begriffsfeld Logik 1 Mathematik und Logik Die Mathematik basiert auf logisch gültigen Folgerungsschritten
MehrExtract of the Annotations used for Econ 5080 at the University of Utah, with study questions, akmk.pdf.
1 The zip archives available at http://www.econ.utah.edu/ ~ ehrbar/l2co.zip or http: //marx.econ.utah.edu/das-kapital/ec5080.zip compiled August 26, 2010 have the following content. (they differ in their
MehrSatzbedeutung. Ludwig Wittgenstein. Satzbedeutung. Satzbedeutung
Was bisher geschah Semantik III Gerrit Kentner Semantik I lexikalische Semantik Ambiguitäten Sinnrelationen (vertikal und horizontal) Wortfelder / semantische Merkmale Semantik II Intension und Extension
MehrDiskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier fernau@uni-trier.de
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
MehrTabellenausdrücke. Bedingungen
Anfragetypen in SQL zwei Typen von SQL-Ausdrücken: Resultat: abgeleitete Tabelle ( derived table ) Tabellenausdrücke DB Bedingungen Problem (?): Nur Tabellenausdrücke dürfen direkt vom Benutzer als Anfrage
MehrJava Einführung Operatoren Kapitel 2 und 3
Java Einführung Operatoren Kapitel 2 und 3 Inhalt dieser Einheit Operatoren (unär, binär, ternär) Rangfolge der Operatoren Zuweisungsoperatoren Vergleichsoperatoren Logische Operatoren 2 Operatoren Abhängig
MehrSemantic Web Technologies I!
www.semantic-web-grundlagen.de Semantic Web Technologies I! Lehrveranstaltung im WS11/12! Dr. Elena Simperl! DP Dr. Sebastian Rudolph! M.Sc. Anees ul Mehdi! www.semantic-web-grundlagen.de Logik Grundlagen!
MehrKURZÜBERSICHT SONDERTEIL
402 BERUFSKOLLEG / FACHOBERSCHULEN - Englisch - Inhalt - Kurzübersicht KURZÜBERSICHT SONDERTEIL 402 410 Inhaltsverzeichnis 411-439 Notizen 440 476 Language-Aufgaben (Vocabulary) 477-489 Notizen 490 506
MehrFachschaft Englisch Unterrichtsinhalte Klasse Lehrwerk/Zusatzmaterialien: Lehrbuch Green Line 1 Voraussetzungen: Inhaltliche Schwerpunkte
Klasse 5 Generell orientiert sich der Englischunterricht in Klasse 5 am Lehrbuch Green Line 1 (Klett). Hierzu gibt es zahlreiche Zusatzmaterialien vom Klett-Verlag, u.a. für die Vorbereitung von Klassenarbeiten,
MehrPrädikatenlogik - Micromodels of Software
Prädikatenlogik - Micromodels of Software Philipp Koch Seminar Logik für Informatiker Universität Paderborn Revision: 30. Mai 2005 1 Inhaltsverzeichnis 1 Motivation 3 2 Modelle 3 2.1 Definition eines Modells.......................
MehrTheoretische Grundlagen des Software Engineering
Theoretische Grundlagen des Software Engineering 7: Einführung Aussagenlogik schulz@eprover.org Logisches Schließen 2 gold +1000, 1 per step, Beispiel: Jage den Wumpus Performance measure death 1000 10
MehrLinkliste Englische Grammatik
Linkliste Englische Grammatik So geht s: Suche in den angegebenen Themenübersichten der unten aufgeführten Webseiten (deutsche und englische) nach dem grammatischen Problem deiner Wahl, öffne den Link
MehrQuellen: Towards a Human Computer InteractionPerspective. Übersicht. Warum visuelle Sprachen? Begriffsdefinitionen: Hinderungsgründe bisher:
Quellen: Towards a Human Computer InteractionPerspective von B.K. & B.K. LV: Visuelle Sprachen (03-763) Universität Bremen WS 2001/02 Visual Language Theory: Towards a Human- Computer Perspective; N. Hari
MehrNichtmonotones Schließen
Was bisher geschah Wissensrepräsentation und -verarbeitung in Zustandsübergangssystemen klassischer Aussagenlogik: Entscheidungstabellen, -bäume, -diagramme Wissensrepräsentation und -verarbeitung durch
MehrStichwortverzeichnis. A-Aussage. logisches Quadrat 42
A A-Aussage logisches Quadrat 43 Addition boolesche Algebra 46 Algebra boolesche 46 Algorithmus 306 Alle-Aussage alternative Schreibweise 253 f., 265 erkennen 256 Übersetzung 250 f. Allquantor 242 Definition
MehrKlausur Formale Systeme Fakultät für Informatik WS 2009/2010
Klausur Formale Systeme Fakultät für Informatik WS 2009/2010 Prof. Dr. Bernhard Beckert 18. Februar 2010 Name: Mustermann Vorname: Peter Matrikel-Nr.: 0000000 Klausur-ID: 0000 A1 (15) A2 (10) A3 (10) A4
MehrWissensrepräsentation und -verarbeitung in Logiken. bereinigt Pränex Skolem ( -Eliminierung) Klausel (Menge von Klauseln, Notation ohne Quantoren)
Was bisher geschah Wissensrepräsentation und -verarbeitung in Logiken klassische Aussagenlogik klassische Prädikatenlogik: Wiederholung Syntax, Semantik Normalformen: bereinigt Pränex Skolem ( -Eliminierung)
MehrEnglisch. Stoffplan Wirtschaftsschule Thun. Detailhandelsfachleute
Englisch Stoffplan Wirtschaftsschule Thun Detailhandelsfachleute Fassung vom 24.08.2015 Grundsätzliches Wir gestalten den Unterricht nach handlungsorientierten, prozessorientierten, zielorientierten und
MehrProjektgruppe. Knowledge Representation Persistence and Reasoning
Projektgruppe Seminarvortrag von Stefan Middeke Knowledge Representation Persistence and Reasoning 4. Juni 2010 Überblick Motivation Repräsentation der Daten Speicherung und Abfrage von Daten Folgerungen
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,
MehrWAS IST DER KOMPARATIV: = The comparative
DER KOMPATATIV VON ADJEKTIVEN UND ADVERBEN WAS IST DER KOMPARATIV: = The comparative Der Komparativ vergleicht zwei Sachen (durch ein Adjektiv oder ein Adverb) The comparative is exactly what it sounds
MehrWort, Bild und Aktion.
Wort, Bild und Aktion. Repräsentationsformen mathematischen Wissens und das Lernen von Mathematik. Universität Essen, 11. Mai 2009 Barbara Schmidt-Thieme AG Mathematik Lehren und Lernen Institut für Mathematik
MehrDIE PARAKONSISTENZ DEUTSCHER GRAMMATIKEN 1
In: Grucza, F. (Hrsg.): Vielheit und Einheit der Germanistik weltweit. Akten des XII. Internationalen Germanistenkongresses Warschau 2010. Band 15. Frankfurt am Main etc.: Lang, 2012, 173-178. ANDRÁS KERTÉSZ
Mehr22. Algorithmus der Woche Partnerschaftsvermittlung Drum prüfe, wer sich ewig bindet
22. Algorithmus der Woche Partnerschaftsvermittlung Drum prüfe, wer sich ewig bindet Autor Volker Claus, Universität Stuttgart Volker Diekert, Universität Stuttgart Holger Petersen, Universität Stuttgart
Mehr2. Vorlesung. Slide 40
2. Vorlesung Slide 40 Knobelaufgabe Was tut dieses Programm? Informell Formal Wie stellt man dies sicher? knobel(a,b) { Wenn a = 0 dann return b sonst { solange b 0 wenn a > b dann { a := a - b sonst b
MehrFormeln. Signatur. aussagenlogische Formeln: Aussagenlogische Signatur
Signatur Formeln Am Beispiel der Aussagenlogik erklären wir schrittweise wichtige Elemente eines logischen Systems. Zunächst benötigt ein logisches System ein Vokabular, d.h. eine Menge von Namen, die
MehrSemantic Web Technologies II SS 2009. 25.05.2009 Übung: Ontologiemodellierung in OWL
Semantic Web Technologies II SS 2009 25.05.2009 Übung: Ontologiemodellierung in OWL Dr. Sudhir Agarwal Dr. Stephan Grimm Dr. Peter Haase PD Dr. Pascal Hitzler Denny Vrandecic 1 Übersicht Einführung in
MehrKompositionen von Baumreihen-Transformationen
Kompositionen von Baumreihen-Transformationen Andreas Maletti 1 Lehrstuhl: Grundlagen der Programmierung Institut für Theoretische Informatik Technische Universität Dresden 4. November 2005 1 Finanziell
Mehr10. Vorlesung Spieltheorie in der Nachrichtentechnik
10. Vorlesung Spieltheorie in der Nachrichtentechnik Vorlesung: Eduard Jorswieck Übung: Rami Mochaourab Sommersemester 2010 Kooperative Spiele - Stabile Paarungen Wir studieren Märkte mit zweiseitigen
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 3 30.04.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Letztes Mal Aussagenlogik Syntax: welche Formeln? Semantik:
MehrTherefore the respective option of the password-protected menu ("UPDATE TUBE DATA BASE") has to be selected:
ENGLISH Version Update Dräger X-act 5000 ("UPDATE TUBE DATA BASE") The "BARCODE OPERATION AIR" mode is used to automatically transfer the needed measurement parameters to the instrument. The Dräger X-act
MehrOptimalitätskriterien
Kapitel 4 Optimalitätskriterien Als Optimalitätskriterien bezeichnet man notwendige oder hinreichende Bedingungen dafür, dass ein x 0 Ω R n Lösung eines Optimierungsproblems ist. Diese Kriterien besitzen
MehrEinführung. Arbeitsgruppe. Proseminar Corporate Semantic Web. Prof. Dr. Adrian Paschke
Arbeitsgruppe Proseminar Corporate Semantic Web Einführung Prof. Dr. Adrian Paschke Arbeitsgruppe Corporate Semantic Web (AG-CSW) Institut für Informatik, Freie Universität Berlin paschke@inf.fu-berlin.de
MehrWorkshop Quality Assurance Forum 2014
Workshop Quality Assurance Forum 2014 How do connotations of to learn and to teach influence learning and teaching? Andrea Trink Head of Quality Management Fachhochschule Burgenland - University of Applied
MehrSWP Logische Programme
SWP Logische Programme Alexander Felfernig, Stephan Gspandl Institut für Softwaretechnologie {alexander.felfernig,sgspandl}@ist.tugraz.at Institute for Software Technology Inhalt Motivation Logische Programme
MehrDer Zusammenhang zwischen der direkten und indirekten Rede
338 Der Zusammenhang zwischen der direkten und indirekten Rede Jakob Steinbrenner Wie läßt sich die direkte von der indirekten Rede unterscheiden? Eine Antwort, die nur begrenzt überzeugt, lautet: anhand
MehrSequential Pattern Analysis und Markov-Modelle. Christian Weiß Institut für Angewandte Mathematik und Statistitik Universität Würzburg
Sequential Pattern Analysis und Markov-Modelle. Christian Weiß Institut für Angewandte Mathematik und Statistitik Universität Würzburg Sequential Pattern Analysis Historische Aspekte Data Mining als Teildisziplin
MehrShareholder Activism by Hedge Funds
Reihe Alternative Investments Bd. 5 Mihaela Butu Shareholder Activism by Hedge Funds Motivations and Market s Perceptions of Hedge Fund Diplomica Verlag Butu, Mihaela: Shareholder Activism by Hedge Funds:
MehrListe der wählbaren Module der unterstützenden Förderung Stand 12.8.2015
Chemie Ch 701 Chemische Reaktionen Klasse 7 Ch 801 Atombau und Periodentafel Klasse 8 Deutsch D 701 Sachtexte erschließen Texte gliedern und zusammenfassen Klasse 7 D 702 Zeichensetzung: Satzreihe, Satzgefüge
MehrAllgemeine Psychologie: Denken. Sommersemester 2008. Thomas Schmidt
Allgemeine Psychologie: Denken Sommersemester 2008 Thomas Schmidt Folien: http://www.allpsych.uni-giessen.de/thomas Zimbardo, Kap. 9 Literatur I. Mental Imagery Visuelle und auditive Vorstellungen Visuelle
MehrFacetten von Designforschung Einblicke in den Stand der Dinge
Hans Kaspar Hugentobler Designforschung: Vielfalt, Relevanz, Ideologie Facetten von Designforschung Einblicke in den Stand der Dinge Hans Kaspar Hugentobler Master of Design Diplom-Kommunikationswirt Bremen
MehrBackground for Hybrid Processing
Background for Hybrid Processing Hans Uszkoreit Foundations of LST WS 04/05 Scope Classical Areas of Computational Linguistics: computational morphology, computational syntax computational semantics computational
MehrPolitikwissenschaftliches Arbeiten
BA Politikwissenschaft Wintersemester 2015/16 VO 402002 Politikwissenschaftliches Arbeiten Assoz.-Prof. Dr. Franz Eder Credits: 5 ECTS-AP (das entspricht 125 Arbeitsstunden) Benotung: schriftliche Prüfung
MehrRhetorik und Argumentationstheorie. [frederik.gierlinger@univie.ac.at]
Rhetorik und Argumentationstheorie 1 [frederik.gierlinger@univie.ac.at] Ablauf der Veranstaltung Termine 1-6 Erarbeitung diverser Grundbegriffe Termine 7-12 Besprechung von philosophischen Aufsätzen Termin
MehrInformationsextraktion
Informationsextraktion Bestimmte Anwendungen bei der semantischen Verarbeitung erfordern keine tiefe linguistische Analyse mit exakter Disambiguierung (= eine einzige und korrekte Lesart). Hierzu gehört
MehrTheoretische Grundlagen des Software Engineering
Theoretische Grundlagen des Software Engineering 9: Prädikatenlogik schulz@eprover.org Rückblick 2 Rückblick: Vor- und Nachteile von Aussagenlogik Aussagenlogik ist deklarativ: Syntaxelemente entsprechen
MehrStefan Engelberg (IDS Mannheim), Workshop Corpora in Lexical Research, Bucharest, Nov. 2008 [Folie 1] DWDS-Kernkorpus / DWDS corpus analysis
Content 1. Empirical linguistics 2. Text corpora and corpus linguistics 3. Concordances 4. Application I: The German progressive 5. Part-of-speech tagging 6. Fequency analysis 7. Application II: Compounds
MehrTechnologiebeobachtung in der Unternehmenspraxis. Ein Ansatz zur Integration funktionsübergreifender Informationsbedürfnisse
Technologiebeobachtung in der Unternehmenspraxis Ein Ansatz zur Integration funktionsübergreifender Informationsbedürfnisse 1 Warum sind statistische technische Informationen wichtig? Untersuchen von Technologien
MehrGeometrie und Bedeutung: Kap 5
: Kap 5 21. November 2011 Übersicht Der Begriff des Vektors Ähnlichkeits Distanzfunktionen für Vektoren Skalarprodukt Eukidische Distanz im R n What are vectors I Domininic: Maryl: Dollar Po Euro Yen 6
Mehr25 kann ohne Rest durch 5 geteilt werden! ist wahr
Lehrbrief 2: Lektion 8 - C -Praxis 4-1 - 5.2 Einfache Entscheidungen mit if und die Vergleichsoperatoren Nun tauchen wir immer tiefer in die Geheimnisse von C ein und beschäftigen uns mit einem sehr wichtigen
Mehr5.1 Drei wichtige Beweistechniken... 55 5.2 Erklärungen zu den Beweistechniken... 56
5 Beweistechniken Übersicht 5.1 Drei wichtige Beweistechniken................................. 55 5. Erklärungen zu den Beweistechniken............................ 56 Dieses Kapitel ist den drei wichtigsten
Mehr5. Aussagenlogik und Schaltalgebra
5. Aussagenlogik und Schaltalgebra Aussageformen und Aussagenlogik Boolesche Terme und Boolesche Funktionen Boolesche Algebra Schaltalgebra Schaltnetze und Schaltwerke R. Der 1 Aussagen Information oft
MehrProgram = Logic + Control
Program = Logic + Control Prozedurale/imperative Sprachen: Abläufe formulieren Computer führt aus von-neumann-maschine Idee von deklarativen/logischen/funktionalen Programmiersprachen: Zusammenhänge formulieren
MehrVorlesung. Funktionen/Abbildungen 1
Vorlesung Funktionen/Abbildungen 1 1 Grundlagen Hinweis: In dieser Vorlesung werden Funktionen und Abbildungen synonym verwendet. In der Schule wird eine Funktion häufig als eindeutige Zuordnung definiert.
Mehr3.Inferenzsysteme 3.4 Logische Programme und Antwortmengensemantik
Darstellung, Verarbeitung und Erwerb von Wissen 3.Inferenzsysteme 3.4 Logische Programme und Antwortmengensemantik DVEW WS 2004/05 c Gabriele Kern-Isberner 1 Stratifizierte Programme (Whlg.) Sei P ein
MehrÜberzeugungen aufgeben: Full meet, Maxichoice
Überzeugungen aufgeben: Full meet, Maxichoice Dr. Uwe Scheffler [Technische Universität Dresden] Mai 2011 Withdrawal die Rücknahme Rücknahme (Withdrawal, Makinson) heißt ein Operator auf einer Überzeugungsmenge,
MehrDie Fokuspartikel»auch«im Erstspracherwerb Früh vorhanden spät verstanden? Methodologische Maßnahmen zum Nachweis eines frühen Verständnisses
Die Fokuspartikel»auch«im Erstspracherwerb Früh vorhanden spät verstanden? Methodologische Maßnahmen zum Nachweis eines frühen Verständnisses Department Linguistik, Universität Potsdam 1 Ziel und theoretischer
MehrL6. Operatoren und Ausdrücke
L6. Operatoren und Ausdrücke 1. Arithmetische Operatoren: +, -, *, /, %, --, ++ 2. Zuweisung-Operatoren: =, +=, -=, *=, /= 3. Vergleichsoperatoren: =, ==,!= 4. Logische Operatoren:!, &&, 5.
MehrDeductive Reasoning Agents
Multiagentensysteme Deductive Reasoning Agents Volkan Aksu & Sebastian Ptock Überblick Einleitung Deductive Reasoning Agents Der Staubsauger-Roboter Agentenorientierte Programmierung (AOP) Concurrent MetateM
MehrWissensbasierte Systeme/ Expertensysteme. Teil 2
Wissensbasierte Systeme/ Expertensysteme Teil 2 BiTS, Sommersemester 2004 Dr. Stefan Kooths KOOTHS BiTS: Wissensbasierte Systeme/Expertensysteme Teil 2 1 Gliederung 1. Einführung und Einordnung 2. Entscheidungsunterstützung(ssysteme)
MehrJava Einführung VARIABLEN und DATENTYPEN Kapitel 2
Java Einführung VARIABLEN und DATENTYPEN Kapitel 2 Inhalt dieser Einheit Variablen (Sinn und Aufgabe) Bezeichner Datentypen, Deklaration und Operationen Typenumwandlung (implizit/explizit) 2 Variablen
Mehr(2) (x 2 1 + x 2 2 + + x 2 n)(y 2 1 + y 2 2 + + y 2 n) = z 2 1 + z 2 2 + + z 2 n
Über die Komposition der quadratischen Formen von beliebig vielen Variablen 1. (Nachrichten von der k. Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-physikalische Klasse, 1898, S. 309 316.)
MehrKapitel MK:IV. IV. Modellieren mit Constraints
Kapitel MK:IV IV. Modellieren mit Constraints Einführung und frühe Systeme Konsistenz I Binarization Generate-and-Test Backtracking-basierte Verfahren Konsistenz II Konsistenzanalyse Weitere Analyseverfahren
MehrInformatik A ( Frank Hoffmann)
Teillösungen zum 1. Aufgabenblatt zur Vorlesung Informatik A ( Frank Hoffmann) 1. Improvisieren Stellen Sie die Zahl 6 dar durch einen Ausdruck, der genau dreimal die Ziffer i enthält und ansonsten neben
Mehrhttps://portal.microsoftonline.com
Sie haben nun Office über Office365 bezogen. Ihr Account wird in Kürze in dem Office365 Portal angelegt. Anschließend können Sie, wie unten beschrieben, die Software beziehen. Congratulations, you have
MehrContext-adaptation based on Ontologies and Spreading Activation
-1- Context-adaptation based on Ontologies and Spreading Activation ABIS 2007, Halle, 24.09.07 {hussein,westheide,ziegler}@interactivesystems.info -2- Context Adaptation in Spreadr Pubs near my location
Mehr26.01.2009. Gliederung. Nebenläufigkeit und Fairness. 1. Nebenläufigkeit Lokalitätsprinzip. 2. Betrachtungsweisen von Nebenläufigkeit. 3.
Gliederung Lokalitätsprinzip Nebenläufigkeit und Fairness Seminar Model lchecking WS 08/09 Interleaving Halbordnung. Fairness Jan Engelsberg engelsbe@informatik.hu berlin.de Was ist Nebenläufigkeit? In
MehrGRUNDWISSEN Englisch E 1 1. bis 3. Lernjahr GRAMMATIK MÜNDLICHE AUSDRUCKSFÄHIGKEIT
GRUNDWISSEN Englisch E 1 1. bis 3. Lernjahr GRAMMATIK MÜNDLICHE AUSDRUCKSFÄHIGKEIT present tense (simple, progressive), simple past; going to-future (rezeptiv) Vollverben, Hilfsverben (be, have, do, can,
MehrZum Problem der Äquivalenz in der Übersetzungswissenschaft
Zum Problem der Äquivalenz in der Übersetzungswissenschaft Seite 1 0. Einleitung 1. Die Äquivalenzkontroverse 2. Pauschale Äquivalenzbegriffe in der Übersetzungswissenschaft Catford (1965) Nida (1964)
MehrEinsamkeit im Alter Eine Herausforderung für die Pflege. Dr. Lorenz Imhof, PhD, RN Altersforum Winterthur, 24.03.2011
Einsamkeit im Alter Eine Herausforderung für die Pflege Dr. Lorenz Imhof, PhD, RN Altersforum Winterthur, 24.03.2011 11 Wir teilen eine Welt mit anderen Menschen 2 Das Alleinsein Manchmal wollen wir in
MehrWortartenbestimmung nach Peter Eisenberg
Seminar: Wortarten Dozent: Prof. Dr. Öhlschläger Referent: Erik Heinig Literatur: Wortartenbestimmung nach Peter Eisenberg Eisenberg, Peter: Das Wort, Grundriß der deutschen Grammatik. Metzler.2004 Eisenberg,
MehrInformationsmanagement
Informationsmanagement Konzepte und Herausforderungen bei der Umsetzung von Informationsmanagement in Konzernen sowie klein- und mittelständischen Unternehmen (KMU) 1. Begriffe 2. Fallstudie: Stadtwerke
MehrSeminar Timed Automata
Einführungsveranstaltung Thomas Noll Henrik Bohnenkamp Software Modeling and Verification Group 17. Juli 2008 Zielsetzung Einführung Termine Themen Inhalt des Seminars Methoden zur Gewährleistung der Korrektheit
MehrEinführung in die Linguistik, Teil 4
Einführung in die Linguistik, Teil 4 Syntax - Das Berechnen syntaktischer Strukturen beim menschlichen Sprachverstehen Markus Bader, Frans Plank, Henning Reetz, Björn Wiemer Einführung in die Linguistik,
MehrSemantic Web. www.geo-spirit.org. Metadata extraction
Semantic Web www.geo-spirit.org WP 6 WP 3 Metadata extraction Ontologies Semantic Web Tim Berners Lee Was wäre, wenn der Computer den Inhalt einer Seite aus dem World Wide Web nicht nur anzeigen, sondern
MehrWohlfahrtssysteme im internationalen Vergleich. Fazit:
Fazit: Fazit: erhebliche empirische Varianz (national gerahmter) Wohlfahrtssysteme diese Varianz ist Gegenstand der komparativen und typologisierenden Wohlfahrts(staats)forschung Typologisierung als Gruppierung
MehrUnterabfragen (Subqueries)
Unterabfragen (Subqueries) Die kürzeste Formulierung ist folgende: SELECT Felderliste FROM Tabelle1 WHERE Tabelle1.Feldname Operator (SELECT Feldname FROM Tabelle2 WHERE Bedingung); wobei Tabelle1 und
MehrQualitätsindikatoren 2013 was ist neu? DIVI 2013 Leipzig 4.12.2013
Qualitätsindikatoren 2013 was ist neu? DIVI 2013 Leipzig 4.12.2013 U N I V E R S I T Ä T S M E D I Z I N B E R L I N HARITÉ AMPUS VIRHOW-KLINIKUM und AMPUS HARITÉ MITTE Jan-Peter Braun Universitätsklinik
MehrNachtrag: Farben. Farbblindheit. (Light und Bartlein 2004)
Nachtrag: Farben Farbblindheit (Light und Bartlein 2004) 1 Vorgeschlagene Farbskalen (Light and Bartlein 2004) Farbkodierung metrisch skalierter Daten Unterscheide: 1. Sequential Data (ohne Betonung der
MehrSicherheitsaspekte. Szenarien. Angriffsarten. Discretionary Access Control. Sicherheit im DBMS. Identifikation und Authentisierung
Sicherheitsaspekte Sicherheit im DBMS Identifikation und Authentisierun Autorisierun und Zuriffskontrolle Auditin Szenarien Literaturdatenbank in der Hochschule: erines Sicherheitsbedürfnis ERP-Datenbank
MehrKontrollstrukturen, Pseudocode und Modulo-Rechnung
Kontrollstrukturen, Pseudocode und Modulo-Rechnung CoMa-Übung III TU Berlin 29.10.2012 CoMa-Übung III (TU Berlin) Kontrollstrukturen, Pseudocode und Modulo-Rechnung 29.10.2012 1 / 1 Themen der Übung 1
MehrUNIcert Ausbildungsordnung 2015 Sprachenzentrum der Universität Stuttgart
UNIcert Ausbildungsordnung 2015 Sprachenzentrum der Universität Stuttgart 1. Kursangebot Die Kurse in der Vorstufe Basis sowie in den Stufen I und II sind in der Regel allgemeinwissenschaftlich ausgerichtet.
Mehr