VII Kommunizieren, Wahrnehmen und Handeln 22. Kommunizierende Agenten
|
|
- Gabriel Geier
- vor 6 Jahren
- Abrufe
Transkript
1 Übersicht I Künstliche Intelligenz II Problemlösen III Wissen und Schlußfolgern IV Logisch Handeln V Unsicheres Wissen und Schließen VI Lernen VII Kommunizieren, Wahrnehmen und Handeln 22. Kommunizierende Agenten 23. Praktische Verarbeitung natürlicher Sprache 24. Wahrnehmung 25. Robotik
2 Kommunikation als Aktion Grundlegende Nachrichten (z.b. Feindalarm) wird bei Tieren und oft auch bei Menschen mit standardisierten Zeichen kommuniziert. Darüberhinaus kann der Mensch durch Sprache auch sehr differenziert über fast alles kommunizieren, was er über die Welt weiss. Beispiel: Vorteile von Kommunikation in der WUMPUS-Welt: Informieren Fragen Antworten Bitten oder befehlen Versprechen oder verhandeln Bestätigen oder akzeptieren Austausch von Gefühlen oder Erfahrungen Dualer Zweck: Soziale Beziehungen schaffen oder verstärken
3 1. Aus Sprechersicht: Probleme der Kommunikation Wann soll ein Agent was sagen: Planungsproblem Versteht und beachtet der Zuhörer das Gesagte?: Indeterminismus 2. Aus Zuhörersicht: Schwierigkeit des Verstehens: Unsicherheiten, Planerkennung
4 Grundlagen der Sprache Unterschiede zwischen formalen und natürlichen Sprachen: Beschreibung der Grammatik durch BNF (Backus Naur Form) z.b. S NP VP mit {S, NT, T, R}. Typen von Grammatiken Typ 0: rekursiv aufzählbar (Bsp.-Regel: A B C) Typ1: kontextsensitiv (A B BA;Bsp.-Klasse:a n b n c n ) Typ2: kontextfrei (S a S b; a n b n ) Typ3: regulär (S as; a * b * )
5 Prozesse bei der Kommunikation Sprecher: 1. Intention 2. Generierung 3. Synthese Hörer: 4. Wahrnehmung (Spracherkennung) 5. Analyse (syntaktische, semantische, pragmatische Analyse; Diskurs-Integration) 6. Auflösen von Mehrdeutigkeiten 7. Einbettung Die Bedeutung von Sprache hängt nicht nur von den gesprochenen Wörtern, sondern auch von der Situation ab, in der sie geäußert werden.
6 Beispiel für die Prozesse bei der Kommunikation
7 Kommunkationstypen Telepathische Kommunikation (mit "Tell" und "Ask"): Kommunikation direkt auf der Ebene der internen Wissensrepräsentation. Während statische Symbole keine Probleme bereiten, gibt es welche bei dynamischen Symbolen. Außerdem kein Schutz vor Sabotage. Kommunikation mittels formaler Sprache. Erfordert Generierung (beim Sprecher) und Analyse (beim Zuhörer). Die Agenten können beliebige interne Wissensrepräsentationen haben. Problem: Wie bringen sie ihre Wissensbasen in Einklang? Agenten müssen nicht notwendigerweise in natürlicher Sprache kommunizieren.
8 Illustration der Kommunikationstypen
9 Kommunikations-Agent, der Befehle und Informationen empfangen kann
10 Formale Grammatik für Teilmenge von Englisch Wie bindend ist eine formale Grammatik für eine Sprache + eindeutig es ungramatische Sätze gibt. + Man kann mit der Grammatik aus einem endlichen Wortschatz unendlich viele korrekte Sätze bilden. - Grammatisch korrekte Sätze können trotzdem unverständlich sein (z.b. Bandwurmrelativsätze). - Es herrscht nicht unbedingt Einigkeit über die Grammatik einer Sprache, nicht? - Sprachen ändern sich. - Ungrammatische Äußerungen sein verständlich. - Grammatische Bewertungen sind nicht nur richtig oder falsch, sondern oft mehr oder weniger gut.
11 Sprache S 0 Lexikon: Einteilen der Wörter in Klassen: - Substantiv - Eigennamen - Verb - Adjektiv - Adverb - Pronomen - Artikel - Präposition - Konjunktion Die letzten vier Klassen werden auch geschlossen genannt, da es dafür nur eine kleine Anzahl von Wörtern gibt. Grammatik: kontextfreie Grammatik mit 5 Nichtterminalsymbolen für Satzteiltypen: S, NP, VP, PP, RelClause
12 Beispiel für Lexikon
13 Beispiel für Grammatik
14 Syntaktische Analyse Rekonstruktion der Satzstruktur aus den Wörtern (Parsen). Häufig gibt es zu einem Satz viele mögliche Parse-Bäume. Es gibt viele Parse-Strategien, z.b. Bottom-Up, Top-Down, Mischungen, Techniken des dynamischen Programmierens zum Vermeiden von Backtracking,... Man kann Parsen auch als logisches Inferenzproblem betrachten. Beispiel für nichtdeterministischen Bottom-Up-Parser (s. nächste Folie): Wähle Teilstring, wende inverse Regel darauf an, ersetze Symbole und wiederhole das solange, bis das Startsymbol S übrig bleibt. Bei Sackgassen: Backtracking.
15 Nichtdeterministischer Bottom-Up Parser
16 Beispiel: Nichtdeterministischer Bottom-Up Parser
17 Definite Klausel-Grammatik (DCG) Probleme mit Backus-Naur-Form: - Assoziation von Bedeutung mit Strings - Einbezug von kontextsensitiven Elementen Erweiterung der BNF zur Hornlogik. Alle BNF-Konstrukte (im wesentlichen "und" und "oder") können direkt übernommen werden. Nicht-Terminal-Symbole werden in einstellige Prädikate umgewandelt. Erweiterungen umfassen: Erweiterung von Nicht-Terminal-Symbolen durch Zusatz- Argumente, z.b. für die Semantik, die als mehrstellige Prädikate repräsentiert werden. Benutzung von Variablen auf der rechten Seite von DCG-Regeln. Erweiterung um beliebige logische Tests auf der rechten Seiten von DCG-Regeln
18 Konkret: Beispiele für DCG Abstrakt: Variablengebrauch: Beispiel für Erweiterung von DCG im Vergleich zu BNF (zusätzliche Argumente, Texte, Variablen):
19 Problem der Satzteil-Übereinstimmungen Mit diesen Techniken können auch ungrammatikalische Sätze generiert werden wie z.b. "Me smells a stench" (im Deutschen ist das Problem noch ausgeprägter). Um dieses auszuschließen, ist Zusatzwissen erforderlich. Wichtige Aspekte einer erweiterterten (augmented) Grammatik sind: Unterscheidung des Kasus (Nominativ, Genetiv, Dativ, Akkusativ) von Substantiven und Pronomen (I me). Übereinstimmung zwischen Subjekt und Hauptverb (I smells) im Satz Angabe, welche Kategorien von Verben erfordert werden (subcategorization).
20 Naive und parametriesierte Grammatik-Erweiterung Übereinstimmung des Kasus
21 Verb-Kategorisierung
22 Umsetzung der Verb-Kategorien in Grammatik verbspezifische Kategorie allgemeine Kategorie z.b.(zeit, Ort) Mehrdeutigkeit: I walked sunday (Zeit, Hund)
23 Beispiele für Parse-Tree mit Kategorien
24 Semantische Interpretation (1) Formale Sprachen haben meist eine kompositionelle Semantik, d.h. die Semantik eines zusammengesetzten Ausdrucks ergibt sich aus der Semantik der Komponenten. Obwohl in natürlicher Sprache die Semantik oft vom Kontext abhängt, kann man sie zunächst kompositionell auffassen und eventuelle Mehrdeutigkeiten später auflösen. Die Semantik wird als Erweiterung der Sprache durch zusätzliche "semantische" Argumente repräsentiert. Eine besondere Rolle spielen dabei Verben, da sie oft den Satz zusammenhalten und die übrigen Satzbestandteile als Argumente zu den Verben aufgefasst werden können. So hat z.b. das Verb "lieben" zwei Argumente: Subjekt und Objekt. Technisch kann man die Argumente zu einem Verb mit dem Lambda-Operator ausdrücken, z.b.
25 Lambda x Lambda y Lieben (x, y) Semantische Interpretation (2) "x liebt Mary": Lambda x lieben (x, Mary) "John liebt x": Lambda x lieben (John, x) "John liebt Mary": Lambda x Lambda y lieben (x,y) (John, Mary) "John liebt Mary": Lambda x lieben (x, Mary) (John) Letztlich hängt die semantische Interpretation von der intendierten Zielrepräsentation ab. Einfache Möglichkeiten umfassen Datenbankanfragen oder Expertensystemanfragen, da es dort nur eine begrenzte Anzahl von Strukturen gibt. Wenn Logik als Zielsprache gewählt wird, ist es günstig zunächst in eine Zwischenform (quasi-logische Form) und von dort in die Logik zu übersetzen.
26 Beispiele einer Grammatik mit Semantik-Angaben
27 Beispiele eines Parse-Baums mit semantischer Interpretation
28 Grammatik mit Semantik für John loves Mary
29 Zuordnung von syntaktischen zu quasi-logischen Formen
30 Parse-Tree mit Semantik für Every agent smells a wumpus.
31
32 Pragmatische Interpretation Eine Aufgabe der pragmatischen Interpretation ist, den Kontext einer sprachlichen Äußerung zu intergrieren. Dazu gehören: Indexikale: Direkte Referenzen auf die gegenwärtige Situation wie "Ich", "Du", "Hier", "Jetzt". Anaphora: Referenzen auf Objekte, die vorher erwähnt wurden, z.b. "John ist hungrig. Er geht in die Mensa." Normalerweise werden Pronomen auf das letzte Substantiv mit passendem Kasus bezogen. Oft wird diese Regel aber durch inhaltliches Wissen überschrieben: z.b. "Das Kind bekam ein Spielzeug geschenkt. Es war glücklich."
33 Arten von Mehrdeutigkeiten: Auflösen von Mehrdeutigkeiten (1) Lexikalisch: Ein Wort mit mehreren Bedeutungen, z.b. "hot", "Zug",... Syntaktisch: Ein Satz(teil) mit mehreren Parse-Bäumen, z.b. "Ich rieche einen Wumpus in (2,2)." Sematisch: Ein Satz(teil) mit mehreren Bedeutungen, z.b. "coast road". referentiell: Ein Pronomen mit mehreren Bezugsobjekten. pragmatisch: Unklarheit zwischen Sprecher und Hörer über den Kontext. "Wir treffen uns nächsten Freitag." lokal: Ein Satzteil hat verschiedene Parse-Bäume, von denen nur einer in den Satz paßt. Allgemeine Vagheit: z.b. "Es ist kalt." Unklarheit über den Sprechakt: z.b. "Weißt Du wie spät es ist?" - "Ja".
34 Auflösen von Mehrdeutigkeiten (2) Auflösen von Mehrdeutigkeiten erfordert Wissen, was Menschen in der gegebenen Situation typischerweise haben, z.b. "Er sah Peter auf dem Flug nach New York." "Er deponiert sein Geld nicht auf einer Bank." Im allgemeinen erfordert das Auflösen von Mehrdeutigkeiten 4 Modelle: Weltmodell: Wahrscheinlichkeit, dass etwas gilt. Mentales Modell: Wahrscheinlichkeit, dass der Sprecher etwas dem Hörer kommuniziert. Sprachmodell: Wahrscheinlichkeit, dass der Sprecher bestimmte Worte gewählt hat, wenn er etwas Bestimmtes sagen wollte. Akustisches Modell: Wahrscheinlichkeit, daß bestimmte Laute geäußert werden, falls der Sprecher bestimmte Worte sagen will. Manchmal ist Sprache auch inhärent mehrdeutig, z.b. bei Witzen: "She critized his appartment so he knocked her flat."
Interdisziplinäre fachdidaktische Übung: Modelle für Sprachen in der Informatik. SS 2016: Grossmann, Jenko
Interdisziplinäre fachdidaktische Übung: Modelle für Sprachen in der SS 2016: Grossmann, Jenko Die Beschreibung orientiert sich am Begriffssystem der Beschreibung natürlicher Sprachen Sprache in der steht
MehrAlgorithmen und Formale Sprachen
Algorithmen und Formale Sprachen Algorithmen und formale Sprachen Formale Sprachen und Algorithmen Formale Sprachen und formale Algorithmen (formale (Sprachen und Algorithmen)) ((formale Sprachen) und
MehrAlphabet, formale Sprache
n Alphabet Alphabet, formale Sprache l nichtleere endliche Menge von Zeichen ( Buchstaben, Symbole) n Wort über einem Alphabet l endliche Folge von Buchstaben, die auch leer sein kann ( ε leere Wort) l
MehrÜbersicht. 7. Prädikatenlogik 1. Stufe
Übersicht I Künstliche Intelligenz II Problemlösen III Wissen und Schlußfolgern 6. Logisch schließende Agenten 7. Prädikatenlogik 1. Stufe 8. Entwicklung einer Wissensbasis 9. Schließen in der Prädikatenlogik
MehrÜbersicht. Prädikatenlogik höherer Stufe. Syntax der Prädikatenlogik 1. Stufe (mit Gleichheit)
Übersicht I Künstliche Intelligenz II Problemlösen III Wissen und Schlussfolgern 7. Logische Agenten 8. Prädikatenlogik 1. Stufe 9. Schließen in der Prädikatenlogik 1. Stufe 10. Wissensrepräsentation IV
Mehr1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen - 1 -
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik
Mehr1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen - 1 -
1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik
MehrSprachanalyse. Fachseminar WS 08/09 Dozent: Prof. Dr. Helmut Weber Referentin: Nadia Douiri
Sprachanalyse WS 08/09 Dozent: Prof. Dr. Helmut Weber Referentin: Inhalt 1. Formale Sprachen 2. Chomsky-Hierarchie 2 FORMALE SPRACHE 1. WAS IST EINE SPRACHE? 2. WIE BESCHREIBT MAN EINE SPRACHE? 3. WAS
MehrGrammatik Prüfung möglich, ob eine Zeichenfolge zur Sprache gehört oder nicht
Zusammenhang: Formale Sprache Grammatik Formale Sprache kann durch Grammatik beschrieben werden. Zur Sprache L = L(G) gehören nur diejenigen Kombinationen der Zeichen des Eingabealphabets, die durch die
MehrKapitel IV Formale Sprachen und Grammatiken
Kapitel IV Formale Sprachen und Grammatiken 1. Begriffe und Notationen Sei Σ ein (endliches) Alphabet. Dann Definition 42 1 ist Σ das Monoid über Σ, d.h. die Menge aller endlichen Wörter über Σ; 2 ist
MehrKünstliche Intelligenz
Künstliche Intelligenz Prolog - Definite Clause Grammar Claes Neuefeind Sprachliche Informationsverarbeitung Universität zu Köln 25. Januar 2012 Wiederholung: DCGs Parser, Kongruenz, Semantik Praxis Hausaufgaben
MehrSyntax und Parsing. OS Einblicke in die Computerlinguistik. Philipp Rabe, 13IN-M
OS Einblicke in die Computerlinguistik basierend auf Computerlinguistik und Sprachtechnologie, 3. Auflage, Spektrum, Heidelberg 2010 22. Mai 2014 Ausgangssituation Tokenisierung und Wortarten-Tagging vollendet
MehrAutomatisches Verstehen gesprochener Sprache
Automatisches Verstehen gesprochener Sprache 6. Syntaxanalyse Martin Hacker Bernd Ludwig Günther Görz Professur für Künstliche Intelligenz Department Informatik Friedrich-Alexander-Universität Erlangen-Nürnberg
MehrVorlesung Automaten und Formale Sprachen Sommersemester Beispielsprachen. Sprachen
Vorlesung Automaten und Formale Sprachen Sommersemester 2018 Prof. Barbara König Übungsleitung: Christina Mika-Michalski Wörter Wort Sei Σ ein Alphabet, d.h., eine endliche Menge von Zeichen. Dann bezeichnet
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
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik Sommersemester 2015 22.04.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Bis jetzt 1. Terminologie 2. Endliche Automaten und reguläre Sprachen
MehrKontextsensitive Sprachen
Kontextsensitive Sprachen Standardbeispiel: {anbncn} S a b c S a A b B c c B A B b c B b b A A b a A a a Im Bereich der natürlichen Sprachen gibt es zahlreiche kontextsensitive Phänomene in der Semantik
MehrSpeech Recognition Grammar Compilation in Grammatikal Framework. von Michael Heber
Speech Recognition Grammar Compilation in Grammatikal Framework von Michael Heber Agenda 1. Einführung 2. Grammatical Framework (GF) 3. Kontextfreie Grammatiken und Finite-State Modelle 4. Quellen 2 1.
MehrTutorium Prolog für Linguisten 12
Tutorium Prolog für Linguisten 12 Sebastian Golly 29. Januar 2013 Sebastian Golly Tutorium Prolog für Linguisten 12 1 / 13 Plan für heute Fürs Langzeitgedächtnis Zusammenfassung des letzten Seminars Übungsblatt
MehrObjektorientierte Programmierung. Kapitel 3: Syntaxdiagramme
Stefan Brass: OOP (Java), 3. 1/31 Objektorientierte Programmierung Kapitel 3: Stefan Brass Martin-Luther-Universität Halle-Wittenberg Wintersemester 2014/15 http://www.informatik.uni-halle.de/ brass/oop14/
Mehr2.1 Allgemeines. Was ist eine Sprache? Beispiele:
Was ist eine Sprache? Beispiele: (a) Deutsch, Japanisch, Latein, Esperanto,...: Natürliche Sprachen (b) Pascal, C, Java, Aussagenlogik,...: Formale Sprachen Wie beschreibt man eine Sprache? (i) Syntax
MehrLemma Für jede monotone Grammatik G gibt es eine kontextsensitive
Lemma Für jede monotone Grammatik G gibt es eine kontextsensitive Grammatik G mit L(G) = L(G ). Beweis im Beispiel (2.): G = (V,Σ, P, S) : P = {S asbc, S abc, CB BC, ab ab, bb bb, bc bc, cc cc}. (i) G
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
MehrDefinition 4 (Operationen auf Sprachen) Beispiel 5. Seien A, B Σ zwei (formale) Sprachen. Konkatenation: AB = {uv ; u A, v B} A + = n 1 An
Definition 4 (Operationen auf Sprachen) Seien A, B Σ zwei (formale) Sprachen. Konkatenation: AB = {uv ; u A, v B} A 0 = {ɛ}, A n+1 = AA n A = n 0 An A + = n 1 An Beispiel 5 {ab, b}{a, bb} = {aba, abbb,
MehrÜbersicht. 23. Praktische Verarbeitung natürlicher Sprache
Übersicht I Künstliche Intelligenz II Problemlösen III Wissen und Schlußfolgern IV Logisch Handeln V Unsicheres Wissen und Schließen VI Lernen VII Kommunizieren, Wahrnehmen und Handeln 22. Kommunizierende
MehrGrammatikanalyse. Prof. Dr. John Peterson. Sprechstunde: Montags, 14:30-15:30h Raum LS10/Raum 425. Sommersemester 2015 Donnerstags, 14:15h-15:45h
Grammatikanalyse Sommersemester 2015 Donnerstags, 14:15h-15:45h Prof. Dr. John Peterson Sprechstunde: Montags, 14:30-15:30h Raum LS10/Raum 425 1 Termin Thema 16.4. Einführung Zerlegung des Satzes in seine
MehrSyntax von Programmiersprachen
"Grammatik, die sogar Könige zu kontrollieren weiß... aus Molière, Les Femmes Savantes (1672), 2. Akt Syntax von Programmiersprachen Prof. Dr. Christian Böhm in Zusammenarbeit mit Gefei Zhang WS 07/08
MehrInhalt Kapitel 11: Formale Syntax und Semantik
Inhalt Kapitel 11: Formale Syntax und Semantik 1 Abstrakte und konkrete Syntax 2 Lexikalische Analyse 3 Formale Sprachen, Grammatiken, BNF 4 Syntaxanalyse konkret 266 Abstrakte und konkrete Syntax Abstrakte
MehrKünstliche Intelligenz
Künstliche Intelligenz Logische Agenten Claes Neuefeind Sprachliche Informationsverarbeitung Universität zu Köln 02. November 2011 Logische Agenten Wissensbasierte Agenten Eine Modellwelt Aussagen Logik
MehrSyntax von Programmiersprachen
"Grammatik, die sogar Könige zu kontrollieren weiß... aus Molière, Les Femmes Savantes (1672), 2. Akt Syntax von Programmiersprachen Prof. Dr. Martin Wirsing in Zusammenarbeit mit Michael Barth, Philipp
MehrSyntax von Programmiersprachen
"Grammatik, die sogar Könige zu kontrollieren weiß aus Molière, Les Femmes Savantes (1672), 2. kt Syntax von Programmiersprachen Prof. Dr. Martin Wirsing Ziele Zwei Standards zur Definition der Syntax
MehrEinführung in die Informatik. Programming Languages
Einführung in die Informatik Programming Languages Beschreibung von Programmiersprachen Wolfram Burgard Motivation und Einleitung Wir haben in den vorangehenden Kapiteln meistens vollständige Java- Programme
Mehr7. Syntax: Grammatiken, EBNF
7. Syntax: Grammatiken, EBNF Teil 1 Sehr schönes Beispiel für Notwendigkeit der Theoretischen Informatik für Belange der Praktischen Informatik Vertiefung in: Einführung in die Theoretische Informatik
MehrFormale Sprachen. Inhaltsverzeichnis. M. Jakob. 10. Dezember Allgemeine Einführung. Aufbau formaler Sprachen
M. Jakob Gymnasium Pegnitz 10. Dezember 2014 Inhaltsverzeichnis Allgemeine Einführung Aufbau formaler Sprachen Notationsformen formaler Sprachen Backus-Naur-Formen Erkennen formaler Sprachen Implementierung
MehrFragenkatalog 2. Abgabegespräch Formale Modellierung 3 Reguläre Sprachen
Fragenkatalog 2. Abgabegespräch Formale Modellierung 3 Reguläre Sprachen 1. Was ist eine formale Sprache? Menge von Zeichenketten, die aus den Symbolen eines beliebigen Alphabets aufgebaut sind. Zeichenkette:
MehrGrundlagen der Theoretischen Informatik
Grundlagen der Theoretischen Informatik 4. Kellerautomaten und kontextfreie Sprachen (I) 3.06.2015 Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 Organisatorisches 1. Teilklausur: Mittwoch,
MehrForm und Darstellung von Informationen
Form und Darstellung von Informationen 1. Computermetaphern 2. Beschreibungssprachen für Texte 3. Grammatiken zur Beschreibung syntaktischer Strukturen 4. Beispiel einer Textbeschreibungssprache: HTML
MehrThematische Rollen. Randolf Altmeyer Proseminar Lexikalische Semantik WS 05/06 Prof. Pinkal
Thematische Rollen Randolf Altmeyer Proseminar Lexikalische Semantik WS 05/06 Prof Pinkal Überblick Definitionen (Prädikat, Argument, Stelligkeit) Prädikate und natürliche Sprache Beziehungen zwischen
MehrEinführung in die Informatik. Programming Languages
Einführung in die Informatik Programming Languages Beschreibung von Programmiersprachen Wolfram Burgard Cyrill Stachniss 1/15 Motivation und Einleitung Wir haben in den vorangehenden Kapiteln meistens
MehrCharts. Motivation. Grundfrage. Chart als Graph
Charts Motivation Übersicht Chart bzw. Well-Formed Substring Table (WFST) Als azyklischer Graph, Tabelle und Relation Kantenbeschriftungen Kategorien: WFST Regeln: Passive Charts Regelhyposen: Aktive Charts
MehrKapitel 2. Methoden zur Beschreibung von Syntax
1 Kapitel 2 Methoden zur Beschreibung von Syntax Grammatik, die sogar Könige zu kontrollieren weiß... aus Molière, Les Femmes Savantes (1672), 2. Akt 2 Ziele Zwei Standards zur Definition der Syntax von
Mehrauf einer Suche basierender problemlösender Agent (Kapitel 3) logischer Planungsagent (Kapitel 10)
11 Planen Zentrale Fragestellung: Wie kann ein Agent die Struktur eines Problems nutzen, um komplexe Aktionspläne zu konstruieren? Bisher zwei Beispiele für planende Agenten: auf einer Suche basierender
MehrMeilensteine des Spracherwerbs Erwerb von Wort- und Satzbedeutung Lexikon, Semantik, Syntax. Ein Referat von Nicole Faller.
Meilensteine des Spracherwerbs Erwerb von Wort- und Satzbedeutung Lexikon, Semantik, Syntax Ein Referat von Nicole Faller. Es gibt eine spezifisch menschliche, angeborene Fähigkeit zum Spracherwerb. Der
MehrKapitel 5: Syntaxdiagramme und Grammatikregeln
5. Syntaxdiagramme und Grammatikregeln 5-1 Objektorientierte Programmierung (Winter 2010/2011) Kapitel 5: Syntaxdiagramme und Grammatikregeln Syntaxdiagramme Grammatikregeln (kontextfrei) Beispiele: Lexikalische
MehrSprachen sind durch folgenden Aufbau gekennzeichnet:
BNF UND SYNTAXDIAGRAMME 1. Allgemeines 1.1 Aufbau von Sprachen BNF und Syntaxdiagramme werden verwendet, um die Syntax einer Sprache darzustellen und graphisch zu veranschaulichen. Mit ihnen können entweder
MehrGrammatiken. Grammatiken sind regelbasierte Kalküle zur Konstruktion von Systemen und Sprachen Überprüfung von Systemen und Sprachen
Grammatiken Grammatiken sind regelbasierte Kalküle zur Konstruktion von Systemen und Sprachen Überprüfung von Systemen und Sprachen Grammatiken eignen sich besonders zur Modellierung beliebig tief geschachtelter,
Mehr2. Überlegen Sie, ob folgende Sprache vom gleichen Typ sind (m, n 1): Ordnen Sie die Sprachen jeweils auf der Chomsky-Hierarchie ein.
Musterlösung Übung 1 Formale Grammatiken 1. Schreiben Sie eine Grammatik für die Sprache a m b c n d m (m, n 1). Ordnen Sie die Sprache auf der Chomsky-Hierarchie ein und begründen Sie, warum (a) eine
MehrKapitel 2: Formale Sprachen Gliederung. 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie
Gliederung 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie 2.1. 2.2. Reguläre Sprachen 2.3. Kontextfreie Sprachen 2/1, Folie 1 2015 Prof. Steffen
MehrFunktionale-Grammatik
Lexikalisch-Funktionale Funktionale-Grammatik Architektur der LFG K-Strukturen F-Strukturen Grammatische Funktionen Lexikon Prädikat-Argument-Strukturen Lexikonregeln Basiskomponente PS Regeln Lexikon
MehrDialogsysteme. Lambda-Kalkül und Montague-Semantic in Spielen
Dialogsysteme Lambda-Kalkül und Montague-Semantic in Spielen Gliederung 1. Das Lambda-Kalkül Kurzdefinition Sprache und das Lambda-Kalkül Beispiel: Monkey Island 2. Die Montague-Semantic Einleitung Kategorien
MehrSyntax von Programmiersprachen
Syntax von Programmiersprachen SEP 209 Programmiersprachen Sprache = Menge von Wörtern, typischerweise unendlich Programmiersprache: Wörter repräsentieren Programme Programm kann auf einem Computer evtl.
MehrGÜNTHER ÖLSCHLÄGER 3.3 MEHRDEUTIGKEIT SPRACHLICHER AUSDRÜCKE
1 GÜNTHER ÖLSCHLÄGER 3.3 MEHRDEUTIGKEIT SPRACHLICHER AUSDRÜCKE MEHRDEUTIGKEIT SPRACHLICHER AUSDRÜCKE 2 GLIEDERUNG Vermeintliche Mehrdeutigkeit im Alltag Vagheit Ambiguität - Übersicht Kompositional Lexikalisch
MehrAlgorithmen und Datenstrukturen I - Exkurs Formale Sprachen -
Algorithmen und Datenstrukturen I - - Thies Pfeiffer Technische Fakultät tpfeiffe@techfak.uni-bielefeld.de Vorlesung, Universität Bielefeld, Winter 2012/2013 1 / 22 Exkurs: Formale Sprachen Im Kapitel
MehrAlgorithmen und Datenstrukturen I - Exkurs Formale Sprachen -
Algorithmen und Datenstrukturen I - Exkurs Formale Sprachen - Thies Pfeiffer Technische Fakultät tpfeiffe@techfak.uni-bielefeld.de Vorlesung, Universität Bielefeld, Winter 2012/2013 1 / 1 Exkurs: Formale
MehrFormale Sprachen. Script, Kapitel 4. Grammatiken
Formale Sprachen Grammatiken Script, Kapitel 4 erzeugen Sprachen eingeführt von Chomsky zur Beschreibung natürlicher Sprache bedeutend für die Syntaxdefinition und -analyse von Programmiersprachen Automaten
MehrVon der Chomsky-Hierarchie
Von der Chomsky-Hierarchie zur Backus-Naur-Form Ein Beitrag der Theoretischen Informatik zum Siegeszug des Computers Referat von Helmut Schnitzspan Im Rahmen des Seminars Von der EDV zu Facebook Alexander
MehrFunktionale-Grammatik
Lexikalisch-Funktionale Funktionale-Grammatik Generative Transformations-Grammatik Kompetenz vs. Performanz Was heißt generativ? Tiefenstruktur vs. Oberflächenstruktur Architektur der GTG Weiterentwicklungen
MehrKapitel 2: Methoden zur Beschreibung von Syntax
Einführung in die Informatik: Programmierung und Softwareentwicklung Wintersemester 2018/19 Kapitel 2: Methoden zur Beschreibung von Syntax Prof. Dr. David Sabel Lehr- und Forschungseinheit für Theoretische
MehrFunktionale-Grammatik
Lexikalisch-Funktionale Funktionale-Grammatik Formaler Aufbau der F-Strukturen Funktionale Beschreibungen Funktionale Annotationen Von der K-Struktur zur F-Struktur Architektur der LFG Grammatik Erweiterte
MehrLR-Parser, Shift-Reduce-Verfahren
LR-Parser, Shift-Reduce-Verfahren Bottom-Up-Syntaxanalyse LR-Parser L: Eingabe von links nach rechts; R: Rechtsherleitung Shift-Reduce-Verfahren Beachte: Kein Backtracking nicht auf jede Grammatik anwendbar
MehrVon der Grammatik zum AST
Von der Grammatik zum AST Welche Eigenschaften soll ein Parser haben? Wann ist eine Grammatik eindeutig? Wie sollte eine Grammatik aussehen? Theoretischer Hin tergrund: FIRST, FOLLOW Einschränkungen von
MehrEinführung Computerlinguistik. Konstituentensyntax II
Einführung Computerlinguistik Konstituentensyntax II Hinrich Schütze & Robert Zangenfeind Centrum für Informations- und Sprachverarbeitung, LMU München 2013-11-18 1 / 31 Take-away Phrasenstrukturgrammatik:
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
MehrFormale Sprachen und Automaten: Tutorium Nr. 8
Formale Sprachen und Automaten: Tutorium Nr. 8 15. Juni 2013 Übersicht 1 Nachtrag 2 Besprechung von Übungsblatt 7 Aufgabe 1 Aufgabe 2 Aufgabe 3 3 CFG PDA Definitionen Ein Beispiel! Aufgabe 4 Der PDA als
MehrGrundbegriffe. Grammatiken
Grammatiken Grammatiken in der Informatik sind ähnlich wie Grammatiken für natürliche Sprachen ein Mittel, um alle syntaktisch korrekten Sätze (hier: Wörter) einer Sprache zu erzeugen. Beispiel: Eine vereinfachte
MehrCompilerbau für die Common Language Run-Time
Compilerbau für die Common Language Run-Time Syntax und Semantik von Programmiersprachen 2 Compilerbau Sprachbeschreibung vs. Implementierung Beschreibung: formale oder informale (engl.) Lexik, Syntax,
MehrQUALIA STRUKTUR NACH PUSTEJOVSKY
QUALIA STRUKTUR NACH PUSTEJOVSKY Angewandte Linguistische Datenverarbeitung Sprachliche Informationsverarbeitung Universität zu Köln Dozent: Prof. Dr. Jürgen Rolshoven Referentin: Corinna Asselborn 20.01.2014
MehrKontextfreie Grammatiken. Kontextfreie Grammatiken 1 / 45
Kontextfreie Grammatiken Kontextfreie Grammatiken 1 / 45 Was kann man mit kontextfreien Grammatiken anfangen? Kontextfreie Grammatiken, kurz: werden zur Modellierung von KFGs beliebig tief geschachtelten
MehrÜbersicht: Inhalt und Ziele. Kapitel 2: Methoden zur Beschreibung von Syntax. Aufbau von Programmen. Syntax von Programmiersprachen
Einführung in die Informatik: Programmierung und Softwareentwicklung Wintersemester 2018/19 Übersicht: Inhalt und Ziele Zwei Methoden zur Beschreibung (Definition) der Syntax von Programmiersprachen Backus-Naur-Form
Mehr3.1 Reservierte Wörter
3.1 Reservierte Wörter int Bezeichner für Basis-Typen; if, else, while Schlüsselwörter aus Programm-Konstrukten; (,), ",, {,},,,; Sonderzeichen. 62 3.2 Was ist ein erlaubter Name? Schritt 1: Angabe der
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 Programmiertechnik
Einführung in die Programmiertechnik Formale Beschreibung von Programmiersprachen Lexikalische Regeln Definition von Wörtern (Lexem, Token) Gruppierung von Zeichen Lexikalische Kategorien: Klassen ähnlicher
MehrKontextfreie Grammatiken. Kontextfreie Grammatiken 1 / 48
Kontextfreie Grammatiken Kontextfreie Grammatiken 1 / 48 Was kann man mit kontextfreien Grammatiken anfangen? Kontextfreie Grammatiken, kurz: werden zur Modellierung von KFGs rekursiv definierten baumartigen
MehrÜbungszettel XI *gelöst*
Übungszettel XI *gelöst* 1. Aufgabe Sei folgende Grammatik G = < A, N, S, R > gegeben, wobei: A = { der, die, das, Auto, Banane, fährt, schnell, schmeckt, gut } N = {, , , , , } S
MehrUniversität Karlsruhe (TH)
Universität Karlsruhe (TH) Lehrstuhl für Programmierparadigmen prachtechnologie und Compiler W 2008/2009 http://pp.info.uni-karlsruhe.de/ Dozent: Prof. Dr.-Ing. G. nelting snelting@ipd.info.uni-karlsruhe.de
MehrDie Partikeln. Adverbien Präpositionen Konjunktionen
Die Partikeln Adverbien Präpositionen Konjunktionen Gebrauch als adv. Bestimmung Dort liegt ein Buch. Der Ausflug war gestern. Attribut beim Substantiv, Adjektiv oder Adverb Das Buch dort gefällt mir.
MehrReguläre Grammatiken/Sprachen und endliche Automaten
Reguläre Grammatiken/Sprachen und endliche Automaten Bei regulären Grammatiken ist die Form der Grammatikregeln am stärksten eingeschränkt. Trotzdem lassen sich bereits weite Teile einer natürlichen Sprache
MehrTeil II: Phrasen und Phrasenstruktur
Teil II: Phrasen und Phrasenstruktur Übersicht: Grammatische Funktionen Kategorien Konstituenten & Strukturbäume Konstituententest Endozentrizität 1 Einfacher Satzbau Drei allgemeine Grundfragen der Syntax:
MehrEarley Parser. Flutura Mestani
Earley Parser Flutura Mestani Informatik Seminar Algorithmen zu kontextfreien Grammatiken Wintersemester 2015/2016 Prof. Martin Hofmann, Dr. Hans Leiß Flutura Mestani 25.11.2015 Seminar Algorithmen zu
Mehr3 Syntax von Programmiersprachen
3 Syntax von Programmiersprachen Syntax ( Lehre vom Satzbau ) formale Beschreibung des Aufbaus der Worte und Sätze, die zu einer Sprache gehören; im Falle einer Programmiersprache Festlegung, wie Programme
MehrNLP Eigenschaften von Text
NLP Eigenschaften von Text Dr. Andreas Hotho Dominik Benz Beate Krause Sommersemester 2008 Folie: 1 Übersicht Einführung Eigenschaften von Text Words I: Satzgrenzenerkennung, Tokenization, Kollokationen
Mehr7. Formale Sprachen und Grammatiken
7. Formale Sprachen und Grammatiken Computer verwenden zur Verarbeitung von Daten und Informationen künstliche, formale Sprachen (Maschinenspr., Assemblerspachen, Programmierspr., Datenbankspr., Wissensrepräsentationsspr.,...)
MehrR. Montague: ÈEnglish as a Formal LanguageÇ Vortrag von Sascha Brawer á 18. Januar 1995
bersicht R. Montague: ÈEnglish as a Formal LanguageÇ Vortrag von Sascha Brawer á 8. Januar 995 Ð Syntax Lexikon á Grammatikregeln Ð Semantik Semantische Kategorien á Denonationsfunktionen Variablenbindung
MehrTeil 111. Chart-Parsing
Teil 111 Chart-Parsing 102 Die im ersten Teil des Buches behandelten einfachen Parsingalgorithmen sind, anders als die meisten vor allem im Compilerbau verwendeten Algorithmen (z.b. die LLoder LR-Parsingalgorithmen),
MehrSATZGLIEDER UND WORTARTEN
SATZGLIEDER UND WORTARTEN 1. SATZGLIEDER Was ist ein Satzglied? Ein Satzglied ist ein Bestandteil eines Satzes, welches nur als ganzes verschoben werden kann. Beispiel: Hans schreibt einen Brief an den
MehrKünstliche Intelligenz Sprachverarbeitung mit Prolog
Künstliche Intelligenz Sprachverarbeitung mit Prolog Stephan Schwiebert WS 2009/2010 Sprachliche Informationsverarbeitung Institut für Linguistik Universität zu Köln Parsing mit Prolog Grammatik Wortartenklassifikation,
Mehr1 Formale Sprachen, reguläre und kontextfreie Grammatiken
Praktische Informatik 1, WS 2001/02, reguläre Ausdrücke und kontextfreie Grammatiken 1 1 Formale Sprachen, reguläre und kontextfreie Grammatiken Ein Alphabet A ist eine endliche Menge von Zeichen. Die
MehrIvana Daskalovska. Willkommen zur Übung Einführung in die Computerlinguistik. Morphologie. Sarah Bosch,
Ivana Daskalovska Willkommen zur Übung Einführung in die Computerlinguistik Morphologie Wiederholung Aufgabe 1 Was ist Morphologie, Morphem? 3 Aufgabe 1 Was ist Morphologie, Morphem? Teildisziplin der
MehrBernard Favre-Bulle. Information und Zusammenhang. Informationsfluß in Prozessen der Wahrnehmung, des Denkens und der Kommunikation
Bernard Favre-Bulle Information und Zusammenhang Informationsfluß in Prozessen der Wahrnehmung, des Denkens und der Kommunikation SpringerWienNewYork Inhalt 1 Absolute und relative Perspektiven 1 1.1 Die
MehrSyntaktische Kategorien: Phrasenkategorien
Syntaktische Kategorien: Phrasenkategorien FLM0410 - Introdução à Linguística Alemã I Profa. Dra. Ma. Helena Voorsluys Battaglia Eugenio Braga 8974165 Márcio Ap. de Deus 7000382 Wörter Phrasen Satz Satz
MehrSyntax. Ending Khoerudin Deutschabteilung FPBS UPI
Syntax Ending Khoerudin Deutschabteilung FPBS UPI Traditionale Syntaxanalyse Was ist ein Satz? Syntax: ein System von Regeln, nach denen aus einem Grundinventar kleinerer Einheiten (Wörter und Wortgruppen)
Mehr3 Syntax von Programmiersprachen
3 Syntax von Programmiersprachen Syntax ( Lehre vom Satzbau ) formale Beschreibung des Aufbaus der Worte und Sätze, die zu einer Sprache gehören; im Falle einer Programmiersprache Festlegung, wie Programme
MehrInhalt. Einführung Formale Sprachen und Grammatiken Übergangsnetze Merkmalsstrukturen Unifikationsgrammatiken
4 Syntax Inhalt Einführung Formale Sprachen und Grammatiken Übergangsnetze Merkmalsstrukturen Unifikationsgrammatiken 4.1 Einführung Einführung Oberflächenstruktur (OF) äußere Erscheinungsform eines Satzes
MehrSatzglieder: Subjekt, Prädikat und Objekt. Satzglieder: Prädikat, Subjekt und Objekt
https://www.woxikon.de/referate/deutsch/satzglieder-subjekt-praedikat-und-objekt Satzglieder: Subjekt, Prädikat und Objekt Fach Deutsch Klasse 9 Autor Anja333 Veröffentlicht am 02.09.2018 Zusammenfassung
Mehr