溫州電銷(xiāo)助手官網(wǎng),咨詢(xún)溫州電銷(xiāo)助手官網(wǎng),辦理溫州電銷(xiāo)助手官網(wǎng)

億卡惠通訊公司電銷(xiāo)卡服務(wù)商已做多年手機(jī)卡業(yè)務(wù)，服務(wù)上千上萬(wàn)家電銷(xiāo)公司，一站式服務(wù)，售后有保障，讓客戶(hù)用著放心！ 服務(wù)宗旨：只給客戶(hù)推薦市面上穩(wěn)定的電銷(xiāo)卡！電銷(xiāo)卡服務(wù)商和多家虛商都有合作，誠(chéng)招代理，可以開(kāi)后臺(tái)開(kāi)工號(hào)！有需要的老板可以電話或微信聯(lián)系！

為適應(yīng)環(huán)境變化和協(xié)作求解，智能主體(agent)必須利用知識(shí)修改內(nèi)部狀態(tài)，即心智狀態(tài)(mental state)。主體的心智狀態(tài)為主體如何行動(dòng)提供了一種解釋?zhuān)簿褪钦f(shuō)主體的行動(dòng)是由主體的心智狀態(tài)驅(qū)動(dòng)的，如認(rèn)知、情感、意向等。邏輯是描述主體心智狀態(tài)的重要工具[1]。1990年，Moore[2]使用形式邏輯對(duì)主體進(jìn)行了建模，并主要研究了主體擁有的知識(shí)與實(shí)現(xiàn)的動(dòng)作之間的關(guān)系;隨后Cohen等人[3]系統(tǒng)地研究了信念、目標(biāo)、持續(xù)目標(biāo)、意圖和理性的邏輯表達(dá)和演算問(wèn)題，他們的工作基于線性時(shí)態(tài)邏輯，在語(yǔ)義上則以Kripke可能世界語(yǔ)義學(xué)為基礎(chǔ)，并給出了BDI形式模型;其后，Rao等人[4]提出了理想agent的BDI模型，使用了三個(gè)基本的模態(tài)算符:信念(belief)、愿望(desire)和意圖(intention)建立了主體的BDI模型;Jiao等人[5]針對(duì)主體是在進(jìn)程級(jí)運(yùn)行的程序，運(yùn)用π演算描述了主體的理性和行為意圖，利用π演算這種刻畫(huà)通信系統(tǒng)的進(jìn)程演算表示出主體間的交互;胡山立等人[6，7]在真假子集語(yǔ)義基礎(chǔ)上通過(guò)對(duì)模型的代數(shù)結(jié)構(gòu)施加一定的約束，開(kāi)發(fā)了雙子集語(yǔ)義改進(jìn)模型，避免了基于正規(guī)模態(tài)邏輯表示的邏輯全知問(wèn)題以及由此帶來(lái)的副作用等問(wèn)題。此外，Konolige等人[8~13]也做了相關(guān)值得肯定的工作，遍及BDI理論研究與應(yīng)用的多個(gè)領(lǐng)域職稱(chēng)論文。