1.FORMAL SPECIFICATIONSUSING PDDL Introduction WordPad PDDL2. Formal Specification – INTROWe can describe a system using specificationlanguages.Here we see how PDDL can…
