\chapter{Formen der Inferenz}
\label{formen der inferenz}
    \section{Inferenzrelationen}
    \label{inferenzrelationen}
        \includegraphics[width = \textwidth]{inferenzrelationen.png}

    \section{Korrektes und unsicheres Schließen}
    \label{korrektes und unsicheres schliessen}
        In der klassischen Logik wird lediglich das korrekte Schließen verwendet.
        Hierbei sind alle Schlüsse, die gezogen werden unausweichlich richtig und gehen aus den vorhandenen Informationen hervor.
        Unter dem unsicheren Schließen versteht man hingegen Verfahren, die Schlüsse produzieren, deren Korrektheit nicht unter allen Umständen gegeben sind.
        Beispiele für unsicheres Schließen sind:
        \begin{itemize}
            \item revidierbares Schließen
            \item probabilistisches Schließen
            \item Fuzzy-Logik
        \end{itemize}

    \section{Syntax und Semantik}
    \label{syntax und semantik}
        Eine Syntax legt fest, wie die Sätze zur formalen Sprache der repräsentierten Welt aufgebaut sind.
        Die Semantik definiert, auf welche Aspekte der repräsentierten Welt sich ein Satz bezieht.\\
        \includegraphics[width = \textwidth]{syntax und semantik.png}

    \section{Menschliches Schließen}
    \label{menschliches schliessen}
        Der Mensch stellt die Interferenzrelation $R$ mit $(W,B)\in R$ auf, wenn er aus der Semantik $W$ auf die Semantik $R$ schließen kann.
        Das Ziel wissensbasierter Agenten ist es, dieses Verhalten nachzubilden.