溫州電銷助手官網,咨詢溫州電銷助手官網,辦理溫州電銷助手官網
億卡惠通訊公司電銷卡服務商已做多年手機卡業務，服務上千上萬家電銷公司，一站式服務，售后有保障，讓客戶用著放心！ 服務宗旨：只給客戶推薦市面上穩定的電銷卡！電銷卡服務商和多家虛商都有合作，誠招代理，可以開后臺開工號！有需要的老板可以電話或微信聯系！
為適應環境變化和協作求解，智能主體(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理論研究與應用的多個領域職稱論文。
