Reasoning with Actions in Transaction Logic

  • Martín Rezk
  • Michael Kifer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6902)

Abstract

This paper introduces TRPAD (Transaction Logic with Partially Defined Actions)—an expressive formalism for reasoning about the effects of compound actions. TRPAD is based on a subset of Transaction Logic, but extends it with special premise-formulas that generalize the data and transition formulas of the original Transaction Logic. We develop a sound and complete proof theory for TRPAD and illustrate the formalism on a number of non-trivial examples. In addition, we show that most of TRPAD is reducible to ordinary logic programming and that this reduction is sound and complete.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Baral, C., Gelfond, M.: Representing concurrent actions in extended logic programming. In: Proceedings of the 13th International Joint Conference on Artifical Intelligence, vol. 2, pp. 866–871. Morgan Kaufmann Publishers Inc., San Francisco (1993)Google Scholar
  2. 2.
    Baral, C., Gelfond, M.: Reasoning agents in dynamic domains, pp. 257–279. Kluwer Academic Publishers, Norwell (2000)MATHGoogle Scholar
  3. 3.
    Baral, C., Gelfond, M.: Reasoning about intended actions. In: Proceedings of the 20th National Conference on Artificial Intelligence, vol. 2, pp. 689–694. AAAI Press, Menlo Park (2005)Google Scholar
  4. 4.
    Baral, C., Gelfond, M., Provetti, A.: Representing actions: Laws, observations and hypotheses. Journal of Logic Programming (1997)Google Scholar
  5. 5.
    Bonner, A.J., Kifer, M.: Transaction logic programming. In: Int’l Conference on Logic Programming, pp. 257–282. MIT Press, Budapest (June 1993)Google Scholar
  6. 6.
    Bonner, A.J., Kifer, M.: Applications of transaction logic to knowledge representation. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 67–81. Springer, Heidelberg (1994)CrossRefGoogle Scholar
  7. 7.
    Bonner, A.J., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). Technical Report CSRI-323, University of Toronto (November 1995), http://www.cs.sunysb.edu/~kifer/TechReports/transaction-logic.pdf
  8. 8.
    Bonner, A.J., Kifer, M.: A logic for programming database transactions. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems. ch.5, pp. 117–166. Kluwer Academic Publishers, Dordrecht (March 1998)CrossRefGoogle Scholar
  9. 9.
    Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming 17, 301–322 (1993)CrossRefMATHGoogle Scholar
  10. 10.
    Hanks, S., McDermott, D.: Nonmonotonic logic and temporal projection. Artif. Intell. 33(3), 379–412 (1987)CrossRefMATHGoogle Scholar
  11. 11.
    Kifer, M.: FLORA-2: An object-oriented knowledge base language. The FLORA-2 Web Site, http://flora.sourceforge.net
  12. 12.
    Lam, P.E., Mitchell, J.C., Sundaram, S.: A formalization of HIPAA for a medical messaging system. In: Fischer-Hübner, S., Lambrinoudakis, C., Pernul, G. (eds.) TrustBus 2009. P.E. Lam, J.C. Mitchell, S. Sundaram, vol. 5695, pp. 73–85. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  13. 13.
    Pearce, D., Wagner, G.: Logic programming with strong negation. In: Proceedings of the International Workshop on Extensions of logic programming, pp. 311–326. Springer-Verlag New York, Inc., New York (1991)CrossRefGoogle Scholar
  14. 14.
    Rezk, M., Kifer, M.: On the Equivalence Between the L1 Action Language and Partial Actions in Transaction Logic. Submitted for Publication (2011)Google Scholar
  15. 15.
    Rezk, M., Kifer, M.: Reasoning with actions in transaction logic (2011), http://www.inf.unibz.it/~mrezk/techreportPAD.pdf
  16. 16.
    Turner, H.: Representing actions in default logic: A situation calculus approach. In: Proceedings of the Symposium in honor of Michael Gelfond’s 50th birthday (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Martín Rezk
    • 1
  • Michael Kifer
    • 2
  1. 1.KRDB Research CenterFree University of Bozen-BolzanoBolzanoItaly
  2. 2.Department of Computer ScienceStony Brook UniversityU.S.A.

Personalised recommendations