A new plan formalism method and a plan knowledge graph concept. Compared with Kautz s formalism used widely in plan recognition, this method is simpler and more direct. Because a concept of supporting degree is introduced into plan knowledge graph, the recognized plans are changed reasonably as new evidences collected. A plan recognition algorithm based on knowledge graph presented in this paper can change the plan recognition problem into the graph searching one. This method not only prompts efficiency but also gives the same result as Kautz's.
[1] Henry,A.,Kautz,A.Formal theory of plan recognition [Ph.D.Thesis].Rochester: University of Rochester,1987.
[2] Charniak,E.,Goldman,R.P.A Bayesian model of plan recognition.Artificial Intelligence,1993,64(1):53~79.
[3] Schmidt,C.F.,Sridharan,N.S.,Goodson,J.L.The plan recognition problem: an intersection of psychology and artificial intelligence.Artificial Intelligence,1978,11(1):45~83.
[4] Litman,D.,Allen,J.A plan recognition model for subdialogues in conversation.Cognitive Science,1987,11(1):163~200.
[5] Karen,H.,Victor,L.Knowledge-Based command understanding: an example for the software development environment.Technical Report TR 82-6,Department of Computer and Information Science,University of Massachusetts,Amherst,1982.
[6] Vilain,M.Getting serious about parsing plans: a grammatical analysis of plan recognition.In: Proceedings of the 8th National Conference on Artificial Intelligence.Boston: AAAI Press,1990.190~197.
[7] Poole,D.Probabilistic horn abduction and Bayesian networks.Artificial Intelligence,1993,64(2):81~129.
[8] Allen,J.F.,Koomen,J.A.Planning using a temporal world model.In: Amareleds,S.,ed.Proceedings of the IJCAI-83.Karlsruhe: Morgan Kanfmann Publishers,Inc.,1983.741~747.