一种逻辑强化学习的tableau推理方法

摘要：

tableau方法是一种具有较强的通用性和适用性的推理方法,但由于函数符号、等词等的限制,使得自动推理具有不确定性.针对tableau推理中封闭集合构造过程具有盲目性的问题,提出将强化学习用于tableau自动推理的方法.该方法将tableau推理过程中的逻辑公式与强化学习相结合,产生抽象的状态和活动.这样一方面可以通过学习方法控制自动推理的推理顺序,形成合理的封闭分枝,减少推理的盲目性;另一方面复杂的推理可以利用简单的推理结果,提高推理的效率.

关键词：逻辑强化学习、tableau推理

所属期刊栏目：3

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60673092,60775046;教育部重点资助项目207040;中国博士后科研基金资助项目20060390919;江苏省高校自然科学基金资助项目06KJB520104;江苏省博士后科研基金资助项目060211C;江苏省现代企业信息化应用支撑软件工程技术研究中心开发项目SX200804

在线出版日期：2008-09-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：355-360