Skip to main content

A Hybrid Formal Theory of plan recognition and its implementation

  • Planning, Learning and Heuristic Search
  • Conference paper
  • First Online:
Advances in Artificial Intelligence (SBIA 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1159))

Included in the following conference series:

  • 173 Accesses

Abstract

There has been great interest in the formalization and development of systems that treat plan recognition process in Artificial Intelligence. In this paper, we develop a theoretical framework, and implement a plan recognition system. Therefore, our research work can be divided in two parts: a hybrid theory, and a feasible implementation. In the theoretical part, we develop a Hybrid Formal Theory — HFT, based in the theory of Kautz and other researchers. In the feasible part, we create a tool called Plan Recognition System — PRS.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Charniak E., Shimony S. E. “Cost-Based Abduction and MAP Explanation”, Artificial Intelligence Journal, volume 66, number 2, 1994

    Google Scholar 

  2. Cohen R., Song F., Spencer B., Beek P. V. “Exploiting Temporal and Novel Information from the User in Plan Recognition”, User Modeling and User-Adapted Interaction, volume 1, 1991

    Google Scholar 

  3. Goodman B. A., Litman D. “On the Interaction between Plan Recognition and Intelligent Interfaces”, User Modeling and User-Adapted Interaction, volume 1, 1991

    Google Scholar 

  4. Goldman R., Charniak E. “A probabilistic ATMS for plan Recognition”, AAAI-88, Workshop on Plan Recognition, 1988.

    Google Scholar 

  5. Kautz H.A., Pednault, P. D. “Planning and Plan Recognition”, AT&T Technical Journal, volume 67, 1988

    Google Scholar 

  6. Kautz H. A. “A Formal Theory of Plan Recognition”, Morgan Kaufman, 1987.

    Google Scholar 

  7. Levi K. R., Shalin, V. L., Perschbacher D. A. “Learning Plans for an Intelligent Assistant by Observing User Behavior”, International Journal of Man-Machine Studies, volume 33, 489–503, 1990

    Google Scholar 

  8. Nogueira J. H. M “Analysis and Implementation of a Formal Theory of Plan Recognition”, Technical Report, MCC 25/94, DI/PUC-RJ, Rio de Janeiro, Brazil, 1994

    Google Scholar 

  9. Nogueira J. H. M “Plan Recognition — A Hybrid Formal Theory and Implementation of a Plan Recognizer”, M.Sc. Thesis, DI/PUC-RJ, Rio de Janeiro, Brasil, 1995

    Google Scholar 

  10. Perez J. J. A. “Planning: a Survey”, Technical Report, DI/PUC-RJ, Rio de Janeiro, Brazil, 1996

    Google Scholar 

  11. Vilain M. “Getting Serious about Parsing Plans: a Grammatical Analysis of Plan Recognition”, AAAI-90, Proceedings Eighth Conference National on Artificial Intelligence, MIT Press, Cambridge, Ma., 1990

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Díbio L. Borges Celso A. A. Kaestner

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nogueira, J.H.M., Furtado, A.L., Alcazar, J.J.P. (1996). A Hybrid Formal Theory of plan recognition and its implementation. In: Borges, D.L., Kaestner, C.A.A. (eds) Advances in Artificial Intelligence. SBIA 1996. Lecture Notes in Computer Science, vol 1159. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61859-7_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-61859-7_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61859-1

  • Online ISBN: 978-3-540-70742-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics