Artificial Intelligence: Prof. Dr. Fazlul Hasan Siddiqui
Artificial Intelligence: Prof. Dr. Fazlul Hasan Siddiqui
Introduction
Modeling
(Statistics / D.Tree / D.Graph / Logics / Constraint/ PDDL)
+
Solving
(Reasoning with Rules / Search with Heuristics)
Solving Real-World Problems
Credit: A. Lokketangen
Solving Real-World Problems
Find shortest route
Goal
Local Search:
Solving Linguistic Problems
✔
Jack owns a dog.
✔
Every dog owner is an animal lover.
✔
No animal lover kills an animal.
✔
Either Jack or Curiosity killed the cat, who is named Tuna.
✔
Did Curiosity kill Tuna?
29
Automated Planning (Modeling+Solving)
A
C B
B A C
Problem.pddl init goal
Solution
1) move C A Table
2) move B Table C
3) move A Table B
Automated Planning (Modeling: PDDL)
Domain.pddl
Problem.pddl
Constraint Satisfaction (Modeling: MiniZinc)
AED.mzn
AED.dzn
solution
Discrete Optimisation (Modeling: MiniZinc)
solution