9.1 Using Model Generation for Natural Language Interpretation

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.

Aljoscha Burchardt, Stephan Walter, Alexander Koller, Michael Kohlhase, Patrick Blackburn and Johan Bos
Version 1.2.5 (20030212)