First Order Logic (FOL)


Administrivia:


First Order Logic (FOL)

  1. First-order logic
  2. Sentence
  3. Deducing properties
  4. Choosing actions
  5. Goal-based agent


First Order Logic (FOL)