systems/plingo.tex at main · nrueh/systems · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
% ----------------------------------------------------------------------
\begin{frame}{\plingo}
  \begin{itemize}
  \item \structure{Idea} \ extends \clingo\ with probabilistic reasoning
  \item \structure{Features}
  \begin{itemize}
  \item computes most probable model, exact or approximate queries
  \item three frontends: \textit{lpmln}, \textit{p-log}, and \textit{problog}
  \end{itemize}
  \item \structure{Technology}   \  uses optimization to account for probabilities
  \item \structure{References}   \ \cite{hajakarorusc22a}
  \item \structure{Applications} \ incorporate uncertainty, like failure
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}[fragile]{Example}{Birds}
\begin{lstlisting}[escapeinside=||]
bird(X) :- residentBird(X).
bird(X) :- migratoryBird(X).
:- residentBird(X), migratoryBird(X).
residentBird(jo) :- &weight(2).
migratoryBird(jo) :- &weight(1).

&query(residentBird(jo)).
\end{lstlisting}
\end{frame}

\begin{frame}[fragile]{Example}{Birds}
\begin{lstlisting}[escapeinside=||]
$ plingo birds.plp --frontend=lpmln-alt
plingo version 1.0.0
Reading from birds.plp
Solving...
Answer: 1

Optimization: 300000
Answer: 2
residentBird(jo) bird(jo)
Optimization: 100000
Answer: 3
migratoryBird(jo) bird(jo)
Optimization: 200000

residentBird(jo): 0.66524

OPTIMUM FOUND

Models       : 3
  Optimum    : yes
Calls        : 1
Time         : 0.002s (Solving: 0.00s 1st Model: 0.00s Unsat: 0.00s)
CPU Time     : 0.002s
\end{lstlisting}
\end{frame}
  % ----------------------------------------------------------------------
  %
  %%% Local Variables:
  %%% mode: latex
  %%% TeX-master: "../../main"
  %%% End:


%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: