Ambient Intelligence Through Agile Agents - Ambient Intelligence for Scientific Discovery - page 289

// Perceptor & Actuator Configuration
PERCEPTOR ie.ucd.core.fipa.perceptor.MessagePerceptor;
ACTUATOR ie.ucd.core.fipa.actuator.InformActuator;
ACTUATOR ie.ucd.aflite.actuator.AdoptBeliefActuator;
// Initial Mental State
ALWAYS(BELIEF(providesService(docRelease)));
// Commitment Rules for DocService
BELIEF(fipaMessage(request, sender(?agt, ?addr),
subscribe(?svc))) &
BELIEF(providesService(?svc)) ⇒
COMMIT(Self, Now, BELIEF(true),
PAR(inform(?agt, subscribed(?svc)),
adoptBelief(ALWAYS(BELIEF(subscribed(?svc, ?agt))))));
BELIEF(newDocument(?doc)) &
BELIEF(subscribed(docRelease, ?agt)) ⇒
COMMIT(Self, Now, BELIEF(true),
inform(?agt, newDocument(?doc)));

Fig. 2. An Example AF-APL program for a World Wide Web (WWW) spider agent.

that the requester has been subscribed to the service. The second commitment
rule states that if the agent believes that it has found a new document, and
the agent believes that another agent ( ?agt ) has subscribed to the docRelease
service, then it should commit to informing that agent of the existence of the
new document. Finally, the initial belief that the agent adopts on start up allows
the agent to believe that it can provide the service docRelease .
As with other similar offerings, such as Goal-Directed 3APL [6], and AgentS-
peak(L) [32], the syntax and semantics of AF-APL have been formally specified.
In particular, AF-APL is based upon a logical model of reasoning that is cen-
tered about the notion of commitment. Further details of both the formal model
and the syntax and semantics of AF-APL can be found in [3, 34].

2.2 The Run-Time Environment

The AF-APL interpreter is embedded within a distributed FIPA-compliant [9]
Run-Time Environment. (RTE). Specifically, AF adheres to the following FIPA
specifications:

- The FIPA Abstract Architecture Specification (0001)
- The FIPA Agent Management Specification (00023)
- The FIPA ACL Message Structure Specification (00061)
- The FIPA Agent Message Transport Service Specification (00067)
- The FIPA ACL Message Representation in String Specification (00070)
- The FIPA Message Transport Protocol for HTTP Specification (00084)
- The FIPA Agent Message Transport Envelope Representation in XML Spec-
ification (00085).