武汉飞鸽crm电销系统,咨询武汉飞鸽crm电销系统,办理武汉飞鸽crm电销系统
协泽商贸是一家针对电话销售而成立的通讯公司，三大运营商和虚商合作，推出稳定的白名单电话销售卡，可超频、稳定可靠、全国拨打、全国归属地基本上都可以单独定制，一证五户，满足各行业的电销需求。我司长期提供各类防封电销卡。欢迎各界老板洽谈合作
为适应环境变化和协作求解，智能主体(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理论研究与应用的多个领域职称论文。
