This course shall deal with the theoretical and practical aspects of building a system that can model, reason, and infer knowledge for artificial intelligence.
It will cover an understanding of:

  • the semantics of first-order logic for modeling problems
  • transformations to clausal form, resolution, etc. to establish properties of first-order problems
  • with automated theorem provers
  • work with declarative logic programming languages like Datalog and prolog.
  • apply different knowledge representation formalisms for modeling knowledge bases.
  • apply, demonstrate, and program knowledge-based learning methods.
  • https://en.wikipedia.org/wiki/Inductive_logic_programming