- Up - | Next >> |
In this section, we turn to model generation , a sort of inference that is viewed as an essential part of any language understanding. Technically, model generation involves deriving sets of literals that follow from a formula. These literals specify a model for the formula. It will turn out that we can easily use our familiar tableaux procedure for the purpose of deriving such sets of literals.
- Up - | Next >> |