Reasoning about Action in Polynomial Time

  title={Reasoning about Action in Polynomial Time},
  author={Thomas Drakengren and Marcus Bj{\"a}reland},
Although many formalisms for reasoning about action exist, surprisingly few approaches have taken computat ional complexity into considerat ion. The contributions of this paper are the fol lowing: a temporal logic w i th a restriction for which deciding satisfiability is tractable, a tractable extension for reasoning about act ion, and NP-completeness results for the unrestricted problems. Many interesting reasoning problems can be modelled, involving nondetermin ism, concurrency and memory of… CONTINUE READING

From This Paper

Topics from this paper.
6 Citations
1 References
Similar Papers


Publications referenced by this paper.

Dependent uents

  • V. Lifschitz
  • In IJCAI '95,
  • 1995
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…