Lecture+16_Planning - CS 401 Artificial Intelligence...

Info icon This preview shows pages 1–14. Sign up to view the full content.

View Full Document Right Arrow Icon
CS 401 Artificial Intelligence Lecture # 16 02-Apr-17 Spring 2017 FAST NUCES, Faisalabad Campus Zain Iqbal Zain.iqbal @nu.edu.pk
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
Today’s Topics CS 401 - SPRING 2016 2 Planning Forward & Backward search Using heuristics STRIPS Partial-Order Plan (POP)
Image of page 2
Representingactions, situations, events CS 401 - SPRING 2016 3 Propositional and first order logic are monotonic Once something is true it cannot become false But, the world isdynamic: What is true now may not be true tomorrow Changes in the world may be triggered by our activities Problems: How to represent the change in the FOL? How to represent actions we can use to change the world?
Image of page 3

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon