【正文】
BDI模型中的行為驅(qū)動規(guī)則 考慮到 BDI模型的精神狀態(tài)特征,在基于精神狀態(tài)的 Agent的實現(xiàn)中采用規(guī)則來表示信念、期望和意圖之間的驅(qū)動關(guān)系, 并稱其為 BDI行為驅(qū)動規(guī)則。 合同網(wǎng)(一) 合同網(wǎng)是 R. Smith提出的一種協(xié)商方法 (他稱之為結(jié)點間建立聯(lián)系的方法 ) , 合同網(wǎng)協(xié)議最早用于分布式傳感器系統(tǒng)中 , 完成了在一個分布式系統(tǒng)中傳遞控制的作用 。這樣, Agent的目標(biāo)隱含著產(chǎn)生使函數(shù)值達到最大的環(huán)境狀態(tài)。 基于 Fox與他的同事提出的辯論系統(tǒng): 論證的基本形式: ),(| G r ou nd sSe nte nc eD ataba s e ??Database是邏輯公式的集合(可能是不一致的) ?Sentence是稱為結(jié)論的邏輯公式 ?Grounds是邏輯公式集合 D a ta b a s eG r o u n d s ?( 1) ( 2) Sentence可以由 Grounds證明 ),上的論證( ?? ?基于邏輯的辯論 —— 論證(一) 一般來說,對于一個給定的命題, Agent可以構(gòu)造幾個論證,有些論證支持這個命題,有些論證反對這個命題(這種情況是對命題的否定)。當(dāng)合同不是必需時,可以用請求消息來直接對請求的信息進行編碼。 課堂討論 ( 1) 舉例幾種合同網(wǎng)任務(wù)分配協(xié)商時標(biāo)值評估一般會考慮哪些因素? ( 2)假設(shè)實現(xiàn)這樣的合同網(wǎng)協(xié)議:任務(wù)為因數(shù)分解的任務(wù),有一個 Agent連續(xù)地產(chǎn)生新任務(wù),并需要分配給其他任務(wù),闡述通過合同網(wǎng)協(xié)議分配任務(wù)的過程。 ? 對于類似于信息請求這樣的簡單任務(wù),用合同的方式可能是不合適的,在這情況下,可以使用無多余修飾的請求 —— 應(yīng)答序列。這個過程包含 Agent對提出的命題支持或者反對的理由,以及對這些辯論