Planning, State Space Search, Artificial Intelligence, Agents.
languages Representation of Planning problems is often done using STRIPS (Stanford Research Institute Problem Solver). It consists of: A set of states- It is a conjunction of positive ground literals. A set of goals- partially specified state represented as a conjunction of positive literals, and A