[发明专利]一种基于回答集逻辑程序的LPMLN推理方法及系统

摘要

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

主权项

一种基于回答集逻辑程序的LPMLN推理方法，其特征在于，包括如下步骤：步骤一：首先输入LPMLN程序和推理参数，该推理参数包括强转化参数、推理类型参数和输出格式参数，然后对输入的LPMLN程序进行语法分析，从而得到输入程序的Herbrand域以及关键的语法要素，其中关键语法要素包括：规则的语法结构、规则的权重、规则是否为强规则；并且为LPMLN程序中的每个规则分配一个规则标签；其中规则标签的形式为“rlabel(i,X1,…,Xn)”，其中i是一个正整数，对于不同的规则其规则标签中的i互不相同，相当于规则的唯一ID；X1,…,Xn是规则中的不同变量列表；步骤二：根据步骤一中的强转化参数判断输入的LPMLN程序是进行强转化操作还是弱转化操作，并通过强转化或弱转化方法转化为对应的回答集程序；步骤三：调用回答集程序推理机求解步骤二中转化得到的回答集程序；步骤四：将步骤三中通过回答集程序推理机求解输出的可能世界变换为输入LPMLN程序所对应的推理结果。