From 05867e1c6669fbd5e1f0845ce5dac2c834a484dd Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Wed, 7 Mar 2018 07:53:12 +0100
Subject: [PATCH] draining
---
nlsem-framework/note.tex | 21 +++++++++++++++++++--
1 file changed, 19 insertions(+), 2 deletions(-)
diff --git a/nlsem-framework/note.tex b/nlsem-framework/note.tex
index 7d7bc61..5eee218 100644
--- a/nlsem-framework/note.tex
+++ b/nlsem-framework/note.tex
@@ -14,6 +14,9 @@
\usepackage{xspace}
\usepackage{paralist}
\def\defemph#1{\textbf{#1}}
+\def\GF{\textsf{GF}\xspace}
+\def\MMT{\textsf{MMT}\xspace}
+
\title{A GF/MMT, a Framework for Computational Semantics}
\author{Michael Kohlhase, Dennis M\"uller, Frederik Sch\"afer\\Computer Science, FAU
Erlangen-N\"urnberg\\\url{http://kwarc.info}}
@@ -22,7 +25,7 @@
\maketitle
\begin{abstract}
- In this note we present how a combination of GF and MMT can be used as a development
+ In this note we present how a combination of \GF and \MMT can be used as a development
framework for natural language semantics.
\end{abstract}
\tableofcontents\newpage
@@ -54,9 +57,23 @@ have been implemented, there is no general-purpose framework\footnote{We do not
Haskell~\cite{EijUng:csfp10} } that allows the effective experimentation with language
models.
+\section{Preliminaries}\label{sec:prelim}
+
+\subsection{The Grammatical Framework}\label{sec:gf}
+
+
+\GF is the ``Grammatical Framework''~\cite{Ranta:GF04,ranta-2011,GF:on}, which seems
+uniquely suited for our purposes. It is modular, and it is based (essentially) on LF,
+i.e. uses a dependently typed $\lambda$-calculus under the hood. For our purposes,
+\cite{Ranta:tlled11} is a treasure trove of insights.
+
+
+\ednote{cite~\cite{BerChattsfts17}; this combines \GF and Coq for for the Fracas corpus.}
+\subsection{\MMT: The Meta-Meta Framework for Meta-Meta Theories}\label{sec:mmt}
+\ednote{MK: talk about LATIN, }
-\ednote{cite~\cite{BerChattsfts17}}
+\section{Combining \GF and \MMT}
\section{Conclusion}\label{sec:concl}
--
GitLab