A Formal Study on the Dualities in Temporal Projection Problems

  • Xing Tan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7310)


Using Situation Calculus, this paper provides a formal account of the relationship between the possible truth problem and the necessary truth problem in dynamical systems. In addition, advantages of applying this formal method to the domain are demonstrated through examples.


Event System Causal Structure Formal Study Truth Problem Situation Calculus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bresina, J.L., Jónsson, A.K., Morris, P.H., Rajan, K.: Activity planning for the Mars exploration rovers. In: ICAPS 2005, pp. 40–49 (2005)Google Scholar
  2. 2.
    Dean, T., Boddy, M.: Reasoning about partially ordered events. Artificial Intelligence 36(3), 375–399 (1988)MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    Garey, M., Johnson, D.: Computers and intractability - a guide to NP-completeness. W.H. Freeman and Company, San Francisco (1979)zbMATHGoogle Scholar
  4. 4.
    Kambhampati, S., Nau, D.: On the nature and role of modal truth criteria in planning. Artificial Intelligence 82(1-2), 129–155 (1996)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Muise, C.J., McIlraith, S.A., Beck, J.C.: Monitoring the execution of partial-order plans via regression. In: IJCAI 2011, pp. 1975–1982 (2011)Google Scholar
  6. 6.
    Nebel, B., Bäckström, C.: On the computational complexity of temporal projection, planning, and plan validation. Artificial Intelligence 66(1), 125–160 (1994)MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Reiter, R.: Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press, Cambridge (2001)zbMATHGoogle Scholar
  8. 8.
    Tan, X.: The Application of Ontologies to Reasoning with Process Modeling Formalisms. PhD thesis, University of Toronto (2012)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Xing Tan
    • 1
  1. 1.Center for Technology in GovernmentUniversity at Albany/SUNYUSA

Personalised recommendations