Article :Browse 14360 Download 11819
Received:July 09, 2008 Revised:October 07, 2008
Received:July 09, 2008 Revised:October 07, 2008
Abstract:This paper introduces the concrete details of combining the automated reasoning techniques with planning methods, which includes planning as satisfiability using propositional logic, Conformant planning using modal logic and disjunctive reasoning, planning as nonmonotonic logic, and Flexible planning as fuzzy description logic. After considering experimental results of International Planning Competition and relevant papers, it concludes that planning methods based on automated reasoning techniques is helpful and can be adopted. It also proposes the challenges and possible hotspots.
keywords: intelligent planning propositional logic modal logic nonmonotonic logic description logic automated reasoning satisfiability
Foundation items:
Reference text:
Lü Shuai,LIU Lei,SHI Lian,LI Ying.Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques.Journal of Software,2009,20(5):1226-1240
Lü Shuai,LIU Lei,SHI Lian,LI Ying.Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques.Journal of Software,2009,20(5):1226-1240