Information Technology Reference
In-Depth Information
Specification of Reactions to Events.
Analogously to the specification of
agentspeak rules, we allow to attach certain reactions to perceived events. This
canbedoneasfollows:
--subscribe ($sender = Button) && ($on@Lamp2 =
true) (:achieve (luminosity state 0.4))
. Based on the state tracking de-
scribed above and the event distribution by the publish subscribe system, we
are able to specify rules as known from AgentSpeak. In our system, the context
is specified using the
@
-constructs within the specification of filters. Thus we
are able to specify basically arbitrary conditions with respect to events and the
current believe with respect to the state of other objects.
4
Summary and Future Work
As mentioned above, the construction of smart environments is a challenging
task. Here, we proposed a novel middleware which combines different aspects to
allow the agentification of simple objects. For this we employ formal specification
of the object's methods, which allow to interact with objects in a goal-based
fashion. Instead of calling methods directly, we can interact with objects by
specifying goal states to be reached. This results in a very loose coupling between
the objects deployed into the system. Instead of hard-wiring action sequences,
it suces to specify goals. To abstract the interaction further, we map states
with respect to environmental parameters with internal states of the objects.
This allows to specify high level goals, like
(luminosity stage 0.5)
stating
that there should be some light at the stage. This high-level goal is translated
into an appropriate action sequence leading to the desired state of the world.
As mentioned above, there are some open problems. In particular, we would
like to extend the approach to other goal types, specifying optimisation prob-
lems. So far no ontological reasoning has been added to the system. All goals
are implicitly specified within the same ontology. Besides allowing a goal-based
interaction, the formal action specification allows to construct unit test for the
objects automatically. After specifying the PDDL-description of the object's ac-
tions, we can construct test-cases automatically.
Acknowledgement.
The author would like to thank three anonymous review-
ers whose comments on a previous version helped to improve the article.
References
1. Bader, S., Ruscher, G., Kirste, T.: A middleware for rapid prototyping smart en-
vironments. In: Proc. of Ubicomp 2010, pp. 355-356 (2010)
2. Bordini, R.H., Wooldridge, M., Hubner, J.F.: Programming Multi-Agent Systems
in AgentSpeak using Jason. Wiley, Chichester (2007)
3. Carzaniga, A., Wolf, A.L.: Forwarding in a content-based network. In: Proc. of
ACM SIGCOMM 2003, pp. 163-174 (2003)
4. Cheyer, A., Martin, D.: The open agent architecture. Journal of Autonomous
Agents and Multi-Agent Systems 4(1), 143-148 (2001)
