張曉君
四川師范大學(xué)政治教育學(xué)院
四川師范大學(xué)邏輯與信息研究所
廈門大學(xué)福建省仿腦智能系統(tǒng)重點實驗室
zhangxj566@163.com
吳寶祥
四川師范大學(xué)政治教育學(xué)院
四川師范大學(xué)邏輯與信息研究所
495171973@qq.com
?
基于keg-BDI主體的決策行為建模
張曉君
四川師范大學(xué)政治教育學(xué)院
四川師范大學(xué)邏輯與信息研究所
廈門大學(xué)福建省仿腦智能系統(tǒng)重點實驗室
zhangxj566@163.com
吳寶祥
四川師范大學(xué)政治教育學(xué)院
四川師范大學(xué)邏輯與信息研究所
495171973@qq.com
文章通過把無窮值的盧卡斯維茨邏輯的真值取值范圍從[0,1]擴展到[-1,1],提出了基于盧卡斯維茨邏輯和命題動態(tài)邏輯的keg-BDI邏輯(即:知識情感等級BDI邏輯),此邏輯是情感等級BDI邏輯的一種擴展邏輯。keg-BDI邏輯可以對知識狀態(tài)、心智狀態(tài)(比如:信念、愿望和意圖)和情感狀態(tài)(比如:害怕、焦慮和自信)這些能夠能夠影響keg-BDI主體行為決策的因素進(jìn)行形式化。keg-BDI主體的決策行為是通過添加了具體條件的不同背景的不同測度來決定。文章在給出了keg-BDI模型的語言、語義之后,對此種模型的不同背景之間的相互關(guān)系進(jìn)行了論述,最后對keg-BDI主體的軍事決策行為進(jìn)行了實例分析。本研究的目的在于為分布式人工智能和軍事仿真提供形式支持。