Show simple item record

dc.contributor.authorZhang, Xiaojunzh_CN
dc.contributor.authorJiang, Minzh_CN
dc.contributor.authorZhou, Changlezh_CN
dc.contributor.authorHao, Yijiangzh_CN
dc.contributor.author张晓君zh_CN
dc.contributor.author江敏zh_CN
dc.contributor.author周昌乐zh_CN
dc.date.accessioned2015-07-22T02:14:27Z
dc.date.available2015-07-22T02:14:27Z
dc.date.issued2012zh_CN
dc.identifier.citationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012:439-450zh_CN
dc.identifier.other20140917395000zh_CN
dc.identifier.urihttps://dspace.xmu.edu.cn/handle/2288/85699
dc.descriptionConference Name:2012 International Conference on Web Information Systems and Mining, WISM 2012. Conference Address: Chengdu, China. Time:October 26, 2012 - October 28, 2012.zh_CN
dc.descriptionXihua University; Leshan Normal Universityzh_CN
dc.description.abstractIn the recent past, the most influential theories with respect to agent technology are the Belief-Desire-Intention (BDI) model. This paper not only expands past achievements but also makes novel proposals. It gives a very elegant way within a uniform and flexible logical framework for the graded BDI model, that is, for reasoning about probabilities and other uncertainty models, such as degrees of desires and intentions. We choose to blend the infinite-valued Lukasiewicz Logic and Propositional Dynamic Logic to formulize the graded BDI agent model. After presenting the language and semantics for this model, we propose axioms and rules for the graded BDI logic and prove a soundness and completeness result. On the basis of dealing with composite action, we illustrate interrelations between contexts for the model. It is hoped that the present study will make contributions to represent and reason under uncertainty as well as providing a formal support for engineer complex distributed systems. 漏 Springer-Verlag Berlin Heidelberg 2012.zh_CN
dc.language.isoen_USzh_CN
dc.publisherSpringer Verlagzh_CN
dc.source.urihttp://dx.doi.org/10.1007/978-3-642-33469-6_56zh_CN
dc.subjectSemanticszh_CN
dc.subjectWorld Wide Webzh_CN
dc.titleGraded BDI models for agent architectures based on Lukasiewicz logic and propositional dynamic logiczh_CN
dc.typeConferencezh_CN


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record