In computational complexity theory, PSPACE is the set of all decision problems that can be solved by a Turing machine using a polynomial amount of space. In this chapter will introduce PSPACE with a number of content: PSPACE complexity class, quantified satisfiability, planning problem, PSPACE-complete.