9 [Sidetrack] Model Generation

In this chapter, we discuss a special inference technique called model generation. First we discuss what model generation is, why it is important for semantic processing and why tableaux are well suited for model generation. Then we turn to our implementation of propositional tableaux and see how we can turn it into a model generation system.



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