In this paper we introduce a new type of knowledge operator, called evidencebased knowledge, intended to capture the constructive core of common knowledge. An evidence-based knowledge system is obtained by augmenting a multi-agent logic of knowledge with a system of evidence assertions t :φ (“t is an evidence for φ”) based on the following plausible assumptions: 1) each axiom has evidence; 3) e...

The use of surveillance systems has grown exponentially during the last decade. Moreover, the agency paradigm has shown to be suitable for the design and development of complex systems such as surveillance systems. They provide autonomy, reactivity, social ability and pro-activeness to carry out surveillance tasks in a semi-automatic way, collaborating with users in a more effective manner. Age...

Agent based modeling (ABM) is a method of modeling complex systems that allows for detailed, endogenous actors interacting with one another and with their environment based on predefined agent rules and goals. ABMs allow modeling at a desired aggregation level that is most conducive to producing realistic market trends at the aggregation level desired. As ABMs obtain market trends based on indi...

We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronization operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns ou...

This paper describes research into knowledge-based image interpretation in clinical orthodontics. Similar work on knowledge-based methods is reviewed. We consider how a tiered knowledge-based system may provide an effective solution to the problems encountered. An autonomous intelligent segmentation system, for finding model-based features in lateral skull x-ray images, is described. Initial re...

This paper presents first a formal development methodology that enables a specifier to add complexity progressively into the system design, and to formally validate each step wrt client’s requirements. Second, the paper describes the application of this methodology to agent-based systems, as well as development guidelines that help the specifier during the development of such systems. System’s ...

Many agent-based systems rely for their effectiveness on the intelligence of individual agents, and interaction among agents is required simply to coordinate these individually complex decisions. Specification and design methods for such systems focus on the internal architecture of individual agents. An alternative approach, “Synthetic Ecosystems,” uses relatively simple agents and draws heavi...

Agent based simulation is a powerful tool for the research of complex systems such as human society. The important key word of this kind of research is “bounded rationality” of the agents. From the standpoint, we adopt following two hypotheses as the basis of our analysis: (1) each agent interacts only with his neighbors, and (2) each agent behaves by mimicking its neighbors. How the society gr...

Despite the wideness of the literature on industrial districts (IDs), the driving processes of ID innovation have not still received much attention: Questions about how new innovation processes emerge, how, when and where they evolve are minimally addressed in the literature. To address these questions new theoretical approaches and methodologies are needed. In the paper we approach this topic ...

In our research we investigate the output accuracy of discrete event simulation models and agent based simulation models when studying human centric complex systems. In this paper we focus on human reactive behaviour as it is possible in both modelling approaches to implement human reactive behaviour in the model by using standard methods. As a case study we have chosen the retail sector, and h...