Implementing BDI agents using Petri nets

被引:0
|
作者
Jiménez-Ochoa, I [1 ]
Begovich, O [1 ]
Ramírez-Treviño, A [1 ]
Aguirre-Salas, LI [1 ]
机构
[1] IPN, CINVESTAV, Unidad Guadalajara, Guadalajara 45090, Jalisco, Mexico
关键词
IPN; BDI architecture; observer;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper is concerned with Multiagent System (MAS). In particular, the design of a function that generates beliefs in an agent using the Belief-Desire-Intention (BDI) arquitecture is presented. This work is developed in the Discrete Event Systems (DES) context, since they include a broad class of systems like Flexible Manufacturing Systems that can be modeled as Interpreted Petri Net (IPN). The mathematical analysis used in this paper allows to determine, using lineal algebra concepts, when the belief will tend to a fact as new information is perceived by the agent.
引用
收藏
页码:286 / 291
页数:6
相关论文
共 50 条
  • [31] Modeling Petri Nets Using Alloy
    Robles, Jonathan A.
    Solano, Geoffrey A.
    TENCON 2012 - 2012 IEEE REGION 10 CONFERENCE: SUSTAINABLE DEVELOPMENT THROUGH HUMANITARIAN TECHNOLOGY, 2012,
  • [32] Modeling Fault Tolerated Mobile Agents by Colored Petri Nets
    Zhang, Shao-zhen
    Ding, Zuo-hua
    Hu, Jue-liang
    ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, ICIC 2015, PT III, 2015, 9227 : 607 - 617
  • [33] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [34] PETRI NETS
    PETERSON, JL
    COMPUTING SURVEYS, 1977, 9 (03) : 223 - 252
  • [35] Implementing Substations Automatic Control Functions Designed With Petri Nets on IEC 61850
    Pinto de Sa, J. L.
    Cartaxo, R.
    IEEE TRANSACTIONS ON POWER DELIVERY, 2011, 26 (02) : 1119 - 1127
  • [36] PETRI NETS
    ROZENBLYUM, LY
    ENGINEERING CYBERNETICS, 1983, 21 (05): : 19 - 43
  • [37] Petri nets
    Advances in Industrial Control, 2009, (9781848822436): : 17 - 43
  • [38] A Polynomial Time Flow for Implementing Free-Choice Petri-Nets
    Mattheakis, Pavlos M.
    Sotiriou, Christos P.
    Beerel, Peter A.
    2012 IEEE 30TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2012, : 227 - 234
  • [39] Petri nets
    Petrinetze
    Informatik-Spektrum, 1600, Springer Verlag (37): : 165 - 167
  • [40] A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
    Cabasino, Maria Paola
    Giua, Alessandro
    Lafortune, Stephane
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (12) : 3104 - 3117