Cyber Security Model of Artificial Social System Man-Machine

Cyber Security Model of Artificial Social System Man-Machine

Calin Ciufudean (Stefan cel Mare University, Romania)
DOI: 10.4018/978-1-4666-6324-4.ch031
OnDemand PDF Download:
No Current Special Offers


Cyber Security Model of Artificial Social System Man-Machine takes advantage of an important chapter of artificial intelligence, discrete event systems applied for modelling and simulation of control, logistic supply, chart positioning, and optimum trajectory planning of artificial social systems. “An artificial social system is a set of restrictions on agents` behaviours in a multi-agent environment. Its role is to allow agents to coexist in a shared environment and pursue their respective goals in the presence of other agents” (Moses & Tennenholtz, n.d.). Despite conventional approaches, Cyber Security Model of Artificial Social System Man-Machine is not guided by rigid control algorithms but by flexible, event-adaptable ones that makes them more lively and available. All these allow a new design of artificial social systems dotted with intelligence, autonomous decision-making capabilities, and self-diagnosing properties. Heuristics techniques, data mining planning activities, scheduling algorithms, automatic data identification, processing, and control represent as many trumps for these new systems analyzing formalism. The authors challenge these frameworks to model and simulate the interaction of man-machine in order to have a better look at the human, social, and organizational privacy and information protection.
Chapter Preview


We introduce an interdisciplinary framework for investigation technologies and cyber security development stage of the social networks and to anticipate theirs future evolution in respect to technological and environmental changes by proposing a new model for Artificial Social System (ASoS) behavior. ASoS exist in practically every multi-agent system, and play a major role in the performance and effectiveness of the agents. This is the reason why we introduce a more suggestive model for ASoS. To model these systems, a class of Petri nets is adopted and briefly introduced in the paper. This class allows representing the flow of physical resources and control information data of the ASoS’s components. Functional abstractions of the Petri net model also verify the interconnections of interfaces primary components.

In order to model clearly the synchronization involved in these systems, a Petri net model is used. We focus on the performance evaluation of a strongly connected event graph with random firing times. We have an upper bound and a lower bound for the average cycle time of event graphs knowing the initial marking. We propose an algorithm to evaluate the bounds used to calculate an average cycle time and one algorithm to evaluate the performance of the ASoS models.

An Artificial Social System (ASoS) is a set of restrictions on agent’s behaviour in a multi-agent environment (Zakarian & Kusiak, 1997). ASoS allows agents to coexist in a shared environment and pursue their respective goals in the presence of other agents. A multi-agent system consists of several agents, where at given point, each agent is in one of several states. In each of its states, an agent can perform several actions. The actions an agent performs at a given point may affect the way the state of this agent and the state of other agents will change. A system of dependent automata consists of two or more agents, each of which may be in one of a finite number of different local states. We denote the set of local states of an agent i by Pi. The set (P1, P2, ..., Pn) of states of the different agents is called system’s configuration. The set of possible actions an agent i can perform is a function of the local state. For every state p978-1-4666-6324-4.ch031.m01Pi there is a set Ai(p) of actions that i can perform when in local state p. The row actions (a1, ..., an) denote the actions the different agents perform at a given point and is called their joint action there. An agent’s next state is a function of the system’s current configuration and the joint action performed by the agents. A goal for an agent is identified with one of its states. That is the reason why an agent has plans how to attain its goal. A plan for agent i in a dependent automata is a function U(p) that associates with every state p of agent i a particular action a978-1-4666-6324-4.ch031.m02Ai(p). A plan (Molloy, 1992), (Schultz et al., 2006) is said to guarantee the attainment of a particular goal starting from a particular initial state. A dependent automata system is said to be social if, for every initial state po and goal state pg, it is computationally feasible for an agent to devise, on-line, an efficient plan that guarantees to attain the goal pg state when starting in the initial state po. For a proper behavior, a dependent automata system is modelled with a social law. Formally, a social law Q for a given dependent automata system consists of functions (978-1-4666-6324-4.ch031.m03, 978-1-4666-6324-4.ch031.m04, ..., 978-1-4666-6324-4.ch031.m05), satisfying 978-1-4666-6324-4.ch031.m06978-1-4666-6324-4.ch031.m07978-1-4666-6324-4.ch031.m08 for every agent i and state p 978-1-4666-6324-4.ch031.m09Pi. Intuitively, a social law will restrict the set of actions an agent is “allowed” to perform at any given state. Given a dependent automata system S and a social law Q for S, if we replace the functions Ai of S by the restricted function978-1-4666-6324-4.ch031.m10, we obtain new dependent automata system. We denote this new system by SQ. In SQ the agents can behave only in a manner compatible with the social law T. In controlling the actions, or strategies, available to an agent, the social law plays a dual role. By reducing the set of strategies available to a given agent, the social system may limit the number of goals the agent is able to attain. By restricting the behaviors of the other agents, however, the social system may make it possible for the agent to attain more goals and in some cases these goals will be attainable using more efficient plans than in the absence of the social system.

Key Terms in this Chapter

Petri Net: Is a mathematical modeling language for the description of discrete event systems.

Subsequence: Is a sequence (set of elements) that can be derived from another sequence by deleting some elements without changing the order of the remaining elements.

Coverage: Is the proportion of the resources that the production system contains the true value of throughput.

Discrete Event System: Is a discrete-state which contains solely discrete state spaces and event-driven state transition mechanisms.

Markov Chain: Is a mathematical system that undergoes transitions from one state to another, among a finite or countable number of possible states.

Availability: Is the degree to which a system, subsystem or equipment is in a specified operable and committable state at the start of a mission, when the mission is called for at an unknown, i.e. a random, time.

Diagnosis: Is the identification of the nature and cause of anything.

Complete Chapter List

Search this Book: