Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
2009
IJ ITA is official publisher of the scientific papers of the members of the ITHEA ® International Scientific Society IJ ITA welcomes scientific papers connected with any information theory or its application. IJ ITA rules for preparing the manuscripts are compulsory. The rules for the papers for IJ ITA as well as the subscription fees are given on www.ithea.org. The camera-ready copy of the paper should be received by http://ij.ithea.org. Responsibility for papers published in IJ ITA belongs to authors. General Sponsor of IJ ITA is the Consortium FOI Bulgaria (www.foibg.com). Abstract: The purpose of the paper is to explore the possibility of applying the language PRALU, proposed for description of parallel logical control algorithms and rooted in the Petri net formalism for design and modeling real-time multi-agent systems. It is demonstrated with a known example of English auction on how to specify an agent interaction protocol using considered means. A methodology of programming ...
2008
Abstract. The purpose of the paper is to explore the possibility of applying existing formal theories of description and design of distributed and concurrent systems to interaction protocols for real-time multi-agent systems. In particular it is shown how the language PRALU, proposed for description of parallel logical control algorithms and rooted in the Petri net formalism, can be used for the modeling of complex concurrent conversations between agents in a multi-agent system. It is demonstrated with a known example of English auction on how to specify an agent interaction protocol using considered means.
2006
The purpose of the paper is to explore the possibility of applying existing formal theories of description and design of distributed and concurrent systems to interaction protocols for real-time multi-agent systems. In particular it is shown how the language PRALU, proposed for description of parallel logical control algorithms and rooted in the Petri net formalism, can be used for the modeling of complex concurrent conversations between agents in a multi-agent system. It is demonstrated with a known example of English auction on how to specify an agent interaction protocol using considered means.
Automatic Control and Computer Sciences, 2008
A method of specifying agent interaction protocols in multiagent systems in the PRALU language (parallel logic control algorithms) is considered. A methodology for programming agents in the PRALU language based on a two-block architecture, a synchronization block and a functional block, is proposed. It is shown that through use of a description of the behavior of agents in the PRALU language it becomes possible to simulate the behavior of a multiagent system as a whole.
The domain of Petri Nets (PN) engineering has been the concern of many researchers. The present paper lies within this context aiming at the definition of a new formalism for the modelling at the multi agents systems (MAS), which is based on agents called Agents Petri Net (APN). That is why, the definitions that treat the internal state of the agent and its behavior are proposed. The suggested mathematical definitions help us to model the interactive systems in a rigorous manner and without any ambiguity. It is through simple examples that our approach is proven to be valid.
Journal of Software, 2013
This paper proposes a formal model for specifying multi agent systems, named SyPN (for Synchronized Petri Net). This model allows the specification of various kinds of agent-based systems' behaviors, such as individual and collective behaviors. SyPN is an extension of Recursive Petri net allowing synchronization of several nets. In fact, SyPN borrows the specification of dynamic processes from Recursive Petri net and introduces several valuable concepts that enable concise multi agent system specifications, such as: typed places, transitions and tokens, synchronization points, synchronization condition, synchronization relation and binding function. We illustrate our approach by two case studies of remote interactions between agents.
… to Business and …, 2011
ISBN: 978-954-16-0055-9 (printed) ISBN: 978-954-16-0056-6 (online) ITHEA IBS ISC No.: 24 First edition Printed in Poland Recommended for publication by The Scientific Concil of the Institute of Information Theories and Applications FOI ITHEA
Electronic Notes in Theoretical Computer Science, 2002
Over recent years, the notion of agency has claimed a major role in defining the trends of modern research. Influencing a broad spectrum of disciplines such as Sociology, Psychology, among others, the agent paradigm virtually invaded every sub-field of Computer Science, not least because of the Internet and Robotics.
Autonomous Agents and Multi-Agent Systems, 2008
Lecture Notes in Computer Science, 2001
The agent/multi-agent system paradigm is an important field inside Artificial Intelligence. The use of this paradigm in real-world problems and the existence of development methods and related toolkits are currently two of the main lines of interest in this area. In order to try to solve these problems, it is necessary to develop and make use of agent/multi-agent architectures and development tools. This paper presents a development method for real-time multi-agent systems, called RT-MESSAGE, and an implementation toolkit, called InSiDE+. The developed systems are based on the SIMBA architecture.
2000
In this paper, we propose a nested Petri net approach to model the coordination of multi-agent systems. A higher level net (called host net) defines the movements and coordination mechanism of agents, while lower level nets (called agent nets that are tokens of the host net) model the behavior of individual agents. A dynamic channel concept and the notation are introduced for modeling the communications and coordination between the host net and agent nets. We demonstrate our modeling approach through an e-market example. Our approach promotes the extensibility and flexibility of multiple agent system design through dynamic channels.
Lecture Notes in Computer Science, 2005
1996
This paper explores the possibility of applying distributed arti cial intelligent systems and multi-agent systems to help in the design of engineering software systems. We de ne an environment consisted basically by arti cial designers that based on their knowledge, help a human designer to obtain the design of the software systems. The software design engineering problem we take as example is the design of the interlocking software for distributed track-vehicle controllers. The design of these modules are based on Petri nets, from which we can derive invariants that are used as the basis to characterize agent's knowledge in our design aid environment.
Annales Umcs Informatica, 2009
The article deals with the problems related to the possibility of information exchange in the multi-agent systems. Therefore it presents a model of coloured Petri net which was created in order to illustrate and to simulate the agents communication processes as well as exemplary diagrams which determine the sequences of information exchange between the agents with the use of the required performatives of KQML.
2011
The Department of Information Science is one of six departments that make up the Division of Commerce at the University of Otago. The department offers courses of study leading to a major in Information Science within the BCom, BA and BSc degrees. In addition to undergraduate teaching, the department is also strongly involved in postgraduate programmes leading to the MBA, MCom and PhD degrees. Research projects in software engineering and software development, information engineering and database, artificial intelligence/expert systems, geographic information systems, advanced information systems management and data communications are particularly well supported at present.
International Journal of Intelligent Systems and Applications, 2012
Analysis and proper assessment of multiagent system properties are very much important. In this paper, we discussed about methodologies for modeling, analysis and design of multi-agent oriented system with the help of Petri net. A Multi-agent system can be considered as a discrete-event dynamic system and Petri nets are used as a modeling tool to assess the structural properties of the multi-agent system. Petri net provides an assessment of the interaction properties of the multiagent.
Journal of Software Engineering and Applications, 2010
In this paper, we present a new formalism for Modeling Multi Agent Systems (MAS). Our model based a PN is able to describe not only not the internal state of each agent modeled but also its behavior. Owing to these features, one can model naturally the dynamic behavior of complex systems and the communication between these entities. For this, we propose mathematical definitions attached to firing transitions. To validate our contribution, we will deal with real examples.
Expert Systems, 1994
Abstract: A language for multi-agent system design (MAPS) is presented and discussed in this paper. Any agent in MAPS is thought of as an expert system standing on its own. It can communicate through synchronous and asynchronous message sending. Dedicated behaviours are provided which specify how incoming messages are processed. Inter-agent cooperation is controlled via production rules. Two pre-defined agent classes are provided, which are given specific problem-solving roles: Knowledge Server (KS) agents are meant to maintain and transmit knowledge about problem-solving states, while Knowledge Processor (KP) agents are meant to process these elements in order to progress towards a solution. The duality between agent and resource modelling levels on the one hand and between KS and KP modelling styles on the other is shown to allow the specification of various control strategies. The environment is currently running on HP, SUN and DEC workstations.
Lecture Notes in Computer Science, 2012
Agent-based computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like trust, game and institution, not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief and disaster management, data mining and analytics. As one of the largest and still growing research fields of Computer Science, agent-based computing today remains a unique enabler of inter-, multi-and trans-disciplinary research. The International Conference on Conference on Principles and Practice of Multi-Agent Systems (PRIMA) originally started in 1998 as a regional (Asia-Pacific) workshop and in the last decade it grew to become one of the leading and influential scientific conferences for research on multiagent systems. Each year, PRIMA brings together active researchers, developers and practitioners from both academia and industry to showcase, share and promote research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research. Previous successful editions were held
1996 IEEE International Conference on Systems, Man and Cybernetics. Information Intelligence and Systems (Cat. No.96CH35929)
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.