week--7 & 8

  1. Reasoning and Knowledge Representation: Knowledge representation and reasoning (KR², KR&R) is the field of artificial intelligence (AI) dedicated to representing information about the world in a form that a computer system can utilize to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language.
  2. Inference in First-Order Logic: Inference in First-Order Logic is used to deduce new facts or sentences from existing sentences. Before understanding the FOL inference rule, let's understand some basic terminologies used in FOL. Substitution: Substitution is a fundamental operation performed on terms and formulas.

 

Download Files

ai.pdf (0.75 MB )