一种基于回答集逻辑程序的LPMLN推理方法及系统

摘要

本发明公开一种基于回答集逻辑程序的LPMLN推理方法，1、首先输入LPMLN程序和推理参数，其中推理参数包括强转化参数等，然后对输入的LPMLN程序进行语法分析，从而得到输入程序的Herbrand域以及关键的语法要素；2、根据步骤一中的强转化参数判断输入的LPMLN程序是进行强转化操作还是弱转化操作，并通过强转化或弱转化方法转化为对应的回答集程序；3、调用回答集程序推理机求解步骤二中转化得到的回答集程序；4、将步骤三中通过回答集程序推理机求解输出的可能世界变换为输入LPMLN程序所对应的推理结果。本发明能够在线性时间内将输入的LPMLN程序转化为相应的回答集程序，并利用回答集程序推理机实现其推理。