An approach to specify knowledge in multi-agent systems using Petri nets

Proceedings - 2010 4th International Conference on Network and System Security, NSS 2010

Volumn , Issue , 2010, Pages 456-461

  Gonçalves, Eder Mateus Nunes ^a  

^a FEDERAL UNIVERSITY OF RIO GRANDE   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL SYSTEM; IMPLEMENTATION ASPECTS; KNOWLEDGE LEVEL; KNOWLEDGE REPRESENTATION FORMALISM; MULTI-AGENTS SYSTEMS; PETRI NET MODELS; STRUCTURING KNOWLEDGE;

GRAPH THEORY; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; NETWORK SECURITY; PETRI NETS;

MULTI AGENT SYSTEMS;

EID: 78650364281     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NSS.2010.58     Document Type: Conference Paper

References (20)

1. J. Ferber, Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence. Addison-Wesley Pub Co., 1999. ISBN:0201360489.
2. J. S. Sichman, Y. Demazeau, and O. Boisser, "When can knowledge-based systems be called agents?," in Anais do IX Seminário Brasileiro de Inteligência Artificial, pp. 172-185, October 1992.
3. D. Xu, R. A. Volz, and J. Yen, "Modeling and analyzing multi-agent behaviors using predicate/transitions nets," International Journal of Software Engineering and Knowledge Engineering, vol. 13, no. 1, pp. 103-124, 2003.
4. T. Holvoet and P. Verbaeten, "Synchronization specifications for agents with net-based behavior description," in Proceedings of Conference, Symposium on Discrete Events and Manufacturing Systems, (Lille, France), pp. 613-619, July 1996.
5. S. Jindian, G. Heqing, and Y. Shanshan, "A coloured petri net model for composite behaviors in multi-agent system," in Proceedings of IEEE Conference on Cybernetics and Intelligent Systems, pp. 677 -680, 2008.
6. J. Cardoso and B. Pradin-Chzalviel, "Logic and fuzzy petri nets," in Proceedings of 2nd International Workshop on Manufacturing and Petri Nets, (Toulouse, France), June 1997.
7. D. L. Nazareth, "Investigating the applicability of Petri nets for rule-based system verification," IEEE Transactions on Knowledge and Data Engineering, vol. 4, pp. 402-415, June 1993.
8. D. Zhang and D. Nguyen, "Prepare: A tool for knowledge base verification," IEEE Transactions on Knowledge and Data Engineering, vol. 6, December 1994.
9. X. Li and W. Yu, "Object oriented fuzzy petri net for complex knowledge system modeling," in Proceedings of the 2001 IEEE International Conference on Control Applications, (Mexico City, Mexico), pp. 476-481, September, 5-7 2001.
10. C. G. Looney, "Fuzzy petri nets for rule-based decisionmaking," IEEE Transactions on Systems, Man and Cybernetics, vol. 18, January/February 1988.
11. S. M. Koriem, "A fuzzy petri net tool for modeling and verification of knowledge-based systems," The Computer Jornal, vol. 43, no. 3, 2000.
12. N. K. Liu, "A formal description technique for the verification of fuzzy knowledge base redundancy and subsumption," in Proceedings of First New Zealand International Two-Stream Conference on Artificial Neural Networks and Expert Systems, (Dunedin, New Zealand), pp. 142-145, November, 24-26 1993.
13. X. Li,W. Yu, and F. Lara-Rosano, "Dynamic knowledge inference and learning under adaptive fuzzy petri net framework," IEEE Transactions on Systems, Man, and Cybernetics -Part C: Applications and Reviews, vol. 30, pp. 442-450, November 2000.
14. S.-M. Chen, J.-S. Ke, and J.-F. Chang, "Knowledge representation using fuzzy petri nets," IEEE Transactions on Knowledge and Data Engineering, vol. 2, pp. 311-319, September 1990.
15. +: Towards a structural, functional, and deontic model for mas organization," in Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02), pp. 501-502, ACM Press, 2002.
16. J. F. Hübner, R. H. Bordini, and R. Vieira, "Introduç ão ao desenvolvimento de sistemas multiagentes com jason," in Anais a XII Escola Regional de Informática -SBC, 2004.
17. A. Newell, "The knowledge level," Artificial Intelligence, vol. 18, no. 1, pp. 87-127, 1982.
18. C. Sibertin-Blan, "High-level Petri nets with data structures," in European Workshop on Application and Theory of Petri net, (Helsinki, Finland), pp. 141-170, jun 1985.
19. S. Russel and P. Norvig, Artificial Intelligence, A Modern Approach. Alan Apt, 1995.
20. K. Jensen, "Coloured petri nets: A high level language for system design and analysis," in Advances in Petri Nets 1990 (G. Rozemberg, ed.), Springer-Verlag, November 1990. ISSN 0105-8517.