将 MFM 翻译为 FOL：面向工厂运行规划
人工智能
2018-06-20 v1
摘要
本文提出一种将多级流建模（MFM）翻译为一阶语言（FOL）的方法，从而能够利用推理引擎和溯因推理器等逻辑技术。一个例子是可用溯因在 FOL 中求解的玩具工厂的规划任务。此外，由于 FOL 的表达能力，该语言能够描述动作及其前置条件。这使得由多个动作组成的步骤得以推导。
引用
@article{arxiv.1806.07037,
title = {Translating MFM into FOL: towards plant operation planning},
author = {Shota Motoura and Kazeto Yamamoto and Shumpei Kubosawa and Takashi Onishi},
journal= {arXiv preprint arXiv:1806.07037},
year = {2018}
}