随着信息技术的飞速发展,电子商务作为一种快速,便捷的交易方式越来越多的走进人们的生活,而协商作为电子商务交易中的一个重要环节,在多Agent系统的研究中起到了至关重要的作用。逻辑程序的协商问题是目前多Agent协商的一个研究热点,回答集程序作为逻辑程序的一种,具有丰富的知识表达能力和非单调推理能力。本文通过将回答集程序用于电子商务的自动协商问题研究中,提出了一个消费者一方(买方)单边修改回答集程序的异步协商模型。该模型中,回答集程序作为协商双方Agent的知识表示,每一个Agent选择自己的一个回答集作为初始的协商需求,通过消费者一方接收对方需求和放弃自己的部分需求的过程来模拟整个协商过程。作为协商的一方,为保证交易的效率,避免回答集程序频繁更新,电商平台(卖方)在整个协商过程中不修改自己的回答集程序,而是将回答集程序的更新推迟到一段时间之后,通过以往交易记录中消费者提出的协商需求信息,生成所需要的更新程序,并通过合并更新程序来完成更新。对于每一个理性的Agent,他们在选择自己的一个回答集作为初始的协商需求时,都会有自己的偏好,这些偏好通常是决定协商能否成功的关键,因为这些偏好决定了他们的哪些协商需求可以适当放弃,哪些是宁愿协商失败也不会妥协的。协商双方在最初协商的时候都希望根据自己的偏好对协商需求进行优先排序,并选择一个最能反映自己偏好的回答集作为自己的初始协商需求。本文通过分析回答集程序中规则之间的依赖关系,并使用这种规则之间的依赖关系来构造回答集程序的规则依赖图,提出了一种基于规则依赖图的协商需求排序方法。而且我们对Agent的协商需求进行了分类:核心需求和非核心需求,对于非核心需求Agent是可以妥协,而核心需求是不可以妥协的。由于协商的过程即博弈的过程,通过分析协商模型的博弈论属性,判断协商的结果是否具有博弈论中的某些均衡属性,是证明该模型是否有效的方法之一。因此,我们证明了本文提出的异步协商模型具有以下几个主要的博弈论相关属性:在设定商家交易过程中选择更新回答集程序会存在开销的条件下,无论协商是否有冲突产生,买卖双方博弈存在的纳什均衡结果都是:买家购买商品,卖家不更新回答集程序。因此证明了电子商务协商中采用买方单边更新回答集程序,卖方不更新的异步协商模型的正确性。异步协商模型下,买卖双方博弈是完美信息动态博弈,并且该博弈存在子博弈精炼纳什均衡解。最后我们给出了基于回答集程序的电子商务协商系统原型,并通过实例分析了买卖双方协商的过程及卖方回答集程序更新的方法。