eclingo.tex

% ----------------------------------------------------------------------
\begin{frame}{\eclingo}
  \begin{itemize}
  \item \structure{Idea} \ extend \clingo\ with subjective literals in the body of rules
  \item \structure{Features} \
  \begin{itemize}
    \item subjective literal \ `\lstinline{&k\{p\}}' \ holds if \lstinline{p} holds in all stable models
    \item natural representation of problems with elevated complexity \\ (without saturation)
  \end{itemize}
  \item \structure{References} \ \cite{cafagarosc20a}
  \item \structure{Applications} \ conformant planning \cite{cafafa21a} and action reversibility \cite{famoch21a}
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}[fragile]{Example}{Conformant planning}
\begin{tikzpicture}[remember picture,overlay]
  \node[anchor=north east,xshift=-1ex,yshift=-2cm] at (current page.north east){%
  \only<1>{\includegraphics[width=.25\textwidth]{pictures/yale-init}}
  \only<2>{\includegraphics[width=.25\textwidth]{pictures/yale-targeted}}};
\end{tikzpicture}
\begin{adjustbox}{max totalsize={.75\textwidth}{.83\textheight},keepaspectratio}
\begin{lstlisting}[literate={~}{{$\sim$}}1,escapeinside=||]
time(1..n). action(load). action(trigger).

{ holds(   dry,0); -holds(   dry,0) } = 1.
{ holds(loaded,0); -holds(loaded,0) } = 1.

{ occurs(A,T) : action(A) } = 1 :- time(T).

 holds(loaded,T) :- occurs(   load,T).
-holds(loaded,T) :- occurs(trigger,T).
-holds(   dry,T) :- occurs(trigger,T), holds(loaded,T-1).

 holds(F,T) :-  holds(F,T-1), not -holds(F,T), time(T).
-holds(F,T) :- -holds(F,T-1), not  holds(F,T), time(T).

goal :- -holds(dry,n).
|\pause|
% conformant planning

:- action(A), time(T), occurs(A,T), not &k{ occurs(A,T) }.
:- action(A), time(T), not occurs(A,T), &k{ occurs(A,T) }.

:- not &k { goal }.
\end{lstlisting}
\end{adjustbox}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}[fragile]{Example}{Conformant planning}
\begin{tikzpicture}[remember picture,overlay]
  \node[anchor=north east,xshift=-1ex,yshift=-2cm] at (current page.north east){%
  \includegraphics[width=.25\textwidth]{pictures/yale-goal}};
\end{tikzpicture}
\begin{lstlisting}[literate={~}{{$\sim$}}1]
$ eclingo yale.lp -c n=2
eclingo version 0.2.0
Solving...
Answer: 1
&k{ occurs(load,1) } 
&k{ occurs(trigger,2) } 
&k{ goal }
SATISFIABLE

Elapsed time: 0.002736 s
\end{lstlisting}
\end{frame}
% ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: