Dialoge und Dialogsysteme
|
|
- Rainer Koch
- vor 6 Jahren
- Abrufe
Transkript
1 Dialoge und Dialogsysteme Tilman Vierhuff 14. Januar 2004 Inhalt 2 Was euch heute erwartet Sprechakte Dialoge Frühe Dialogsysteme Modellierung mit Automaten Information States Planbasierte Verfahren Dialoge 4 Was sind Dialoge und wofür braucht man sie? Interaktion zwischen mindestens zwei Sprechenden (bei Selbstgesprächen ggf. virtuell) Informationsaustausch auf verschiedenen Ebenen Annahme wechselnder Rollen (turn-taking) Austausch und Abgleich von Informationen Verfolgung (evtl. gemeinsamer) Ziele und Teilziele Rekursiv verschachtelbare Subdialoge Dialoge 5 Beispieldialog (Kishon) Entschuldigung, können Sie mir sagen, wo die Goldsteinstraße ist? Die Goldsteinstraße ist die erste Straße links. Wie können Sie da so sicher sein? Ein Freund von mir wohnt dort. Bobby Großmann? Nein. Ein Ingenieur. Woher wissen Sie, dass Bobby Großmann kein Ingenieur ist? Entschuldigung, ich kenne Bobby Großmann gar nicht. Natürlich nicht. Die erste Straße links ist nämlich der Birnbaumboulevard. Da haben Sie recht. Aber welche ist dann die Goldsteinstraße? Goldsteinstraße... Rechts abbiegen und dann dritte links. Danke vielmals.
2 Dialoge 6 Beispieldialog (Kishon) Entschuldigung, können Sie mir sagen, wo die Goldsteinstraße ist? Die Goldsteinstraße ist die erste Straße links. Wie können Sie da so sicher sein? Ein Freund von mir wohnt dort. Bobby Großmann? Nein. Ein Ingenieur. Woher wissen Sie, dass Bobby Großmann kein Ingenieur ist? Entschuldigung, ich kenne Bobby Großmann gar nicht. Natürlich nicht. Die erste Straße links ist nämlich der Birnbaumboulevard. Da haben Sie recht. Aber welche ist dann die Goldsteinstraße? Goldsteinstraße... Rechts abbiegen und dann dritte links. Danke vielmals. Sprechakte 7 Sprechakte (Searle, 1969) Sprechen ist eine Art Handlung Informationen auf verschiedenen Ebenen Äußerungsakte: ohne Absicht Informationen zu übermitteln Propositionale Akte: Bezug zu Objekten (auch ohne weitere Absicht) Illokutionäre Akte: Intention, Kontakt mit anderen herzustellen (diverse Unterarten) Perlokutionäre Akte: Intention, Reaktionen zu bewirken Sprechakte 8 Sprechakte II: Beispiele für Sprechaktebenen Äußerungsakt: Summen, reflexartiger Ausruf illokutionärer Akt: Hallo! perlokutionärer Akt: Wie spät ist es? propositionaler Akt: Es ist zwanzig nach drei Sprechakte 9 Sprechakte III: Arten von Sprechakten Repräsentative: für Tatsachen gehaltene Aussagen Behauptung, Feststellung, Folgerung Direktive: Hervorrufen einer Handlung Bitte, Frage, Befehl Kommissive: Ankündigung einer Handlung Versprechen, Angebot, Drohung Expressive: Vermittlung psychischer Zustände Dank, Entschuldigung, Glückwunsch Deklarative: Unmittelbare Statusänderungen Verurteilung, Kriegserklärung, Heirat, Absolution
3 Dialoge 10 Sprechakte und Dialog Sprechakte in Dialogen als dialogue moves bezeichnet Interaktion bestehend aus Aktionen und Reaktionen Intentionen der Sprechenden bestimmten Art der Aktionen Reaktionen auf jeder Ebene der Sprechakte möglich Dialog vermittelt (optimalerweise) zwischen Intentionen Dialoge 11 Dialoge verschiedener Komplexität Einfaches Reiz-Reaktions-Verhalten Einfaches Reiz-Reaktions-Verhalten mit einfachem Gedächtnis Zustandsbasierte Abfrageketten Sammlung von Informationen in beliebiger Reihenfolge Rückfragen und Verschachtelung Dialogsysteme 12 Eliza (Weizenbaum, 1966) Simulation psychotherapeutischer Gespräche Sprach verständnis auf Pattern Matching beschränkt Schlüsselwörter evozieren entsprechende Antworten Satzfragmente werden gespeichert und zufällig eingestreut Trotz Weizenbaums Erklärungen meinten Menschen, verstanden zu werden Ernsthafte Vorschläge zum klinischen Einsatz Dialogsysteme 13 Eliza: Beispiel Eliza: Hallo, was ist dein Problem? Patient: Meine Mutter ist Napoleon. Eliza: Erzähl mir mehr von deiner Familie! Patient: Eia popeia. Eliza: Bitte sprich weiter. Patient: Was raschelt im Stroh? Eliza: Ist diese Frage für dich sehr wichtig? Patient: Die Wolken beißen selten tief. Eliza: Ich verstehe.
4 Auskunftssysteme 14 Automatische Auskunftssysteme Oft Dienste zur Informationsbeschaffung, auch Telefonbanking etc. Abwechselndes Frage-Antwort-Pingpong Typischerweise starre Abfolge von Fragen, z. B. Abfahrtsbahnhof Zielbahnhof Uhrzeit... Für deterministisch verlaufende Dialoge ausreichend Einfache Implementation Robuste Erkennung durch anpassbare Grammatiken...aberunflexibelundmanchmalnervig Endliche Automaten 15 Modellierung von Dialogen mit endlichen Automaten Zustände des Dialogs durch Knoten dargestellt Übergänge entsprechen Äußerungen Zwei Arten von Knoten/Kanten je nach Sprecher Entscheidungsmöglichkeiten an Verzweigungen Einschränkung durch Zahl der Verzweigungen Flexible Dialoge erzeugen große Automaten wird für interessantere Dialoge unhandlich und unübersichtlich Endliche Automaten 16 Modellierung von Dialogen mit endlichen Automaten: Beispiel...anderTafel Information States 17 Der Information-State-Ansatz (Larsson & Traum 1999) Information States geben den momentanen Zustand der Dialogpartner wieder Inhalt ist flexibel und domänenabhängig Update Rules von Eigenschaften der Information States und von Spracheingaben getriggert verändern wiederum die Information states Automaten simulierbar durch Knotennummer als Inhalt der Information States
5 Information States 18 Information States und das Dialogue Game Board (Ginzburg 1996) Das momentane Thema (Question-Under-Discussion, QUD) bestimmt den Dialogverlauf Verschachtelte QUDs als Stack modelliert Agenda enthält auszuführende Aktionen Menge gemeinsamer Beliefs, bekannte Fakten Information States 19 Beispiele von Update-Regeln (vereinfacht) RULE: AskUser Preconditions: top(agenda) =raise question(q) Effects: pop(agenda) push(qud, Q) RULE: IntegrateUserAnswer Preconditions: last move = answer(a) contains(qud, Q) mit answer to(a, Q) Effects: remove(qud, Q) add(beliefs, P ) mit P = apply(q, A) Planbasierte Verfahren 20 Planbasierte Dialogsysteme Ansatz mit Methoden aus der KI Äußerungen führen zu komplexen Planungsprozessen Typischerweise modelliert in Logikformalismen Besonders flexibel Derzeit mit zu hohem Aufwand verbunden Durch entsprechend komplexe Update Rules in Information States integrierbar Formale Methoden 21 Dialoge und formale Methoden Spezifikation von Dialogen mit formalen Sprachen Modellierung von Benutzer und System Entdeckung von Missverständnissen durch Beweise...wirdnächstes Semester von Shi Hui behandelt
Einführung in die Linguistik
Pragmatik Pragmatik Drei Hauptaspekte sprachlicher Äußerungen/Zeichen: 1: Bezug auf Gliederung + Kombinationen (SYNTAKTISCH) 2: Bezug auf Inhalte/Sachverhalte, die sie wiedergeben (SEMANTISCH) 3: Bezug
MehrSprechen und Handeln; Einführung in die Sprachphilosophie unter pragmatischem Aspekt Martine Nida-Rümelin Sommer 06 Vorlesung 6
1 Sprechen und Handeln; Einführung in die Sprachphilosophie unter pragmatischem Aspekt Martine Nida-Rümelin Sommer 06 Vorlesung 6 THEORIE DER SPRECHAKTE vgl zu diesem Thema insbesondere Taylor (1998),
MehrPragmatik Einführung in die Sprechakttheorie
Pragmatik Einführung in die Sprechakttheorie Daniel Gutzmann Institut für Linguistik Daniel Gutzmann Einführung in die Sprechakttheorie 1 / 24 Sprache und Handlung Daniel Gutzmann Einführung in die Sprechakttheorie
MehrEinführung in die Pragmatik und Diskurs: Dialog
Einführung in die Pragmatik und Diskurs: Dialog A. Palmer/A. Horbach Universität des Saarlandes Sommersemester 2014 Plan für heute Eigenschaften menschlicher Kommunikation Adjazenspaare Grounding Dialogsysteme
MehrWas bisher geschah. Pragmatik III. Mitverstandenes. Mitverstandenes. Pragmatik I Ÿ Deixis und Anapher Ÿ Sprechakttheorie Pragmatik II
Was bisher geschah Pragmatik III Gerrit Kentner Pragmatik I Deixis und Anapher Sprechakttheorie Pragmatik II Präsupposition Implikatur Heute: Zusammenhänge herstellen, Informationsstruktur (Fokus-Hintergrund)
MehrAngewandte Mathematik am Rechner 1
Angewandte Mathematik am Rechner 1 SOMMERSEMESTER 2017 Kapitel 3 [Bildquellen: Wikipedia User David Madore, Inductiveload ] Grundlagen 2: Funktionen, Berechenbarkeit und emergente Komplexität Michael Wand
MehrPragmatik in der Sprache und im Comic. Präsupposition und Inferenz; kommunikative Relevanz
Pragmatik in der Sprache und im Comic Präsupposition und Inferenz; kommunikative Relevanz Gliederung 1. Definition Pragmatik 2. Fragestellungen in der Pragmatik 3. Sprechakte nach Searle 4. Konversationsmaxime
MehrAustin ( )und Searle(*1932): Kommunikationstheorie als Sprechakttheorie
1 Bettina Kietzmann Austin (1911-1960)und Searle(*1932): Kommunikationstheorie als Sprechakttheorie Die Frage nach den Regeln des Sprachgebrauchs Austin Searle Habermas Austin: Erfinder Sprechakttheorie
MehrTEXTPROSEMINAR John L. Austin Performative Äußerungen SS 2013
Mi (5) [14:50 16:20] SE2 122U Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Bräuer TEXTPROSEMINAR John L. Austin Büro: BZW A 416 Sprechstunde: Mi 13:00
MehrSprechakte. Einführung in die Pragmatik. Universität Potsdam. Tatjana Scheffler
Sprechakte Einführung in die Pragmatik Universität Potsdam Tatjana Scheffler tatjana.scheffler@uni-potsdam.de 24.11.2015 Ist der Bedeutungsteil annullierbar? Nein Ja Implikation (folgt logisch) Folgt der
MehrPragmatik II. Sprechakte Satztyp und Illokution. Pragmatik 2 1
Pragmatik II Sprechakte Satztyp und Illokution Pragmatik 2 1 Reden vs. Handeln In bestimmten Äußerungen wird deutlich, dass Reden und Handeln in engem Zusammenhang stehen können: a. "Ich taufe dieses Schiff
MehrKI in Computerspielen
KI in omputerspielen Decision Making 04.07.2017 Institut für Informatik K.I in omputerspielen 1 Inhalt Decision Making Behavior Trees Regelbasierte Systeme Institut für Informatik K.I in omputerspielen
MehrSprechaktklassifikation
2.1. Sprechakte 17 die bedeutungstheoretischen Glückensbedingungen an das System sprachlicher Mittel rückgebunden werden. Für den Sprechakt des Aufforderns lassen sich diese Regeln folgendermaßen fassen:
MehrKapitel 1. Grundlegendes
Kapitel 1 Grundlegendes Abschnitt 1.4 Vollständige Induktion Charakterisierung der natürlichen Zahlen Die Menge N 0 = {0, 1, 2, 3,...} der natürlichen Zahlen läßt sich wie folgt charakterisieren: 1. 0
MehrKonstative Performative A. Umstände
Weihnachtsfeier Sprechakte Freitag 12.12. alle sind herzlich eingeladen ab 19:30 im Institut Austin, John L. (1911-1960) Searle, John R. (geb. 1932) 01.12.2008 Sprechakte 1 01.12.2008 Sprechakte 2 Austin
MehrRandomisierte Datenstrukturen
Seminar über Algorithmen DozentInnen: Helmut Alt, Claudia Klost Randomisierte Datenstrukturen Ralph Schäfermeier 13. 2. 2007 Das Verwalten von Mengen, so dass ein schneller Zugriff auf deren Elemente gewährleistet
MehrTextproseminar SS 2008
Mi (5) [14:50 16:20] BZW 0153 Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Holm Bräuer M.A. Textproseminar John L. Austin: Büro: BZW A 416 Sprechstunde: Mi
MehrIntelligente, Universelle Agenten. Michael Thielscher. Institut Künstliche Intelligenz
Intelligente, Universelle Agenten Michael Thielscher Institut Künstliche Intelligenz Intelligente Agenten Ein Agent nimmt seine Umgebung wahr (mittels Sensoren) agiert in seiner Umgebung (mittels Effektoren)
Mehr12 Sprechakte Äußerungen als Handlungen Direkte Sprechakte Indirekte Sprechakte Sprechakte und Satztypen
12 Sprechakte 12.1 Äußerungen als Handlungen 12.2 Direkte Sprechakte 12.3 Indirekte Sprechakte 12.4 Sprechakte und Satztypen Johannes Dölling: Semantik und Pragmatik. SoSe 2012 1 12.1 Äußerungen als Handlungen
MehrCIS. Dialogmanagement. IfI. Hauptseminar Dialogsysteme. 15. Dezember 2005 Cornelius Dirmeier Michael
CIS Hauptseminar Dialogsysteme Dialogmanagement 15. Dezember 2005 el IfI Agenda Dialoginitiative System initiativ gemischt initiativ Benutzer initiativ Dialogkontrolle Finite-state framebasiert agentenbasiert
MehrSchnitt- und Äquivalenzproblem
Schnitt- und Äquivalenzproblem Das Schnittproblem besteht in der Frage, ob der Schnitt zweier gegebener regulärer Sprachen L 1 und L 2 leer ist. Dabei können die Sprachen durch DEAs oder Typ-3 Grammatiken,
Mehr2.4 Schleifen. Schleifen unterscheiden sich hinsichtlich des Zeitpunktes der Prüfung der Abbruchbedingung:
2.4 Schleifen Schleifen beschreiben die Wiederholung einer Anweisung bzw. eines Blocks von Anweisungen (dem Schleifenrumpf) bis eine bestimmte Bedingung (die Abbruchbedingung) eintritt. Schleifen unterscheiden
MehrProgrammablaufplan. Vorkurs Informatik. Sommersemester Institut für Informatik Heinrich-Heine-Universität Düsseldorf
Programmablaufplan Vorkurs Informatik Institut für Informatik Heinrich-Heine-Universität Düsseldorf Sommersemester 2016 Gliederung Motivation - Was sind Programmablaufpläne? Programme sind vordefinierte
MehrSimulation von Wissen Modellierung von Adaptivität
Seite 1//9 Simulation von Wissen Modellierung von Adaptivität >> Achtung : Skript gibt den mündlichen Vortrag nur unvollständig wieder!!!
MehrFrequent Itemset Mining + Association Rule Mining
Frequent Itemset Mining + Association Rule Mining Studiengang Angewandte Mathematik WS 2015/16 Frequent Itemset Mining (FIM) 21.10.2015 2 Einleitung Das Frequent-Itemset-Mining kann als Anfang des modernen,
MehrAn Overview of the Signal Clock Calculus
An Overview of the Signal Clock Calculus, Jennifer Möwert Inhaltsverzeichnis Synchrone Programmiersprachen Clock Calculus Synchrone Paradigmen SLTS Clocks SIGNAL Definitionen Endochrony Bäume, Jennifer
MehrDiplomarbeit. Entwurf eines TI-Coaching Systems. von. Christof Kuhn
Diplomarbeit Entwurf eines TI-Coaching Systems von Christof Kuhn Warum TI-Coaching System? Theoretische Informatik fällt vielen schwer Sie ist aber sehr wichtig für die Informatik Sie ist nicht wirklich
MehrKlausur SoSe Juli 2013
Universität Osnabrück / FB6 / Theoretische Informatik Prof. Dr. M. Chimani Informatik D: Einführung in die Theoretische Informatik Klausur SoSe 2013 11. Juli 2013 (Prüfungsnr. 1007049) Gruppe: Batman,
MehrC++ - Kontrollstrukturen Teil 2
C++ - Kontrollstrukturen Teil 2 Reiner Nitsch 8417 r.nitsch@fbi.h-da.de Schleife und Verzweigung kombiniert SV initialisieren while(b1) if(b2) w f V1 V2 SV Richtung Ziel verändern Wichtiger Baustein vieler
MehrNorman Franz. Die Sprechakttheorie nach Austin und Searle. Äußerungen als Handlung. Diplomica Verlag
Norman Franz Die Sprechakttheorie nach Austin und Searle Äußerungen als Handlung Diplomica Verlag Franz, Norman: Die Sprechakttheorie nach Austin und Searle: Äußerungen als Handlung. Hamburg, Diplomica
MehrSprechakte. Was sind Sprechakte? Sprechakt-Theorie. Sprechakte: Frege
Was sind Sprechakte? Sprechakte Bisher betrachtete Beispiele sprachlicher Kommunikation: Assertionen, d.h. Aussagen, Behauptung von Sachverhalten. Beispiel: Du liest dieses Buch. Typische Analyse: Dies
MehrAutomaten und Formale Sprachen SoSe 2013 in Trier
Automaten und Formale Sprachen SoSe 2013 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 2. Juni 2013 1 Automaten und Formale Sprachen Gesamtübersicht Organisatorisches Einführung Endliche
Mehr6 Pragmatik. Kerstin Schwabe (& Hubert Truckenbrodt) WS 2009/10 1
Kerstin Schwabe (& Hubert Truckenbrodt) WS 2009/10 1 6.1 Gegenstand Gegenstand/Abgrenzung Semantik Pragmatik 3 Auffassungen, die sich überschneiden. Was Pragmatik genau zu untersuchen hat, ist umstritten.
MehrAutomatentheorie und formale Sprachen rechtslineare Grammatiken
Automatentheorie und formale Sprachen rechtslineare Grammatiken Dozentin: Wiebke Petersen 17.6.2009 Wiebke Petersen Automatentheorie und formale Sprachen - SoSe09 1 Pumping lemma for regular languages
MehrVorlesung Software-Engineering I
Vorlesung Software-Engineering I im 3. und 4. Semester 07. SW-Architektur Abläufe Workflows Szenarien Use Cases User Story s -> Betrachtung deterministischer Abläufe DHBW-Stuttgart/Frank M. Hoyer SWE1-07:
MehrProgrammiersprachen: Klassifizierung und Methoden. Programmier-Paradigmen. Grundlagen der Programmierung 2 (1.C) - 1 -
Programmiersprachen: Klassifizierung und Methoden Programmier-Paradigmen Grundlagen der Programmierung 2 (1.C) - 1 - Programmiersprachen: Begriffe Syntax Beschreibung der Programme als Texte let xyz =
MehrWir wollen nun die Behauptung beweisen, dass die Laufzeit von SELECT linear ist, also dass T (n) = O(n) gilt.
Abschätzung für die Rekursion von SELECT Wir wollen nun die Behauptung beweisen, dass die Laufzeit von SELECT linear ist, also dass T (n) = O(n) gilt. Wir nehmen erst einmal an, dass eine Konstante d existiert,
MehrFinite-State Technology
Finite-State Technology Teil III: Automaten 1 Wiederholung Formale Grammatiken sind entweder axiomatische Systeme mit Ableitungsregeln oder Automaten. Beide beschreiben formale Sprachen. Formale Sprachen
MehrKlassen in Java. Grundlagen der Programmierung. Stephan Kleuker 68
Klassen in Java Stephan Kleuker 68 Klassen in Java (Syntax) (1/3) class Datum { int tag; int monat; int jahr; } Java hat Schlüsselworte (z. B. class), diese dürfen z. B. nicht als Variablennamen genutzt
MehrModel-View-Controller
Software Design Pattern Model-View-Controller Michael Lühr Gliederung Einführung und Problemstellung Ansatz durch MVC Detaillierte Darstellung der Komponenten Model View Controller Vor- und Nachteile Zusammenfassung
MehrInformatische Modellbildung
Informatische Modellbildung Informatik als Wissenschaft von der Herstellung ausführbarer Modelle bzw. der Simulation künstlicher Welten hier: formale Methoden zur Präzisierung des Modellbegriffs Begriffsdefinition
MehrFunktionen in JavaScript
Funktionen in JavaScript Eine Funktion enthält gebündelten Code, der sich in dieser Form wiederverwenden lässt. Mithilfe von Funktionen kann man denselben Code von mehreren Stellen des Programms aus aufrufen.
MehrThermostaten und Computer. das Versprechen der KI
Thermostaten und Computer das Versprechen der KI Physik des freien Willens und Bewusstseins Henriette Labsch 30.Juni 2008 Thermostaten und Computer - das Versprechen der KI David J. Chalmers bewusstes
MehrTheoretische Informatik 1 WS 2007/2008. Prof. Dr. Rainer Lütticke
Theoretische Informatik 1 WS 2007/2008 Prof. Dr. Rainer Lütticke Inhalt der Vorlesung Grundlagen - Mengen, Relationen, Abbildungen/Funktionen - Datenstrukturen - Aussagenlogik Automatentheorie Formale
MehrJudgements and Acts. Sprechakte. (zum Großteil übernommen von Manfred Krifkas Folien zum HS Sprechakte und Satztypen, SoSe 2007, HU Berlin)
Seminar für Sprachwissenschaft Judgements and Acts (zum Großteil übernommen von Manfred Krifkas Folien zum HS und Satztypen, SoSe 2007, HU Berlin) 24.04.13, Plan 8.5. Brentanos Urteile Franziska Sackmann
MehrTheoretische Informatik. nichtdeterministische Turingmaschinen NDTM. Turingmaschinen. Rainer Schrader. 29. April 2009
Theoretische Informatik Rainer Schrader nichtdeterministische Turingmaschinen Zentrum für Angewandte Informatik Köln 29. April 2009 1 / 33 2 / 33 Turingmaschinen das Konzept des Nichtdeterminismus nahm
MehrAlgorithmen mit konstantem Platzbedarf: Die Klasse REG
Algorithmen mit konstantem Platzbedarf: Die Klasse REG Sommerakademie Rot an der Rot AG 1 Wieviel Platz brauchen Algorithmen wirklich? Daniel Alm Institut für Numerische Simulation Universität Bonn August
MehrEigene MC-Fragen "Allgemeine und Biologische Psychologie"
Eigene MC-Fragen "Allgemeine und Biologische Psychologie" 1. Welche Forschungsmethoden werden lt. SB in der Allgemeinen Psychologie bevorzugt eingesetzt? [a] Beobachtung, Simulationen und Befragung [b]
MehrDie hier angegebenen Seitenzahlen stimmen nicht mit denen im Buch überein. Vorwort... 1
Die hier angegebenen Seitenzahlen stimmen nicht mit denen im Buch überein Vorwort... 1 Teil I: Woraus besteht das Geist-Materie-Problem? 1. Einleitung... 10 2. Erkenntnistheoretische Voraussetzungen zur
MehrPragmatik: Handeln mit Sprache
Pragmatik: Handeln mit Sprache Max von der Grün (*1926) Worte können verletzen - oder helfen Weil ich selbst einen zehnjährigen Jungen habe, der im Rollstuhl gefahren werden muß, habe ich diese Geschichte
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
MehrHerbert Paul Grice ( ): Konversationsmaximen
Konversationsmaximen Herbert Paul Grice (1913-1988): Konversationsmaximen Warum verstehen wir uns (und Texte), obwohl wir häufig nicht das sagen, was wir meinen? Grice nimmt an, dass wir beim Kommunizieren
MehrPlanungsstrategien. Sven Tollmien WI 5011
Planungsstrategien Sven Tollmien WI 5011 Agenda Einleitung Grundlagen der Planung Klassische Planung STRIPS Regression Planbasiertes Planen POP Algorithmus Graphenbasiertes Planen Vergleich/Fazit Einleitung
Mehr7. Tauschhandel (SJ 3/4, 5/6, 7/8)
Zyklus 3 Tauschhandel Magische Tunnel Vier Besorgungen Höhlenforschung Getränkeautomat Pizzeria Biberia Flughafen Flussdiagramm Wege durch den Irrgarten Hilf dem Arabot! Algorithmen, Flussdiagramme und
MehrStapelverarbeitung mit Adobe Acrobat Professional. Leibniz Universität IT Services Anja Aue
Stapelverarbeitung mit Adobe Acrobat Professional Leibniz Universität IT Services Anja Aue Stapelverarbeitung Befehlsfolgen werden automatisiert abgearbeitet. Eine Reihe von Aktionen werden manuell gestartet
MehrUnterrichtsmaterialien in digitaler und in gedruckter Form. Auszug aus: Grammatik I: Satzglieder und Wortarten Teil I
Unterrichtsmaterialien in digitaler und in gedruckter Form Auszug aus: Grammatik I: Satzglieder und Wortarten Teil I Das komplette Material finden Sie hier: School-Scout.de Arbeitsblatt 1: Satzarten Übung
Mehr1 Grundlagen. 1.1 Aussagen
1 Grundlagen 1.1 Aussagen In der Mathematik geht es um Aussagen. Eine Aussage ist ein statement, das entweder wahr oder falsch sein kann. Beides geht nicht! Äußerungen, die nicht die Eigenschaft haben,
MehrFORMALE SYSTEME. 3. Vorlesung: Endliche Automaten. TU Dresden, 17. Oktober Markus Krötzsch
FORMALE SYSTEME 3. Vorlesung: Endliche Automaten Markus Krötzsch TU Dresden, 17. Oktober 2016 Rückblick Markus Krötzsch, 17. Oktober 2016 Formale Systeme Folie 2 von 31 Wiederholung Mit Grammatiken können
MehrFolien von Manfred Krifka. Verwendung mit freundlicher Erlaubnis des Autors
Folien von Manfred Krifka Verwendung mit freundlicher Erlaubnis des Autors 1 Sprechakte Was sind Sprechakte? Bisher betrachtete Beispiele sprachlicher Kommunikation: Assertionen, d.h. Aussagen, Behauptung
MehrDWH Automatisierung mit Data Vault 2.0
DWH Automatisierung mit Data Vault 2.0 Andre Dörr Trevisto AG Nürnberg Schlüsselworte Architektur, DWH, Data Vault Einleitung Wenn man die Entwicklung von ETL / ELT Prozessen für eine klassische DWH Architektur
MehrKommunikation mit gesprochener Sprache...
Kommunikation mit gesprochener Sprache...... ist mehr als Hören und Sprechen: Mensch-Maschine-Kommunikation mit gesprochener Sprache 1 Kommunikation mit gesprochener Sprache...... ist mehr als Hören und
MehrKapitel 3 Ereignisdiskrete Systeme (III)
Systemmodellierung Teil 1: Ereignisdiskrete Systeme Kapitel 3 Ereignisdiskrete Systeme (III) Modellierung mit E/A-Automaten Modellbildung mit Automaten Verfeinerte Modellbildung Beispiel: Fahrstuhltür
Mehr$Id: folgen.tex,v /05/31 12:40:06 hk Exp $ an 1 2 n 1 ist gerade, 3a n 1 + 1, a n 1 ist ungerade.
$Id: folgen.tex,v. 202/05/3 2:40:06 hk Exp $ 6 Folgen Am Ende der letzten Sitzung hatten wir Folgen in einer Menge X als Abbildungen a : N X definiert, die dann typischerweise in der Form (a n ) n N, also
MehrGrundlagen der Theoretischen Informatik Prüfungsvorbereitung September 2013
Grundlagen der Theoretischen Informatik Prüfungsvorbereitung September 2013 Themenkomplex Turingmaschinen Aufgabe In beiden Kursteilen der Grundlagen tauchen Turingmaschinen auf. Dabei sind die Modelle
MehrEndliche Automaten. Endliche Automaten J. Blömer 1/24
Endliche Automaten Endliche Automaten J. Blömer /24 Endliche Automaten Endliche Automaten sind ein Kalkül zur Spezifikation von realen oder abstrakten Maschinen regieren auf äußere Ereignisse (=Eingaben)
MehrJohn R. Searle: Die Sprechakttheorie
Universität GH ssen Wintersemester 01 /02 eminar: Wittgenstein Dozent/in: Prof. Dr. U Referent: www.sunderhaus.de %PDF-1.3 John R. earle: Die prechakttheorie Zur Person * 1932; studiert bis 1952 in Wisconsin,
MehrUML Grundlagen, Zustandsautomat. Zustandsautomaten bilden eine Erweiterung der endlichen Automaten
Zustandsautomaten bilden eine Erweiterung der endlichen Automaten angereichert um zusätzliche Elemente Bedingungen Verzweigungen theoretische Wurzeln: David Harel, 1985 DI. Helmut Tockner 1 Zustandsautomaten
MehrScripted AI Finit State Machines (Weapon Selection) Chris Riether
Knowledge Engineering und Lernen in Spielen Scripted AI Finit State Machines (Weapon Selection) Chris Riether 23.05.2006 Überblick Finit State Machines Was sind Finit State Machines? Wozu FSMs in spielen?
MehrSpezifikation von Handlungen von Agenten
Spezifikation von Handlungen von Agenten dargestellt am Beispiel der Sprache LORA aus M. Wooldridge: Reasoning about Rational Agents Vortrag im Projektseminar Logiken für Multiagentensysteme Im WS 2003/04
MehrThomas Behr. 17. November 2011
in in Fakultät für Mathematik und Informatik Datenbanksysteme für neue Anwendungen FernUniversität in Hagen 17. November 2011 c 2011 FernUniversität in Hagen Outline in 1 2 3 4 5 6 - Was ist das? in über
MehrWS 2009/10. Diskrete Strukturen
WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910
MehrSeminar Multiagentensysteme
Seminar Multiagentensysteme - Wiederholung -. Ipke Wachsmuth Alexa Breuing {ipke, abreuing}@techfak.uni-bielefeld.de Seminarliteratur Michael Wooldridge (2002): An Introduction to Multiagent Systems 1
MehrHelmut Schauer Educational Engineering Lab Department for Information Technology University of Zurich. Graphen (2)
Graphen (2) 1 Topologisches Sortieren (1) Die Kanten eines gerichteten zyklenfreien Graphen bilden eine Halbordnung (die Ordnungsrelation ist nur für solche Knoten definiert die am gleichen Pfad liegen).
MehrGesprächslinguistik. Kommentar
Gesprächslinguistik Talking in the evening. Porto Covo, Portugal // CC BY 2.5 Alvesgaspar // https://de.wikipedia.org/wiki/gespr%c3%a4ch#/media/file:contre-jour_talk.jpg Kommentar 1 Was ist ein Gespräch?
MehrTheoretische Informatik I
Theoretische Informatik I Rückblick Theoretische Informatik I 1. Mathematische Methoden 2. Reguläre Sprachen 3. Kontextfreie Sprachen Themen der Theoretischen Informatik I & II Mathematische Methodik in
Mehr3. Wie wurde da argumentiert? Das Arbeitsblatt 2 enthält eine Information über die Schritte bei einem indirekten Beweis.
Beweispuzzle 2 Die Schülerinnen und Schüler sollen in dieser Unterrichtseinheit einen indirekten Beweis dafür, dass 2 keine rationale Zahl ist, kennenlernen und verstehen. In einem ersten Schritt lernen
Mehr2 2 Reguläre Sprachen. 2.2 Endliche Automaten. Übersicht
Formale Systeme, Automaten, Prozesse Übersicht 2 2. Reguläre Ausdrücke 2.3 Nichtdeterministische endliche Automaten 2.4 Die Potenzmengenkonstruktion 2.5 NFAs mit ɛ-übergängen 2.6 Minimale DFAs und der
MehrLexikalische Programmanalyse der Scanner
Der Scanner führt die lexikalische Analyse des Programms durch Er sammelt (scanned) Zeichen für Zeichen und baut logisch zusammengehörige Zeichenketten (Tokens) aus diesen Zeichen Zur formalen Beschreibung
MehrWS 2013/14. Diskrete Strukturen
WS 2013/14 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws1314
MehrBipartite Graphen. Beispiele
Bipartite Graphen Ein Graph G = (V, E) heiÿt bipartit (oder paar), wenn die Knotenmenge in zwei disjunkte Teilmengen zerfällt (V = S T mit S T = ), sodass jede Kante einen Knoten aus S mit einem Knoten
MehrFormale Sprachen und Automaten
Formale Sprachen und Automaten Kapitel 1: Grundlagen Vorlesung an der DHBW Karlsruhe Thomas Worsch Karlsruher Institut für Technologie, Fakultät für Informatik Wintersemester 2012 Ziel Einführung der wichtigsten
MehrTheoretische Grundlagen der Informatik
Theoretische Grundlagen der Informatik Vorlesung am 18. Januar 2018 INSTITUT FÜR THEORETISCHE 0 18.01.2018 Dorothea Wagner - Theoretische Grundlagen der Informatik INSTITUT FÜR THEORETISCHE KIT Die Forschungsuniversität
MehrCOMMUNICATION AND COOPERATION COMMUNICATION SEMINAR: AGENTENSYSTEME Kim-Anh Tran Christian Urban
COMMUNICATION AND COOPERATION COMMUNICATION SEMINAR: AGENTENSYSTEME 25.05.2010 Kim-Anh Tran Christian Urban GLIEDERUNG Einführung Sprechakttheorie Agenten-Kommunikations-Sprachen Fragen Diskussion Mind
Mehr2 Mengen, Abbildungen und Relationen
Vorlesung WS 08 09 Analysis 1 Dr. Siegfried Echterhoff 2 Mengen, Abbildungen und Relationen Definition 2.1 (Mengen von Cantor, 1845 1918) Eine Menge M ist eine Zusammenfassung von wohlbestimmten und wohl
Mehr1.3 Aussagen. Beispiel: Das Bruttosozialprodukt der Bundesrepublik Deutschland ist höher als das der USA ist eine offenbar falsche Aussage.
1.3 Aussagen In der Mathematik geht es um Aussagen. Eine Aussage ist ein statement, das entweder wahr oder falsch sein kann. Beides geht nicht! Äußerungen, die nicht die Eigenschaft haben, wahr oder falsch
Mehr3 Vollständige Induktion
3.1 Natürliche Zahlen In den vorherigen Kapiteln haben wir die Menge der natürlichen Zahlen schon mehrfach als Beispiel benutzt. Das Konzept der natürlichen Zahlen erscheint uns einfach, da wir es schon
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 2. Oktober 2015 Vorsemesterkurs Informatik Inhalt 1 Relationen 2 Funktionen 3 Beweistechniken Motivation Direkter Beweis Beweis
MehrJürgen Habermas Theorie des kommunikativen Handelns
Jürgen Habermas Theorie des kommunikativen Handelns Band i Handlungsrationalität und gesellschaftliche Rationalisierung Suhrkamp Inhalt BAND I HANDLUNGSRATIONALITÄT UND GESELLSCHAFTLICHE RATIONALISIERUNG
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
MehrWirtschaftsinformatik 6a: Modellierung. Hochschule für Wirtschaft und Recht SS 16 Dozent: R. Witte
Wirtschaftsinformatik 6a: Modellierung Hochschule für Wirtschaft und Recht SS 16 Dozent: R. Witte Computertechnik Man kann Software auf 2 Arten herstellen: Entweder macht man sie so klar und einfach,
MehrFunktionen in JavaScript
Funktionen in JavaScript Eine Funktion enthält gebündelten Code, der sich in dieser Form wiederverwenden lässt. Es können ganze Programmteile aufgenommen werden. Mithilfe von Funktionen kann man denselben
MehrPROLOG strukturiert die Welt / das Problem in. - Objekte
PROLOG strukturiert die Welt / das Problem in - Objekte PROLOG strukturiert die Welt / das Problem in - Objekte und - Relationen PROLOG strukturiert die Welt / das Problem in - Objekte und - Relationen
MehrSAE schaarschmidt application engineering GmbH - Geschäftsprozess und Softwareengineering. seit 1998
SAE schaarschmidt application engineering GmbH - Geschäftsprozess und Softwareengineering seit 1998 Software und ERP-Systeme (SAP) intelligent vernetzen & nutzen kundenindividuelle Produkte in Serie beauftragen
MehrKAPITEL I EINLEITUNG
KAPITEL I EINLEITUNG A. Hintergrunds Eines des wichtigsten Kommunikationsmittel ist die Sprache. Sprache ist ein System von Lauten, von Wörtern und von Regeln für die Bildung von Sätzen, das man benutzt,
MehrLösungen Allgemeines. Präsuppositionen. Pragmatik II. Gerrit Kentner
Pragmatik II Präsuppositionen Gerrit Kentner 3. Dezember 2010 1 / 25 Was bisher geschah Kernbereiche der Linguistik Phonetik/ Phonologie Morphologie Syntax Semantik Pragmatik (Deixis und Anapher; Sprechakttheorie)
MehrWas bisher geschah. Pragmatik II
Was bisher geschah Pragmatik II Gerrit Kentner Folien basieren auf einer Vorlesung von Jan Köpping Kernbereiche der Linguistik Phonetik/ Phonologie Morphologie Syntax Semantik Pragmatik (Deixis und Anapher;
MehrWesentliche Bereiche für den Gegenstand Französisch (sechsjährig)
Wesentliche Bereiche für den Gegenstand Französisch (sechsjährig) Semesterbezeichnungen laut Lehrplan: 6. Klasse Wintersemester: 3. Semester 6. Klasse Sommersemester: 4. Semester 7. Klasse Wintersemester:
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
Mehr