A New Logical framework for Deductive Planning

@inproceedings{Stephan1993ANL,
  title={A New Logical framework for Deductive Planning},
  author={Werner Stephan and Susanne Biundo-Stephan},
  booktitle={IJCAI},
  year={1993}
}
In t.his pap~l' w~ P l'~SPllt. a lop;ira.J fra.IIlPwork for d~filling collsist.ellt axiomat.izat.ions of plallllillg doma.ills. A lallglla.ge to defiIle hasic actiollS alld stl'lIctmed plans is emhedded ill n. logic. Tlti~ allows g(~Ileral propert.ies of a whole planning scenario to be proved as well as pla,lls to he formed deductively. In particular, frame assert.ions and domain cOllst.raillts as illvariants of the basic actions can be formulated and proved. Evell for complex plans most frame… CONTINUE READING

Similar Papers

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 27 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 14 REFERENCES

Pednault . ADL : Exploring the Middle Ground Between STRIPS and the Situation Calculus

E.
  • Proceedings of the 1 st International Conferenceon Principles of Knowledge Representation and Reasoning , pages
  • 1989

Tactical Theorem Proving in Program Veri cation

W. Reif, andW. Stephan.
  • 1989

Salwicki . Algorithmic Logic . A Toolfor Investigations of Programs

A.
  • Logic , Foundationsof Mathematics , and Computability Theory , Butts andHintikka
  • 1977

A Dynamic Logic for Program Veri cation

W. Reif, W. Stephan.
  • Proc . of the ECAI92 Workshopon Beyond Sequential Planning

Lifschitz . On the Semantics ofSTRIPS

V.

    Pednault . Formulating Multiagent , DynamicWorld Problems in the Classical PlanningFramework

    E.

      Plan Generation byLinear Proofs : On Semantics

      W. Bibel.