From d0a20ade888a3a3fea7ede4b070f22675db7991a Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Sat, 10 Feb 2018 17:02:03 +0100
Subject: [PATCH] first text for the intro
---
nlsem-framework/note.tex | 43 ++++++++++++++++++++++++++++++++++------
1 file changed, 37 insertions(+), 6 deletions(-)
diff --git a/nlsem-framework/note.tex b/nlsem-framework/note.tex
index ac11299..7d7bc61 100644
--- a/nlsem-framework/note.tex
+++ b/nlsem-framework/note.tex
@@ -5,15 +5,16 @@
%\blueURI{http://imkt.org}
\usepackage[hyperref=auto,style=alphabetic,isbn=false,backend=bibtex]{biblatex}
%\usepackage{bibtweaks}
-\addbibresource{../kbibs/preamble}
-\addbibresource{../kbibs/kwarcpubs}
-\addbibresource{../kbibs/extpubs}
-\addbibresource{../kbibs/kwarccrossrefs}
-\addbibresource{../kbibs/extcrossrefs}
+\addbibresource{preamble}
+\addbibresource{kwarcpubs}
+\addbibresource{extpubs}
+\addbibresource{kwarccrossrefs}
+\addbibresource{extcrossrefs}
\usepackage{hyperref}
\usepackage{xspace}
\usepackage{paralist}
-\title{Active Documents about Models}
+\def\defemph#1{\textbf{#1}}
+\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}}
@@ -25,8 +26,38 @@
framework for natural language semantics.
\end{abstract}
\tableofcontents\newpage
+
\section{Introduction}\label{sec:intro}
+Natural language semantics studies systems that represent and compute the meaning of
+natural language utterances. It focuses on models that can predict the truth conditions of
+an utterance $u$, i.e. for all possible contexts $C$ of $u$, it can predict whether $C(u)$
+is valid. Following the ``\defemph{method of fragments}'' introduced in Montague's seminal
+paper ``\emph{The proper Treatment of Quantifiers in ordinary Emnglish}''
+(PTQ~\cite{Montague:tptoqi73}) such models usually involve
+\begin{compactenum}
+\item a \defemph{grammar formalism} $G$ that determines a natural language fragment and
+ can parse this into syntax trees,
+\item a \defemph{formal (logical) system} $L$ consisting of a formal language, a model
+ theory, and a calculus that specifies derivability,
+\item a \defemph{semantics construction} process that transforms syntax frees of $G$ into
+ terms in $L$, and
+\item possibly a \defemph{semantic/pragmatic analysis} process that further specifies the
+ $L$ with respect to the utterance context.
+\end{compactenum}
+
+In the three decades following PTQ a plethora of semantics models have been proposed. In
+the past, this has been a largely pen-and-paper endeavor. Even though parts of the models
+have been implemented, there is no general-purpose framework\footnote{We do not count
+ high-level programming languages as frameworks here; for these we have extensive,
+ integrated develoments of models in Prolog~\cite{BlaBos:rainl05} and
+ Haskell~\cite{EijUng:csfp10} } that allows the effective experimentation with language
+models.
+
+
+
+\ednote{cite~\cite{BerChattsfts17}}
+
\section{Conclusion}\label{sec:concl}
\printbibliography
--
GitLab