濟(jì)南通信助手,咨詢濟(jì)南通信助手,辦理濟(jì)南通信助手
協(xié)澤商貿(mào)是一家針對(duì)電話銷售而成立的通訊公司,三大運(yùn)營(yíng)商和虛商合作,推出穩(wěn)定的白名單電話銷售卡,可超頻、穩(wěn)定可靠、全國(guó)撥打、全國(guó)歸屬地基本上都可以單獨(dú)定制,一證五戶,滿足各行業(yè)的電銷需求。我司長(zhǎng)期提供各類防封電銷卡。歡迎各界老板洽談合作
事實(shí)上,作為一個(gè)智能主體,其獲取信念(知識(shí))的途徑主要有兩種:a)他省(extrospectiveness),即通過外界交互,從其他主體中獲取信息;b)自省(introspectiveness),即通過自己的歷史數(shù)據(jù)庫(kù)獲取相關(guān)知識(shí)的信息。因此,對(duì)于主體信念的描述與刻畫,兩種途徑缺一不可。在當(dāng)前研究中,體現(xiàn)他省的BDI模型較多,卻較少帶自省功能的模型。但從時(shí)態(tài)數(shù)據(jù)庫(kù)、時(shí)態(tài)知識(shí)庫(kù)的角度看,智能主體的知識(shí)也是一個(gè)隨著時(shí)間軸向前推進(jìn)的歷史數(shù)據(jù)庫(kù)序列H=(H?0,…,H?n,Hn+1,…),在不同的階段有不同的知識(shí)集,這些知識(shí)集對(duì)當(dāng)前信念的建立影響巨大,自省不可忽視。因此,在邏輯建模中,必須體現(xiàn)他省和自省,并處理其間的各類知識(shí)沖突。
考慮到主體理論模型中普遍存在邏輯全知的問題,這也主要是因?yàn)橄嚓P(guān)模型使用了經(jīng)典模態(tài)邏輯(或相關(guān)變形系統(tǒng))、二值邏輯導(dǎo)致的結(jié)果。邏輯全知問題主要包括兩個(gè)方面:
a)一個(gè)主體如果知道一個(gè)命題,那么它知道它所知道的命題的全部邏輯后承。
b)一個(gè)主體知道所有的真理(重言式)。