chapters/finishingcool.tex

   1 \section{Finishing Cool}
   2 \subsection*{Dummy}
   3
   4 \begin{frame}{Where we left (TODO)}
   5   \begin{itemize}
   6   \item actually implementing deferral tracking
   7   \item deciding when some deferral can be considered ``finished''
   8   \item \dots
   9   \item finding ``right'' heuristic for when to try and close the tableaux
  10   \item fixing all the bugs
  11   \end{itemize}
  12 \end{frame}
  13
  14 \begin{frame}{Extra nodes}
  15   \begin{itemize}
  16   \item Different set of deferrals create different Nodes
  17   \item Exponential increase in Nodes
  18   \end{itemize}
  19 \end{frame}
  20
  21 \begin{frame}
  22   TODO: graphviz der $p\#q\#$ formel
  23 \end{frame}
  24
  25 \begin{frame}{Propagation}
  26   \begin{itemize}
  27   \item Cool works in rounds
  28     \begin{itemize}
  29     \item One further solution from each Core (propositional)
  30     \item All possible modal steps
  31     \end{itemize}
  32   \item Check for satisfiability after \#{}OpenStates rounds\pause
  33   \item Ideas
  34     \begin{itemize}
  35     \item Creating cycles forces earlier propagation
  36     \item Use \#{}OpenStates steps, not rounds
  37     \end{itemize}
  38   \end{itemize}
  39 \end{frame}
  40
  41 \begin{frame}
  42   TODO: auswertungen mit ``jedes'' mal propagieren, current magic, nie propagieren
  43 \end{frame}
  44
  45 %%% Local Variables:
  46 %%% mode: latex
  47 %%% TeX-master: "../vortrag"
  48 %%% TeX-engine: luatex
  49 %%% TeX-PDF-mode: t
  50 %%% End: