Specifying Knowledge in Cognitive Multiagent Systems Using a Class of Hierarchical Petri Nets

摘要

Nowadays, problems demands new computational paradigms to solve them. New computational systems must consider features which before was not. Among these new features is the distributed nature of some systems. Nevertheless, even problems with a centralized nature has so high complexity that the best solution is to break them in small blocks. To deal with this problems, multiagent systems (SMA) and agents are seen as an excellent alternative as a framework to model, specify and codify solutions. However,there is not a standard framework to aid in building such systems. In this paper, it is proposed a framework based on aspecific Petri Net to model, specify and codify the knowledgesince the social level of the system until the agents reactivelevels. This approach is based on a explicit separationbetween the knowledge level and the mechanisms whichwill manipulate it. The Petri net model proposed presentsan implied specification language which permit to deal withany knowledge representation formalisms, since productionrules, ontology or even database structures. Besides that,the Petri net proposed has tools to analyse and validatethe system about issues like redundancy, deadlocks andconditions associated to agents tasks.