% -*- Mode: Noweb; noweb-code-mode: prolog-mode; Coding: utf-8-*-
\documentclass[handout]{beamer}
\usetheme{Singapore}
\usepackage{hyperref}
%\usepackage{color}
\usepackage{german}
\usepackage[T1]{fontenc}      % fuer Umlaute in der Trenntabelle noetig
\usepackage[utf8x]{inputenc}  % (geht bei latin1, nicht bei utf8x inputenc)        
\usepackage{epsf}
% \usepackage{rotating}\usepackage{graphicx}
% ------------------------------------------------------------------
\usepackage{noweb}
\nwcodetopsep = 3pt plus 1.2pt minus 1pt 
% \let\nwdocspar=\smallbreak % orig: \filbreak
\def\nwendcode{\endtrivlist\endgroup\vskip-0.8ex}
\def\nwendquote{{}}
\def\Tt{\tt\fontencoding{OT1}\selectfont{}} % damit {\tt --->} funktioniert
% noweb.sty: setupmodname geaendert, charcode _ = 13 statt 8 fuer (file_name)-Tags
% ------------------------------------------------------------------

% PROGRAMME EXTRAHIEREN: siehe ../Makefile

% \slideCaption{\small Beschreibungslogik, LMU, SS 2009, M.Hofmann, H.Leiß}

\def\Slide#1{\end{frame}\begin{frame}{#1}}%
\def\subSlide#1{\end{frame}\begin{frame}{}%
\vskip-14mm\centered{\normalsize #1}\bigskip%
\vskip-1.8ex\parskip1.2ex plus0.5pt minus1.4pt}  % nicht in der Präambel!
\def\centered#1{\begin{center}\bf #1 \end{center}}
\def\subject#1{\vskip2mm\centered{\normalsize #1}\vskip1mm}

\def\phi{\varphi}
\def\ul#1{\underline{#1}}
\parskip0.8ex

