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.
Preview
Unable to display preview. Download preview PDF.
References
Charniak E., Shimony S. E. “Cost-Based Abduction and MAP Explanation”, Artificial Intelligence Journal, volume 66, number 2, 1994
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
Goodman B. A., Litman D. “On the Interaction between Plan Recognition and Intelligent Interfaces”, User Modeling and User-Adapted Interaction, volume 1, 1991
Goldman R., Charniak E. “A probabilistic ATMS for plan Recognition”, AAAI-88, Workshop on Plan Recognition, 1988.
Kautz H.A., Pednault, P. D. “Planning and Plan Recognition”, AT&T Technical Journal, volume 67, 1988
Kautz H. A. “A Formal Theory of Plan Recognition”, Morgan Kaufman, 1987.
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
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
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
Perez J. J. A. “Planning: a Survey”, Technical Report, DI/PUC-RJ, Rio de Janeiro, Brazil, 1996
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
Author information
Authors and Affiliations
Editor information
Rights 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