Академический Документы
Профессиональный Документы
Культура Документы
I.INTRODUCTION
The computational system for information
storage and maintenance is a resource that is
increasingly critical for achieving organizational
objectives and goals. For many computer
users, networks represent a new age in human
communication. Anonymity in communication,
for instance, especially through the Internet,
insinuates that the computer network is a safe
place, devoid of illicit practices. Sadly, this utopian
viewpoint is naive, as criminal practices occur in
cybernetic space at unprecedented levels. Cyber
intrusions do not possess a front line for defense;
the battlefields are anywhere in the world with
global network access. The possible vulnerabilities
and the threat forms are dispersing at high rates.
Whereas these avenues were accessible only by
specialists early on, nowadays they are available
freely over the Internet. The time has come for
II.Definitions of Agents
In general, agents are referred to as real or
virtual entities that emerge in an environment
in which they can make decisions, are capable
of noticing and representing, at least partially,
this environment and that are capable of
communicating with other agents autonomously.
These characteristics are consequences of an
agents observation, knowledge and interaction
with other agents. An agent is a cognitive entity,
can be activated and is autonomous. That is to
say, an agent has an internal decision-making
system that acts globally, around surrounding
agents, and is capable of working alone. An
agent possesses perception mechanisms to
comprehend its environment. The technical
definition of an agent is that of a software
program that aids the user in accomplishing
some task or activity. Although there still is not
a consensus on a formal definition of an agent in
this context, some expected characteristics have
been established.
29
%========================================
object(Time, task,
[(arrive(I) :do((request(Service,Priority),
next_arrival(Time,I,NTime,NI))),
respond([(Time,Priority,runway,queue(task(I))),
(Time,Priority,runway,seize(task(I):Service)),
(NTime,np,task,arrive(NI))]))]).
object(Time,runway,
[(seize(Task:Service) :do((serve_time(Service,ST),NTime is Time + ST)),
respond([(NTime,np,runway,release(Task))]))]).
request(Service,Priority) :- randomz(P),
(P < 0.5, Service = departure_process, Priority = 1,!;
Service = arrival_process, Priority = 0).
next_arrival(CurTime,I,NextTime,NI) :expon(10,AT), NextTime is CurTime + AT,
NI is I + 1.
serve_time(departure_process,Time):- normal (20,4,Time).
serve_time(arrival_process,Time) :- normal(25,5,Time).
simulation_time(0,250).
initial_state([free(task),free(runway)]).
start_message([(Time,np,task,arrive(I))]) :next_arrival(0,0,Time,I).
histogram_form((wait-time,runway,(7,0,10))).
%--------------------------------------------------------------------
31
References
O. Boissier, Modeles et architectures dagents, in Principes et
architecture des systmes multi-agents, chapter 2, J. P. Briot, and Y.
Demaezau, Ed. Paris: Hermes, 2002, pp 71108.
[2] T. Carron, and O. Boissier, Towards a temporal organizational
structure language for dynamic multi-agent systems, in Proceeding
of the 10th European Workshop on Modeling Autonomous Agents in
a Multi-Agent World-MAAMAW, 2001.
[3] O. Cliffe, M. De Vos, and J. Padget, Specifying and Analyzing
Agent-based Social Institutions using Answer Set Programming. In:
AAMAS05 Workshop: Agents, Norms and Institutions for Regulated
Multi-agent Systems (ANI@REM), Utrecht, 2005.
[4] J.J. Cole, M. J. Gray, J. W. Lloyd, and K. S. Ng, Personalization
for user agents, in Fourth International Conference on Autonomous
Agents and Multi-agent Systems-AAMAS, 2005.
[5] M. DInverno, M. Luck, M. Georgeff, D. Kinny, and M. Wooldridge,
The dmars architecture: A specification of the distributed multi-agent
reasoning system, Autonomous Agents and Multi-Agent Systems,
2004.
[6] D. Dignum, F. Dignum, and L. Sonenberg, Towards dynamic
reorganization of agent societies, in ECAI Workshop on Coordinating
Emergent Agent Societies, 2004.
[7] N. Fornara, F. Vigano, and M. Colombetti, An Event Driven Approach
to Norms in Artificial Institutions, in AAMAS05 Workshop: Agents,
Norms and Institutions for Regulated Multi-agent Systems (ANI@
REM), Utrecht, 2005.
[8] A. Garca-Camino, J. A. Rodrguez-Aguilar, C. Sierra, and W.
Vasconcelos, A Distributed Architecture for Norm-Aware Agent
Societies, in Procs. Intl Workshop on Declarative Agent Languages
& Technologies (DALT 2005), New York, USA, vol. 3904 of LNAI,
Berlin: Springer-Verlag, 2006.
[9] A. Garca-Camino, J. A. Rodrguez-Aguilar, C. Sierra, and W.
Vasconcelos, Norm Oriented Programming of Electronic Institutions,
in Procs. 5th Intl Joint Conf. on Autonomous Agents & Multi-agent
Systems (AAMAS06), Japan: Hakodate, May 2006.
[10] H. Hagras, V. Callaghan, M. Colley, G. Clarke, A. Pounds-Cornish,
and H. Duman, Creating an Ambient Intelligence Environment
Using Embedded Agents, IEEE Intell Systs, 2004.
[11] B. Horling, B. Benyo, and V. Lesser, Using self-diagnosis to adapt
organizational structures, in Proceedings of the 5th International
Conference on Autonomous Agents, 2001.
[12] J. H. M. Nogueira, A Formal Model of Organization in Multiagents Systems Based on Mathematical Logic and Set Theory, in
Proceedings of 58th SBPC Annual Meeting, Florianpolis:Brasil,
July, 2006.
[13] J. H. M. Nogueira, Computational System Development, Technical
Book, Fortaleza: Brazil, Jan. 2004.
[14] J. H. M. Nogueira, Cybernetic Attacks, Braslia: Magazine Federal
Expertise, Year IV, vol. 13, Jan. 2003, pp 23-28.
[15] J. H. M. Nogueira, Scene Crime in the Internet, Macei: 1st
National Seminar of Expertise in Computer Crimes, Nov. 2002.
[16] J. H. M. Nogueira, Hi-Tech Crimes, 1st Criminalistic Congress of
Mercosul, and 4th Latin-American Workshop of Criminalistic,
Florianpolis:Brazil, Oct. 2001.
[1]
Jos Helano Matos Nogueira became a Member (M) of Brazilian Computer Society in 1992, and a Senior Adviser (SM)
in 1994. Born in Fortaleza-Cear-Brazil. Masters degree in Computer Science at Pontifical Catholic University of Rio de
Janeiro-PUC/Rio, Rio de Janeiro-RJ, Brazil, from 1993 to 1994. Bachelor in Computer Science at State University of CearUECE, Fortaleza-CE, Brazil, from 1988 to 1992. Full degree in Mathematics at State University of Cear-UECE, FortalezaCE, Brazil, from 1999 to 2000.
He is professor, scientist, and expert in combat of computer crimes, forensic technology and scientific computation at
federal government. He was regional scientific development researcher at National Council of Scientific and Technological
Development (CNPq), where it began his national scientific career. He taught in several universities and Brazilian institutions
of superior level, among them ANP/DPF, UFC/CE, UECE/CE, FURG/RS, and PUC/RJ. He guided a range of students in
the most several areas of Computer Science and Information Technology, such as: Artificial Intelligence, Hi-Tech Crimes,
Software Engineering, Analysis and Project of Systems, Programming Languages, and Database. He already published several
scientific works in books, magazines, congress and conferences, having been rewarded in national and international level. As applied professional in
systems development, his team created computational systems for companies of small, medium and big load, beginning with the structured methodology
passing to OO and after to knowledge representation. Now, Prof. Helano works at Brazilian Federal Police being devoted to the combat of computer,
cybernetic and hi-tech crimes that have been devastating society.