A Formal Model for Case-Based Intelligent Planning

Wenxiong Li,Dongying Wu,Shengli Liu,Da Xiao
DOI: https://doi.org/10.1109/mines.2013.30
2013-01-01
Abstract:With the development of artificial intelligence, case-based reasoning technology has been widely used in intelligent decision-making systems. Case-based reasoning for intelligent planning methods, as an application of the theory of case-based reasoning, is attracting more and more people's attention. With the deep understanding of the feature of case-based intelligent planning, this paper proposed a formal case-based intelligent planning model(CBPM), using formal method to research its planning process, so as to improve case-based intelligent planning capacity of intelligent planning system. In the end, we use the CBPM to formally analyze a Case-Based Path Planning intelligent system of autonomous underwater vehicles, validating model CBPM.
What problem does this paper attempt to address?