introduction.tex 1.13 KB
 Michael Banken committed Oct 16, 2017 1 \chapter{Introduction}  Michael Banken committed Jun 14, 2018 2 3  \section{Motivation}  Michael Banken committed Jun 27, 2018 4 Knowledge is complicated and so is its representation, especially when trying to store it in a computer. One approach to solve this issue is by organizing bodies of knowledge in neat graph structures. A project that seeks to model knowledge in this way is the MMT language\cite{rabe2013scalable}, which has theory graphs as its semantics. Unfortunately the graph structures which are generated represent the knowledge so well that they inherent its complexity.  Michael Banken committed Jun 18, 2018 5 6 7  \begin{figure}[!htb] \centering  Michael Banken committed Jul 04, 2018 8 \includegraphics[width=\textwidth]{tgview}  Michael Banken committed Jun 26, 2018 9 \caption{Picture of the LATIN archive\cite{latin} graph using TGView\cite{rupprecht2017flexible}}  Michael Banken committed Jun 18, 2018 10 11 12 \label{fig:tgview} \end{figure}  Michael Banken committed Jun 27, 2018 13 For this reason it should be no surprise that these theory graphs can be plagued by redundancies and entirely unnecessary dependencies.  Michael Banken committed Jun 14, 2018 14   Michael Banken committed Jun 27, 2018 15 16 17 To help reduce unnecessary complexity of these large theory graphs, I introduce Styler, an automated tool for optimizing theory inclusions. The goal of this tool is to automatically detect possible optimizations that reduce the number of edges without breaking the graph and recommend them to the user.