Professional Documents
Culture Documents
2
College of Information Technology, Universiti Tenaga Nasional,
Km 7 Jalan Kajang-Puchong, 43009 Kajang, Selangor, Malaysia
sharif@uniten.edu.my
3
College of Information Technology, Universiti Tenaga Nasional,
Km 7 Jalan Kajang-Puchong, 43009 Kajang, Selangor, Malaysia
zaliman@uniten.edu.my
Figure 1. The EPMP Process Flow Pasquier and Chaib-draa [16] offer the cognitive
coherence theory to agent communication pragmatic. The
theory is proposed as a new layer above classical cognitive
Table 1: Typical Schedule for Examination Paper agent architecture and supplies theoretical and practical
Preparation and Moderation elements for automating agent communication.
Tasks Deadlines
Set A should be submitted to the
Week 10 3.2 Workflow Systems
respective moderators
1st moderation cycle Week 10 & 11
Software agents have also been applied in workflow systems
nd
to resolve some specific issues. Many business processes use
2 moderation cycle (Set B) Week 12 & 13
workflow systems to exploit their known benefits such as
Set B should be submitted to EC Week 14 automation, co-ordination and collaboration between
entities. Savarimuthu et al. [19] and Fluerke et al. [7]
Lack of enforcement and the diverse tasks of lecturers and describe the advantages of their agent-based framework
moderators caused the EPMP to suffer from delays in action JBees, such as distribution, flexibility and ability to
by the academicians. Lecturers wait until the last few days dynamically incorporate a new process model. Researches
of the second cycle to submit their examination papers, have also been made on the monitoring and controlling of
which leaves insufficient time for the moderators to workflow [19]. Wang and Wang [21], for example, propose
scrutinize the papers qualitatively. Due to the manual nature an agent-based monitoring in their workflow system.
of the process, there are no mechanisms which record the Our framework extends the capabilities of these systems
adherence to deadlines and track the activities of defaulters. by employing a mechanism that enforces and motivates
humans in the process loop to comply with the deadlines of
To resolve some of these problems, we resort to the use of scheduled tasks. We implement this mechanism by
software agents to take over the communication tasks establishing a merit and demerit point system which rate
between agents and the reminding and alerting tasks human’s compliance to deadlines.
directed to humans. We will describe more of these
functions in greater details in Section 4.3. 3.3 Ontology
The term ontology was first used to describe the
3. Related Work philosophical study of the nature and organization of reality
[11, 12]. In AI it is simply defined as “an explicit
3.1 Agents and Agent Communication Language specification of a conceptualization” [10]. This definition
The development of our system is based on the work of provokes many controversies within the AI community
many researchers in agent-based systems. For example, especially with regard to the meaning of conceptualization.
agent communication and its semantics have been An ontology associates vocabulary terms with entities
established by research in speech act theory [14], [20], identified in the conceptualization and provides definitions
KQML [3], [14] and FIPA ACL [4], [5], [9]. We based our to constrain the interpretations of these terms.
design of agent communication on the standard agent Most researchers concede that an ontology must include a
communication protocol of FIPA [4], [5] and its semantics vocabulary and corresponding definitions, but there is no
[6]. FIPA ACL is consistent with the mentalistic notion of consensus on a more detailed characterization [13].
agents in that the message is intended to communicate Typically, the vocabulary includes terms for classes and
attitudes about information such as beliefs, goals, etc. Belief, relations, while the definitions of these terms may be
Desire, and Intention (BDI) is a mature and commonly informal text, or may be specified using a formal language
adopted architecture for intelligent agents [12]. FIPA ACL like predicate logic as implemented in [8].
message use BDI to define their semantics [6]. Cohen and
(IJCNS) International Journal of Computer and Network Security, 71
Vol. 1, No. 2, November 2009
FIPA ontology uses a specification of a representational and tracked by the agents in their environment
vocabulary for a shared domain of discourse involving
definitions of classes, relations, functions, and other objects
[5].
everyday and compare it with the deadline. decision as well as improved ability to implement one-to-
• Status of subprograms: When an agent perform a task, many and many-to-many message exchanges, e.g.
it records the actions in a subprogram, e.g. when the inform_all message.
Committee agent sends the Prepare message, it records
Based on the analysis of Section 4.2, we create the
this event to use it later for sending a remind message.
interaction sequence between the agents. However, due to
• Message signal: The agent opens a port and makes a
space limitation and the complexity of the ensuing
connection when it senses a message coming from a
interactions, we only show sample interactions between the
remote agent.
Committee (C) and the Lecturer (L) agents:
4.3.2 Send messages
1. Agent C
The agent decides to send a message when some status of CN1C : Agent C opens port and enables connection
the environment are true, otherwise it will inform all agents when a start date is satisfied.
of any delays from its user and penalizes its user with E1C : C sends a message µ1CL, to L – PREPARE
demerit points. When sending a message, it performs the examination paper.
following actions: - Agent L sends an ACK message, µ1LC.
• Open Port (Connect): When the agent decides to send a - Agent C reads the ACK, checks the ontology
message, it opens a port and makes a connection. and understands its meaning.
• Send Message (online or offline): The message will be - If ACK message is not received, it sends
received when the remote agent is online. Two problems offline message.
may occur: (i) The remote agent is offline; (ii) The IP T1C : Agent C registers the action and the date.
T2C : Agent C calculates the merit or demerit point
address of the remote agent is inadvertently changed. We
and saves it for Head of Department’s
resolve these problems by exploiting the Acknowledge
evaluation.
performative. If the sending agent does not receive an
DCN1C : Agent C disables connection and closes the
Acknowledge message from a remote agent, it will port.
resend the message in offline mode. The same process is When Agent C decides to send a remind message it will
executed if the IP address is changed. We focus on these perform the following:
issues to ensure that the agents must achieve the goal in
any circumstances because it relates to completing the CN2C : Agent C connects to Agent L
students examination papers. - Agent C makes this decision by checking its
• Register action, date and merit/demerit point: When environment (the date, status of uploaded
file and notice in subprograms).
the agent has sent the message, it registers the action
E2C : C sends a REMIND message to Agent L
and the date in a text file. It also evaluates the user by
- Agent L receives the message and display on
giving merit or demerit points based on the user’s
its screen to alert its human counterpart.
adherence to any deadlines. The Head of Department DCN2C : Agent C disconnects and closes the port when
could access these points to evaluate the staff’s it completes the task.
commitment to EPMP and take the necessary corrective 2. Agent L
action. CN1L : Agent L opens port and enables connection
• Record in Subprograms: The agent records some when it receives the message from Agent C.
actions as subprograms when it needs to execute those - Agent L makes this decision by checking its
actions later. environment (message signal).
• Close Port (Disconnect): The agent disconnects and - Agent L reads the performative PREPARE,
closes the port when it has successfully sent the message. checks the ontology and understands its
meaning.
4.4 Autonomous Collaborative Agents Application E1L : Agent L replies with a message µ1LC, to C –
We then apply the task and message exchanges to the EPMP ACK.
domain. To facilitate readability, we represent the tasks and T1L : Agent L displays the message µ1CL, on the
message exchanges for each agent as T#X and E#X screen to alert its human counterpart.
respectively, where # is the task or message exchange T2L : Agent L opens and displays a new Word
number and X refers to the agents C, M, or L. A message document on the screen.
from an agent is represented by µ#SR, where # is the message - Agent L opens a new document to signal its
number, S is the sender of the message µ, and R is the human counterpart to start writing the
receiver. S and R refer to the agents C, M, or L. For examination paper.
system’s tasks, CN#X refers to the task an agent performs to T3L : Agent L opens and displays the Word
enable connection to a port and DCN#X indicates a document of the Lecturer form on the screen.
disconnection task. - Agent L opens the form which contains the
We extend the state of the environment to include policy to follow.
systems’ parameters that enable agents to closely monitor DCN1L : Agent L disconnects and closes the port.
the actions of its human counterpart. The side effect of this When the human Lecturer uploads a completed
ability is improved autonomy for agents to make correct examination paper via an interface, agent L checks its
(IJCNS) International Journal of Computer and Network Security, 73
Vol. 1, No. 2, November 2009
environment (status of uploaded file and the deadline). committed to carry out. The agent’s intention results
Agent L will decide to send a message: from its belief and a goal to achieve. Consequently, the
agents will take actions such as sending Prepare
E2L : Agent L sends a message µ2LM, to M –
message, remind message, etc.
REVIEW examination paper.
We show four samples of performatives used in the
- Agent M sends an ACK message, µ1ML.
- Agent L checks the states of the framework (Prepare, ACK, Review, Remind). The
environment. communicative act definitions for each of these
T4L : Agent L registers the action and the date. performatives are as follows:
T5L : Agent L calculates and saves the merit or • Prepare: The sender advises the receiver to start prepare
demerit points. examination paper by performing some actions to enable
its human counterpart to do so. The content of the
5. Systems Simulation and Testing message is a description of the action to be performed.
We simulate the EPMP using Win-Prolog and its extended The receiver understands the message and is capable of
module Chimera, which has the ability to handle multiagent performing the action. Prepare performative is time-
systems [22]. We use Prolog for two reasons: Firstly, Prolog dependent.
is well suited for expressing complex ideas because it
prepare(
focuses on the computation’s logic rather than its mechanics
':sender', committee,
where the drudgery of memory allocation, stack pointers,
':receiver', lecturer,
etc., is left to the computational engine. Reduced drudgery
':reply-with', task_completed,
and compact expression means that one can concentrate on
':content', start_prepare_examination_paper,
what should be represented and how. Secondly, since Prolog
':ontology', word_documents,
incorporates logical inferencing mechanism, this powerful
':language', prolog )
property can be exploited to develop inference engines
specific to a particular domain.
Chimera provides the module to implement peer-to-peer • ACK: The receiver acknowledges the sender that it has
communication via the use of TCP/IP. Each agent is received the message.
identified by a port number and an IP address. Agents send We use acknowledge for message state. If the sender
and receive messages through such configurations. receives acknowledge, it means that receiver is online and
has received the message, otherwise the receiver is offline.
We develop the collaborative process as a multiagent The sender will resend the message in offline mode.
system of EPMP based on the above framework and test the
simulation in a laboratory environment on a Local Area The content of the message is a description of the action
Network. Each of the agents C, M and L run on a PC to be performed, which the receiver understands and is
connected to the network. The simulation executes capable of performing. ACK performative depends on the
communication based on the tasks outlined in Section 4.4. receiving message signal.
For message development, we use the parameters specified ack(
by the FIPA ACL Message Structure Specification [4]. We ':sender', committee,
include the performatives, the mandatory parameter, in all ':receiver', lecturer,
our ACL messages. We also define and use our own ':in-reply-to', task_completed,
performatives in the message structure, which are Prepare, ':content', acknowledge_message,
Check, Remind, Review, Complete, Modify, ACK, ':ontology', message,
Advertise, and Inform_all. To complete the structure, we ':language', prolog )
include the message, content and conversational control
parameters as stipulated by the FIPA Specification. • Review: The sender advises the receiver to review the
examination paper by performing some actions to enable
The communication between agents is based on the BDI its human counterpart to do so.
semantics as defined by FIPA [6]. The BDI semantics gives The content of the message is a description of the action
the agents the ability to know how it arranges the steps to to be performed, which the receiver understands and is
achieve the goal: capable of performing. Review performative depends on the
• Belief: When the agent wants to send a message, it deadline and status of uploaded file.
checks its belief of which agent can perform the required review(
action. ':sender', lecturer,
• Desire: Achieving the goal completely will be the desire ':receiver', moderator,
of all agents. The agents will never stop until it has ':reply-with', task_completed,
achieved the goal. The agent’s goal is to complete the ':content', review_examination_paper,
examination paper preparation and moderation and it ':ontology', word_documents,
will know this from Committee agent’s final message. ':language', prolog )
• Intention: Intentions are courses of action an agent has • Remind: The sender advises the receiver to perform a
74 (IJCNS) International Journal of Computer and Network Security,
Vol. 1, No. 2, November 2009
sends a reminder to the Moderator agent which displays the Table 2: Comparison between Manual and Automated
reminder on the screen for the human moderator. When the (Agent-based) Systems
human moderator uploads the completed moderation form Features Manual Automated
and the moderated examination paper with its user interface, Human cognitive load High Reduced
its agent checks the date, calculates the merit/demerit points Process tracking No Yes
and sends the Check message to the Lecturer agent. Merit/demerit system No Yes
Reminder/alerting No Yes
The Lecturer agent acknowledges the message, displays Offline messaging Not applicable Yes
the message on the screen for its human lecturer and opens Housekeeping Inconsistent Consistent
the moderated examination paper and the completed Document submission Human-dependent Immediate
moderation form. The human lecturer checks the Feedback Human-dependent Immediate
moderation form to know if there are corrections to be
made. In this test, we do not simulate any corrections. The 6. Conclusions and Further Work
human lecturer then uploads the moderation form and the In this research, we developed and simulated a collaborative
moderated examination paper. Its agent then checks the framework based on the communication between agents
date, calculates the merit/demerit points and sends a using the FIPA agent communication protocol. We
Complete message to the Committee agent. demonstrated the usefulness of the system to take over the
The Committee agent acknowledges the message, timing and execution of scheduled tasks from humans to
achieve a shared goal. The important tasks, i.e. preparation
displays the message on the screen for its human
and moderation tasks are still performed by humans. The
counterpart and opens the Committee form and the
agents perform communicative acts to other agents when the
moderated examination paper. The human committee then tasks are completed. Such acts help reduce the cognitive
uploads the moderated examination paper to the EC Print load of humans in performing scheduled tasks and improve
File. The Committee agent then sends an inform-all the collaborative process.
message to all agents that the EPMP process is completed. Our agents are collaborative and autonomous, but they are
This simulation shows that with the features and not learning agents. In our future work, we will explore and
autonomous actions performed by the agents, the incorporate machine learning capabilities to our agents. The
collaboration between human Committee, Lecturer and agents will learn from previous experiences and enhance the
Moderator improves significantly. The agents register dated EPMP process.
actions, remind humans about the deadlines, advertise all
agents if there is no submission when the deadline has References
expired, and award/penalize merit/demerit points to
humans. [1] Ahmed M., Ahmad M. S., Mohd Yusoff M. Z., A
review and development of Agent Communication
The human's cognitive load is reduced when the deadlines Language, Electronic Journal of Computer Science
of important tasks and documents' destinations are ignored. and Information Technology (eJCSIT), ISSN [1985-
This is alleviated by the consistent alerting services provided 7721], Vol. 1, No. 1, pp. 7 – 12, May 2009.
by the agents that ensure constant reminders of the [2] Chen J. J-Y., Su S-W., AgentGateway: A
deadlines. communication tool for multiagent systems,
Information Sciences, Vol. 150 Issues 3-4, pp 153 –
All these actions and events are recorded in the agent 154, 2003.
environment to keep track of the process flow, which [3] Finin T., Fritzson R., McKay D., McEntire R., KQML
enables the agents to resolve any impending problems. The as an Agent Communication Language, Proceedings
ease of uploading the files and the subsequent of the Third International Conference on Information
communicative acts performed by agents and between and Knowledge Management (CIKM '94), 1994.
agents contribute to the achievement of the shared goal, i.e. [4] FIPA ACL Message Structure Specification:
the completion of examination paper preparation and SC00061G, Dec. 2002.
moderation process. [5] FIPA Ontology Service Specification: XC00086D,
Aug. 2001
As such, we believe that the use of agent-based system [6] FIPA Communicative Act Library Specification
has provided some evidence that the problems of lack of SC00037J 2002/12/03.
enforcement, lack of reminder of time critical tasks and [7] Fleurke M., Ehrler L., Purvis M., JBees – An adaptive
delays in response suffered by the manual system have been and distributed framework for workflow systems,
addressed. Table 2 compares the features between the Proc. IEEE/WIC International Conference on
manual and the agent-based systems and highlights the Intelligent Agent Technology, 2003, Halifax, Canada.
improvements. [8] Fox M. S., Gruninger M., On Ontologies and
Enterprise Modelling, Enterprise Integration
Laboratory, Dept. of Mechanical & Industrial
Engineering, University of Toronto.
76 (IJCNS) International Journal of Computer and Network Security,
Vol. 1, No. 2, November 2009