[发明专利]基于回答集程序设计的引入中间人的协商方法

权利要求书

1.基于回答集程序设计的引入中间人的协商方法，其特征是，包括如下步骤：

步骤1、双方协商代理向中间代理提出开始协商的相关信息；

步骤2、中间代理初始化协商协议，负责验证协商是否可以开始，若可以开启协商，则收集与即将开始的协商相关的各项信息；

步骤3、协商代理判断协商建议是否全被协商，如果全被协商则转到步骤6，否则转到步骤4；

步骤4、双方协商代理分别生成协商建议，并提交给中间代理；

步骤4.1、输入协商物品的ASP规则的规则集Π和协商中需要了解文字的文字集H；

步骤4.2、把目标g作为约束加入规则集Π中，形成新的规则集Π'；如果新的规则集Π'中有回答集，则转到步骤4.9；如果新的规则集Π'中没有回答集，则转到步骤4.3；

步骤4.3、任选并删除文字集H中的一个文字，将其加入到新的文字集H'中；

步骤4.4、将新的文字集H'加入到新的规则集Π'；如果新的规则集Π'中有回答集，则转到步骤4.5；如果新的规则集Π'中没有回答集，则转到步骤4.3；

步骤4.5、若新的文字集H'为空，则转到步骤4.9；若新的文字集H'不为空，则转到步骤4.6；

步骤4.6、从新的文字集H'中任选并删除一个文字；

步骤4.7、将步骤4.6得到的新的文字集H'加入新的规则集Π'；如果新的规则集Π'中有回答集，则转到步骤4.5；如果新的规则集Π'中没有回答集，则转到步骤4.8；

步骤4.8、将步骤4.6所删除的文字加入新的规则集Π'，转到步骤4.5；

步骤4.9、新的规则集Π'的回答集与文字集H的交集即为生成的协商建议；

步骤5、中间代理收到双方协商代理提交的协商建议，根据协商规则判断协商是否成功；如果协商成功，通知双方协商代理协商成功，并结束协商进程；否则，中间代理向双方协商代理发送本轮协商双方提议协商失败的原因，并通知协商代理进入下一轮，即转到步骤3；

步骤6、当双方协商代理的协商建议全部被协商过且均未被采纳或当双方协商代理违反规则的次数达到了规定次数时，则中间代理就认为该协商的结果是失败的并结束协商进程。