Fostering Awareness and Personalization of Learning Artificial Intelligence

This paper illustrates the activities of the projects SMAILE and AILEAP, which are devoted to foster the growth of awareness and readyness to learn artificial intelligence in the general population. The first project was mainly oriented to children and young adults, while the second is more oriented to the personalization of the learning experience also in professionals

Reasoning About Interaction for Personalizing Web Service Fruition

tion: an example personal assistant a at a cinema where they show the movie "Akira" but it is requested by the user to communicate his credit card number Two different constraints: . a ticket to a cinema where they show the movie "Akira": goal to achieve . to communicate the credit card number: constraint about the way in which the interaction should be carried on We claim that a better personalization can be achieved by allowing agents to reason also about protocols followed by web about interaction for personalizingweb service fruition -- about conversations and interaction . does not allow to describe explicitly high-level interaction, concerning behavior . to the requester belief state and make rational assumptions on the change caused to the service provider beliefs . particular, DAML-S does not allow to describe the communicating with its clients or partners about interaction for personalizingweb service fruition -- this . face the problem of describing an

Verifying the conformance of web services to global interaction protocols: A first step

Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. An abstract choreography can be seen as a protocol specification; it does not refer to specific peers and, especially in an open application domain, it might be necessary to retrieve a set of web services that fit in it. A crucial issue, that is raising attention, is verifying whether the business process of some peers, in particular the parts that encode the communicative behavior, will produce interactions which are conformant to the agreed protocol (legality issue). Such issue is tackled by the so called conformance test, which is a means for certifying the capability of interacting of the involved parts: two peers that are proved conformant to a same protocol will actually interoperate by producing a legal conversation. This work proposes an approach to the verification of a priori conformance of a business process to a protocol, which is based on the theory of formal languages and guarantees the interoperability of peers that are individually proved conformant