Fix typo <noupdate>

This commit is contained in:
2024-01-16 16:18:09 +01:00
parent 1677e272e9
commit 9622aab65a

View File

@ -71,7 +71,7 @@ More specifically, each clause has a probability distribution over its head.
\item[Queries] \marginnote{Queries}
Given a ground query $Q$ and a world $w$, the probability of $Q$ being true in $w$ is trivially:
\[
\prob{Q \mid w}
\prob{Q \mid w} =
\begin{cases}
1 & \text{ if $Q$ is true in $w$}\\
0 & \text{ otherwise}