The document discusses various aspects of planning in artificial intelligence, including the definition of planning problems and different search techniques such as forward and backward state-space search. It highlights the importance of propositional logic in these planning processes. The content is presented by Dr. J. Senthilkumar, an assistant professor in the Department of Computer Science and Engineering.

1. Planning in Artificial Intelligence
PLANNING
1. Planning problem
2. Planning with state space search
3. Forward state-space search
4. Regression
5. Backword state-space search
Dr.J.SENTHILKUMAR
Assistant Professor
Department of Computer Science and Engineering
KIT-KALAIGNARKARUNANIDHI INSTITUTE OF TECHNOLOGY

10. Propositional Logic