武漢飛鴿crm電銷系統(tǒng),咨詢武漢飛鴿crm電銷系統(tǒng),辦理武漢飛鴿crm電銷系統(tǒng)
協(xié)澤商貿(mào)是一家針對(duì)電話銷售而成立的通訊公司，三大運(yùn)營(yíng)商和虛商合作，推出穩(wěn)定的白名單電話銷售卡，可超頻、穩(wěn)定可靠、全國(guó)撥打、全國(guó)歸屬地基本上都可以單獨(dú)定制，一證五戶，滿足各行業(yè)的電銷需求。我司長(zhǎng)期提供各類防封電銷卡。歡迎各界老板洽談合作
為適應(yīng)環(huán)境變化和協(xié)作求解，智能主體(agent)必須利用知識(shí)修改內(nèi)部狀態(tài)，即心智狀態(tài)(mental state)。主體的心智狀態(tài)為主體如何行動(dòng)提供了一種解釋，也就是說(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)域職稱論文。
