DYnamics in LOGic applications
Features provided by the DYnamics in LOgic language demostrated to be interesting in variuos research and application fields, like e-learning systems, composition and properties verification in service oriented architectures. In particular, in last years the authors showed as the language can be used in research and development of:
- systems of personalization
- tools for specification, selection, composition and verification of interaction protocols among web services
More in detail, you can find the different DYnamics in LOGic-based applications in the following list.
WLog web agent system
WLog is a multi-agent system built up on mainly two kinds of agents: reasoners and executors. The kernel of the system are the reasoners that have been implemented as DYnamics in LOGic agents. The executors are Java servlets embedded in a Tomcat web server, playing the role of an interface among the rational agents and the users; they mainly produce HTML pages according to the directives sent by the agents or, when necessary, forward data to the DYnamics in LOGic agents themselves. More details can be found in [PDF].
[Resources]Course compliance
Leveraging the multi-agent architecture of WLog, we build a web-based adaptive tutoring application whose kernel is a set of rational agents, programmed by using the DYnamics in LOGics. In that system the reasoning capabilities of the agents are exploited both to dynamically build study plans and to verify the correctness of user-given study plans with respect to the competence that the user wants to acquire. More details can be found in [PDF].
[Resources]Choreography-driven matching techniques
In a service oriented scenario, we used DYnamics in LOGic to provide a rule-based declarative representation of services, and in particular of WSDL operations, that enables the application of techniques for reasoning about actions and change, in a multi-agent systems. This provided us a way to reason on a rule-based specification of choreography roles and about the selection of possible role players on a goal-driven basis. We focused on the problem of a joint achievement of individual goals for a set of services which animate a choreography. More details can be found in [PDF].
