ManySpace
Türkçe Sign in Sign up

AI & ML

Knowledge Representation, Reasoning, and Planning

Part of AI Reasoning, level 2. About 6 hours of study across the topics below.

Logic

  1. Propositional Logic for Knowledge-Based AgentsA knowledge base of sentences, entailment, and model checking: deriving what must be true.1–2 h
  2. Inference: Resolution and SAT SolvingProof by refutation, and DPLL/CDCL solvers that make propositional reasoning practical at scale.1–2 h
  3. First-Order LogicObjects, relations, and quantifiers: representing a domain far more compactly than propositions allow.1–2 h

Representation

  1. Knowledge Representation and OntologiesCategories, objects, events, and description logics: engineering the vocabulary a reasoner uses.1–2 h
  2. Knowledge GraphsEntities and typed relations as triples; querying, path reasoning, and knowledge graphs as grounding for AI systems.1–2 h

Planning

  1. Classical PlanningActions with preconditions and effects (STRIPS/PDDL), and planning as heuristic search over states.1–2 h