温州电销助手官网,咨询温州电销助手官网,办理温州电销助手官网
亿卡惠通讯公司电销卡服务商已做多年手机卡业务，服务上千上万家电销公司，一站式服务，售后有保障，让客户用着放心！ 服务宗旨：只给客户推荐市面上稳定的电销卡！电销卡服务商和多家虚商都有合作，诚招代理，可以开后台开工号！有需要的老板可以电话或微信联系！
为适应环境变化和协作求解，智能主体(agent)必须利用知识修改内部状态，即心智状态(mental state)。主体的心智状态为主体如何行动提供了一种解释，也就是说主体的行动是由主体的心智状态驱动的，如认知、情感、意向等。逻辑是描述主体心智状态的重要工具[1]。1990年，Moore[2]使用形式逻辑对主体进行了建模，并主要研究了主体拥有的知识与实现的动作之间的关系;随后Cohen等人[3]系统地研究了信念、目标、持续目标、意图和理性的逻辑表达和演算问题，他们的工作基于线性时态逻辑，在语义上则以Kripke可能世界语义学为基础，并给出了BDI形式模型;其后，Rao等人[4]提出了理想agent的BDI模型，使用了三个基本的模态算符:信念(belief)、愿望(desire)和意图(intention)建立了主体的BDI模型;Jiao等人[5]针对主体是在进程级运行的程序，运用π演算描述了主体的理性和行为意图，利用π演算这种刻画通信系统的进程演算表示出主体间的交互;胡山立等人[6，7]在真假子集语义基础上通过对模型的代数结构施加一定的约束，开发了双子集语义改进模型，避免了基于正规模态逻辑表示的逻辑全知问题以及由此带来的副作用等问题。此外，Konolige等人[8~13]也做了相关值得肯定的工作，遍及BDI理论研究与应用的多个领域职称论文。
