\slide{9-lattice}{Non-monotonicity in inheritance networks}{
Inheritance lattice
-- predicates
- \mbox{}\hspace{0.5cm} \parbox{5cm}{
\begin{mfpic}[10][10]{0}{10}{0}{10}
\label[cc]{1}{5}{Quaker}
\label[cc]{5}{9}{Human}
\label[cc]{5}{1}{Nixon}
\label[cc]{9}{5}{Republican}
\arrow{(1.5,5.5),(4.5,8.5)}
\arrow{(4.5,1.5),(1.5,4.5)}
\arrow{(8.5,5.5),(5.5,8.5)}
\arrow{(5.5,1.5),(8.5,4.5)}
\end{mfpic}
TODO: picture
- First order semantics -- predicate calculus
}