Knowledge Representation and Propositional Logic
AI,
ACI,
Knowledge Representation,
Knowledge-Based Agents,
Propositional Logic,
Wumpus World,
Entailment,
CNF,
Resolution,
DPLL
Knowledge Representation and Propositional Logic #
An intelligent agent can store observations and rules, combine them through logical reasoning, and use the resulting conclusions to choose an action. Knowledge representation makes this information explicit so that the agent can reuse what it knows and reason about situations it has not directly observed.
Module topics
- Overview of Logics- Propositional, Predicate, TT-Entail, Theorem Proving
- Logic Representation of a sample agent, Proof by resolution, DPLL Algorithm, Agents based on Propositional logic
- Unification, forward chaining, Backward Chaining, Resolution
The explanations below develop knowledge-based agents and propositional reasoning, using one continuous Wumpus World example.