Formal Specification for POMDPRS
Planning is a main research direction in artificial intelligence and has widely application background.POMDPRS is a continual planning system which combines the continual planning mechanism of PRS,the probabilistic distribution belief model and the maximum utility principle of POMDP,so that it gains stronger abilities of adapting to dynamic nondeterministic environments.This paper intends to descript POMDPRS in formal semantics level.Further more,An example will be given to compare POMDPRS to PRS and POMDP for illuminating its advantages.