Please enable JavaScript.
Coggle requires JavaScript to display documents.
UNIT 2 - Coggle Diagram
UNIT 2
First-Order Logic
Propositional vs. First-Order Inference
Unification and Lifting
Knowledge Engineering in First-Order Logic
Forward Chaining
Using First-Order Logic
Backward Chaining
Syntax and Semantics of First-Order Logic
Resolution
Representation Revisited
Ethics of AI
Game playing agent
alpha-beta search
optimal decisions in games
Montecarlo tree search
stochastic games
Game theory
partially observable games
Constraint Satisfaction Problem
Backtracking search for CSP
local search for CSP
constraint propagation
Constraint satisfaction problems
structure of CSP