\title{Relationale Grammatik \\ \Large Hauptseminar WS 2009/10}
\author{Hans Lei\ss \\ \normalsize Universit{\"a}t M{\"u}nchen 
\\ Centrum für Informations- und Sprachverarbeitung}

\begin{document} 
\maketitle 

\begin{frame}{Organisatorisches}
\begin{itemize}
\item Zeit: Mo, 14-16 Uhr, 
\item Ort: Raum S 244, Schellingstr.~3

\item Voraussetzung: Zwischenpr"ufung mit Proseminarschein von Math.Grundlagen, Semantik,
oder Computerlinguistik II
\item Scheinkriterium: Aktive Teilnahme mit Referat und Implementierungsteil
\end{itemize}
\end{frame}

\begin{frame}{Literatur}

\begin{enumerate}
\item M.Böttner: Relationale Grammatik. Niemeyer 1999.
\item E.L.Keenan: Boolean Semantics for Natural Language. Reidel 1985
\item S.Peters, D.Westerstahl: Quantifiers in Language and Logic. Oxford
  Universiy Press, 2006

\item Pascal Hitzler, Markus Kr"otzsch, Sebastian Rudolph, York Sure:
      Semantic Web. Grundlagen. Springer, 2008, ISBN 978-3-540-33993-9

\item C.S.Peirce (1865) (stw), E.Schr"oder (1880), P.Suppes (1970)
\end{enumerate}
\end{frame}

\begin{frame}{Ziele des Seminars}

\begin{enumerate}
\item Theoretisches Ziel: Vertieftes Verst"andnis des Zusammenhangs von
  Grammatik und Semantik 
\begin{enumerate}
\item Begriffe: 
\begin{itemize}
\item Attributgrammatik mit algebraischer Semantik
\item Boole'sche Algebra, Relationenalgebra, Peirce'sche Algebra
\item Boole'sche und Peirce'sche Grammatiken
\end{itemize}
\item Funktionsweise von 
\begin{itemize}
\item verallgemeinerten Quantoren, Koordination
\item Possessiv-, Reflexiv-, Reziprokpronomen
\item Plural, Komparation, Passiv u.a.
\end{itemize}
\end{enumerate}

\item Praktisches Ziel: Umgang mit einem Parsergenerator
\begin{enumerate}
\item Erlernen der Bedienung eines Parsergenerators
\item Programmieren einer Grammatik mit abstrakter Syntax
\item Programmieren einer Grammatiken mit Auswertung in endlichen Modellen (Peirce-Algebren)
\item Erweiterung der Peirce-Algebren um Quantoren u.a.
\end{enumerate}
\item Vergleich mit Montague-Grammatik
\end{enumerate}

\end{frame}

\begin{frame}{Hintergrund zu Anwendungen}
\begin{itemize}
\item die Peirce'sche Algebra ist eine Verallgemeinerung der Description
  Logic, 
\item die Description Logic ist der theoretische Kern von Anfragesprachen wie
  OWL, die 
\begin{itemize}

\item im ``Semantic Web'' zur Strukturierung und Nutzung
  des Webs nach semantischen Kriterien, oder  

\item in wissensrepr"asentierenden Systemen, z.B. Datenbanken medizinischer
Begriffe, Syndrome und Behandlungen oder Ersatzteile und deren Einsatz, 
\end{itemize}
verwendet werden, wo es auf effizient ausf"uhrbare
  Operationen ankommt, deswegen auf ``algebraische'' Teilsprachen der Pr"adikatenlogik.

\item Peirce'sche Algebra und Relationenalgebra sind verwand mit
  Programmlogiken (Kleene'sche Algebra, Dynamische Logic, Action Logic).
\end{itemize}
\end{frame}


\begin{frame}{Zeitplan}
\begin{tabular}[h]{rrll}
     &  Datum & Thema & Wer?
\\ 1 & 19.10. & Themenvergabe & 
\\ 2 & 26.10. & Grundbegriffe und Beispiele & Redich
\\ 3& 2.11. & Implementierung von BA, RA, PA & Kaumanns
\\ 4 & 9.11. & Boole'sche und Peirce'sche Grammatik & Tang
\\ 5 & 16.11. & Parsergenerator ML-GLR & Bildner
\\ 6 & 23.11. & Implementierung Montague-Grammatik & Seebauer
\\ 7 & 30.11. & Pr"adikation und Komplementation & Perera
\\ 8 & 7.12. & Quantoren im Subjekt und Objekt & Slotosch
\\ 9 & 14.12. & Attribuierung & Wrighley
\\ 10 & 21.12. & Relativs"atze o. Verallg.Quantoren & 
\\ \hline 11 & 11.1. & Passiv o. Fragen, Interrogativpronomen & 
\\ 12 & 18.1. & Koordination und Plural & Krejcirikova
\\ 13 & 25.1. & Distributive und kollektive Pr"adikate &
\\ 14 & 1.2. & Exklusive und Exzeptive als Quantoren & N.N.
\\ 15 & 8.2. & Reflexiv- und Reziprokpronomen &
\\ \hline & & Problem: Kompositionale Semantik ??  &
\\ & & Vergleich mit Montague-Semantik
\end{tabular}
\end{frame}

\begin{frame}{1. Grundbegriffe und Beispiele}

Jeweils die Axiome und die Standardinterpretationen bringen:
\begin{enumerate}
\item Boole'sche Algebra (BA)
\item Relationenalgebra (RA)
\item Peirce'sche Algebra (PA)
\end{enumerate}

Einfache Theoreme, insbesondere zu PA: definierbare Operationen 

Peirce'sche Beispiele aus der nat"urlichen Sprache
\end{frame}

\begin{frame}{2. Implementierung von BA, RA, PA in SML}

Zusammenhang der mathematischen Strukturen zu den M"oglichkeiten von SML
\begin{enumerate}
\item Installation von SML/NJ (enth"alt Parsergenerator ML-Yacc)
\item {\tt signature PA = sig type set  ... end}
\item {\tt structure Pa : PA = struct type set = ... end}
\item Implementierung von Mengen und Relationen
\item Implementierung von Zusatzoperationen (TC, Minor)
\end{enumerate}

Implementierung eines Beispielmodells.
\end{frame}

\begin{frame}{3. Boole'sche, Peirce'sche, Montague'sche
    (Attribut-)Grammatik}
\begin{itemize}
\item Definitionen und Beispiele
\item Notation von Regeln und Syntaxbaum mit Auswertung 
\item Satz von Suppes: NPs in BA und PA
\item Keenans BAs (f"ur Pr"adikate, Modifikatoren u.a.) (\emph{zu fr"uh?})
\item Semantische "Aquivalenz von Ausdr"ucken und Korrektheit von
  Grammatikregeln in PG
\end{itemize}
\end{frame}

\begin{frame}{4. Parsergeneratoren: ML-Yacc und ML-GLR}

ML-Yacc: erlaubt keine Mehrdeutigkeiten 

ML-GLR: lexikalische, syntaktische, semantische Mehrdeutigkeiten

\begin{enumerate}
\item Installation von ML-GLR (unter SML)
\item Beispiel einer Grammatik und ihrer "Ubersetzung mit ML-GLR
\item Beispiel eines passenden Lexikons im Stil von ML-Lex
\item Automatische Erzeugung von Lexer und Parser mit {\tt CM.make}
\item Bedienfunktionen {\tt parse}, {\tt parse\_file}, {\tt eval}, {\tt
  trees}, {\tt debug}
\end{enumerate}
\end{frame}

\begin{frame}{5. Implementierung einer Montague-Grammatik mit ML-GLR}
\begin{itemize}
\item Auswertung durch funktionale Programme als $\lambda$-Terme
\item Material aus Semantik-I (2004?) an ML-GLR anpassen
\item Abstrakte Syntax mit Bindungsoperatoren? {\tt lam(Var x,Term)}
\end{itemize}
\end{frame}

\begin{frame}{6. PG-Regeln zur Pr"adikation und Komplementation}
Anfang der PG von B"ottners Buch (R1 - R6 und R7 - R11)
\begin{enumerate}
\item Erkl"arung der Syntaxregeln und der semantischen Attribute
\item Auswertung im Beispielmodell
\item Implementierung von Modell, Lexikon und Grammatik
\item Notationsverbesserung: {\tt Nsg} oder {\tt NOMsg} statt {\tt N} bzw. {\tt NP}
\end{enumerate}
\end{frame}

\begin{frame}{7. PG-Regeln zu Quantoren im Subjekt und Objekt}
Regeln 13-28 
\begin{enumerate}
\item Erkl"arung der Syntaxregeln und der semantischen Attribute
\item Auswertung im Beispielmodell
\item Implementierung von Modell, Lexikon und Grammatik
\item Ber"ucksichtigung von Sg/Pl nur syntaktisch
\end{enumerate}
\end{frame}

\begin{frame}{8. PG-Regeln zur Attribuierung}
Regeln 29-31 
\begin{enumerate}
\item Unterschied von klassifikatorischen und intensiven Adjektiven
\item Probleme der Semantik intensiver Adjektive bei B"ottner
\item Bessere Semantik intensiver Adjektive ("`untere Teilrelation"')
\item Auswirkung der Adjekivreihenfolge auf die Bedeutung
\end{enumerate}
\end{frame}


\begin{frame}{9. PG-Regeln f"ur Relativs"atze / Prosodie }
Regeln 35-42 / 43 - 44 (lohnt das?) 

% \subject{\color{blue}\Large\rm\sf Semantische Effekte von Prosodie}

\subject{\color{blue}\Large\rm\sf 9. Theorie verallgemeinerter Quantoren}

Quantoren $Q$ als h"oherstufige Pr"adikate $Q(N:set,P:set):tv$
\begin{enumerate}
\item Typ $\langle 1\rangle$ und Typ $\langle 1,1\rangle$ Quantoren
\item Eigenschaften wie Konservativit"at, Monotonie u.a.
\item Problem: Erweiterung von PA um Quantoren wie "`viele $A$"', "`die meisten $A$"',
  "`mehr $A_1$ als $A_2$"' 
\end{enumerate}
1.+2. nach Peters/Westerstahl, 3. Implementierung wie?
\end{frame}


\begin{frame}{10. PG-Regeln f"ur das Passiv}
Regeln 45-50 
\begin{enumerate}
\item verschiedene Passivformen
\item "Aquivalenz zum Aktiv? (Theoreme dazu)
\item Quantorenskopus im Aktiv und Passiv?
\item Diskussion und Implementierung
\end{enumerate}
\end{frame}


\begin{frame}{11. PG-Regeln f"ur Koordination und Plural}
Regeln 51-62
\begin{enumerate}
\item PN-Koordination und N-Koordination
\item Probleme der N-Koordination bei B"ottner
\item Einbau von A, AP, (A+N)-Koordination 
\item Einbau des Plurals in die Kategorien
\end{enumerate}
\end{frame}

\begin{frame}{12. Distributive und kollektive Pr"adikate in der PG}
Regeln 63 - 76
\begin{enumerate}
\item Erkl"arung von B"ottners Syntax- und Auswertungsregeln
\item Korrektur und Ber"ucksichtigung von Pluralmarkierungen
\item Ggf. Vergleich mit Pluralsemantik von Link oder Sternefeld

\end{enumerate}
\end{frame}



\begin{frame}{13. PG-Regeln zu \emph{nur} und \emph{au"ser} als Quantoren}

Regeln 77-83

Vergleich mit Peters/Westerst{a}hl
\end{frame}

\begin{frame}{14. PG-Regeln zu Reflexiv- und Reziprokpronomen}
Regeln 90 - 92

\begin{enumerate}
\item Zusammenhang mit Pluralsemantik 
\item Erg"anzen: Reziprokpronomen im Objekt
\item Symmetrisierende und ordnende Verw. des Reziprokpronomens
\item Vergleich mit Peters/Westerstahl zu Reziprokpronomen
\end{enumerate}
\end{frame}

\begin{frame}{15. Fragen und Interrogativpronomen}

Regeln 95 - 104

\begin{enumerate}
\item Erkl"arung der Regeln und der sem.Attribute
\item Erg"anzung von Kasus und Numerus
\item z.T. Korrektur der Semantik n"otig
\end{enumerate}
\end{frame}

\begin{frame}{Koordination (II): Kompositionale Semantik??}
\begin{itemize}
\item Syntaktische Ambiguit"aten der Koordination von attribuierten Nomina
  und ihre ``kontrollierten'' Lesarten 
\item Koordination mit kontextabh"angiger Bedeutung: kein Fall des Kompositionsprinzips
\item Implementierung kontextabh"angiger Bedeutung durch At\-tri\-but\-grammatiken:
  Invertierbare algebraische Operationen? oder Kodierung der Syntaxb"aume
  in den Werten? 
\item komplexere Datentypen in der abstrakten Syntax
\end{itemize}
\end{frame}

\begin{frame}{Vergleich mit Montague-Semantik}

\begin{enumerate}
\item Was sind die Argumente pro/gegen Peirce/Montague-Semantik, und was
  ist von ihnen zu halten?
\item Wie s"ahe eine abstrakte Syntax f"ur eine Montague-Grammatik des
  Deutschfragments aus? Wie in ML-GLR?
\item Fragen der Implementierung h"oherstufiger Bereiche
\item Direkter Bezug zur "`Boolean Semantics"' von Keenan/Faltz
\end{enumerate}

\end{frame}

\end{document}
\nwfilename{beamer.nw}