Abstract
Taken first-order predicate logic as formal language, this paper first introduces the knowledge representation form in intelligent planning and plan recognition system. A plan recognition model based on intelligent planning is then set up. For the process of solving problems of planning is to search from initial to final state or from final to initial state, an algorithm for producing the plan sequence is described. The Dempster-Shafer evidential theory, an effective inference method with uncertainty, is combined in the solving process to implement the inference with uncertainty of plan recognition. Finally, a tactical plan recognition example is proposed to explain the process of planning inference with uncertainty, which shows the feasibility of using the presented method for solving the problems of plan recognition.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
