10.1 The Step to First Order

In this section, we will show that first order inference allows us to do a lot of interesting things in semantic processing, and we will see how we have to extend our tableau calculus for this new task.

• 10.1.1 Why First-Order Inference?

• 10.1.2 Extending our Calculus: The Universal Rule

• 10.1.3 The Existential Rule

• 10.1.4 Rule-like World Knowledge and Computational Nightmares
  • Consequences for Model Generation
  • Consequences for Theorem Proving