本研究提出了一种将问题解决视为确定性马尔可夫决策过程的框架FPS，旨在解决科学和工程中缺乏具体形式化的问题。该框架在表达性、健全性和完整性方面表现优异，并创建了三个新的问题解决基准，具有重要应用潜力。