Toward a formal theory of belief, capability and promise incorporating temporal aspect | |
Zhao, XY ; Fan, SF ; Zhang, RJ ; Yue, AB ; Lin, ZQ | |
2005 | |
英文摘要 | In this paper, a logical model for reasoning about rational agent's three attitudes Belief, Capability and Promise, incorporating the temporal aspect, is proposed. Diverse axioms that can reflect different properties of the agents are presented in a precise way by appropriate conditions according to the accessibility relations of the models. The inter-relations among the operators are also explored to characterize the interactions and cooperations between the agents. An illustrative reasoning example in the trading agent competition for supply chain management(TAC SCM) is presented to show the potential applications of the model.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000233298100030&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Computer Science, Artificial Intelligence; Computer Science, Theory & Methods; SCI(E); CPCI-S(ISTP); 0 |
语种 | 英语 |
出处 | SCI |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/315017] ![]() |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Zhao, XY,Fan, SF,Zhang, RJ,et al. Toward a formal theory of belief, capability and promise incorporating temporal aspect. 2005-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论