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