telingo.tex

% ----------------------------------------------------------------------
\begin{frame}{\telingo}
  \begin{itemize}
  \item \structure{Idea} \ extend \clingo\ with means for addressing dynamic problems
  \item \structure{Features} \
    \begin{itemize}
    \item adds language elements from temporal, dynamic, (metric) logics
      eg.\
      \begin{itemize}\small
      \item next, always, eventually, until, etc
      \item regular expressions
      \item (intervals)
      \end{itemize}
    \item computes shortest trajectories
    \end{itemize}
  \item \structure{References} \ \cite{cakamosc19a,cadilasc20a}
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}[fragile]{Example}{Elevator control}
\only<1>{%
\begin{tikzpicture}[remember picture,overlay]
  \node[anchor=north east,xshift=-3em,yshift=-2cm] at (current page.north east){%
  \includegraphics[width=.2\textwidth]{pictures/elevator-initial}};
\end{tikzpicture}}%
\only<2->{%
\begin{tikzpicture}[remember picture,overlay]
  \node[anchor=north east,xshift=-3em,yshift=-2cm] at (current page.north east){%
  \includegraphics[width=.2\textwidth]{pictures/elevator-final}};
\end{tikzpicture}}%
\begin{adjustbox}{max totalsize={\textwidth}{.75\textheight},keepaspectratio}
\begin{lstlisting}[escapeinside=||]
#program init.
called(3).
at(1).
floor(1..3).

#program always.
{ wait; up; down; serve } = 1 :- not &final.
:- up,   at(X), not _floor(X+1).
:- down, at(X), not _floor(X-1).

at(X+1):- 'up,   'at(X).
at(X-1):- 'down, 'at(X).
at(X)  :- 'at(X), not 'up, not 'down.

called(X):- 'called(X), #false:'at(X), 'serve.

:- called(X), &final.
ready :- called(X), at(X).
|\pause[3]|
:- not &del{
  *( (*up + *down);; ?ready;; serve);; *wait .>? &final
  }, &initial.
\end{lstlisting}
\end{adjustbox}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: