溫州電銷助手官網(wǎng),咨詢溫州電銷助手官網(wǎng),辦理溫州電銷助手官網(wǎng)
億卡惠通訊公司電銷卡服務(wù)商已做多年手機卡業(yè)務(wù),服務(wù)上千上萬家電銷公司,一站式服務(wù),售后有保障,讓客戶用著放心! 服務(wù)宗旨:只給客戶推薦市面上穩(wěn)定的電銷卡!電銷卡服務(wù)商和多家虛商都有合作,誠招代理,可以開后臺開工號!有需要的老板可以電話或微信聯(lián)系!
為適應(yīng)環(huán)境變化和協(xié)作求解,智能主體(agent)必須利用知識修改內(nèi)部狀態(tài),即心智狀態(tài)(mental state)。主體的心智狀態(tài)為主體如何行動提供了一種解釋,也就是說主體的行動是由主體的心智狀態(tài)驅(qū)動的,如認(rèn)知、情感、意向等。邏輯是描述主體心智狀態(tài)的重要工具[1]。1990年,Moore[2]使用形式邏輯對主體進(jìn)行了建模,并主要研究了主體擁有的知識與實現(xiàn)的動作之間的關(guān)系;隨后Cohen等人[3]系統(tǒng)地研究了信念、目標(biāo)、持續(xù)目標(biāo)、意圖和理性的邏輯表達(dá)和演算問題,他們的工作基于線性時態(tài)邏輯,在語義上則以Kripke可能世界語義學(xué)為基礎(chǔ),并給出了BDI形式模型;其后,Rao等人[4]提出了理想agent的BDI模型,使用了三個基本的模態(tài)算符:信念(belief)、愿望(desire)和意圖(intention)建立了主體的BDI模型;Jiao等人[5]針對主體是在進(jìn)程級運行的程序,運用π演算描述了主體的理性和行為意圖,利用π演算這種刻畫通信系統(tǒng)的進(jìn)程演算表示出主體間的交互;胡山立等人[6,7]在真假子集語義基礎(chǔ)上通過對模型的代數(shù)結(jié)構(gòu)施加一定的約束,開發(fā)了雙子集語義改進(jìn)模型,避免了基于正規(guī)模態(tài)邏輯表示的邏輯全知問題以及由此帶來的副作用等問題。此外,Konolige等人[8~13]也做了相關(guān)值得肯定的工作,遍及BDI理論研究與應(yīng)用的多個領(lǐng)域職稱論文。