Indexed by:
Abstract:
利用一种新的可能世界语义,在Rao和Georgeff的基于分支时间可能世界模型的BDI形式化的基础上,得到一个改进的BDI模型.与Rao和Georgeff的BDI模型以及大多数基于可能世界的形式化相比,不存在逻辑全知问题和除等价情况外的副作用问题.
Keyword:
Reprint 's Address:
Email:
Version:
Source :
计算机研究与发展
ISSN: 1000-1239
CN: 11-1777/TP
Year: 2000
Issue: 9
Volume: 37
Page: 1125-1129
Cited Count:
WoS CC Cited Count: 0
SCOPUS Cited Count:
ESI Highly Cited Papers on the List: 0 Unfold All
WanFang Cited Count:
Chinese Cited Count:
30 Days PV: 3
Affiliated Colleges: