一种逻辑强化学习的tableau推理方法 (2008年)

将强化学习与逻辑程序设计相结合,提出了逻辑强化学习方法 。在此基础上,针对 tableau推理方法需要根据 具体的逻辑公式扩展而影响推理效率的实际问题,提出了基于逻辑强化学习的 tableau方法,该方法将逻辑公式及扩 展结果的组合作为其抽象状态,扩展规则作为其活动,节点封闭作为其目标,来获得回报 。采用该方法,一方面可以 更好地适应多种类型的 tableau推理,减少推理的盲目性 。另一方面复杂的推理可以应用简单的推理结果,提高推理 的效率 。