Learning Personalized End-to-End Goal-Oriented Dialog

Most existing works on dialog systems only consider conversation content while neglecting the personality of the user the bot is interacting with, which begets several unsolved issues. In this paper, we present a personalized end-to-end model in an attempt to leverage personalization in goal-oriented dialogs. We first introduce a Profile Model which encodes user profiles into distributed embeddings and refers to conversation history from other similar users. Then a Preference Model captures user preferences over knowledge base entities to handle the ambiguity in user requests. The two models are combined into the Personalized MemN2N. Experiments show that the proposed model achieves qualitative performance improvements over state-of-the-art methods. As for human evaluation, it also outperforms other approaches in terms of task completion rate and user satisfaction.Comment: Accepted by AAAI 201

Smart matching

One of the most annoying aspects in the formalization of mathematics is the need of transforming notions to match a given, existing result. This kind of transformations, often based on a conspicuous background knowledge in the given scientific domain (mostly expressed in the form of equalities or isomorphisms), are usually implicit in the mathematical discourse, and it would be highly desirable to obtain a similar behavior in interactive provers. The paper describes the superposition-based implementation of this feature inside the Matita interactive theorem prover, focusing in particular on the so called smart application tactic, supporting smart matching between a goal and a given result.Comment: To appear in The 9th International Conference on Mathematical Knowledge Management: MKM 201

Republic of Ghana Country Strategy Paper 2012-2016

This report aims to propose a Bank Group's strategy for supporting Ghana's development efforts over the period 2012 -- 2016. Several factors make a new Bank country strategy for Ghana particularly timely at this moment. These include the enormous challenges the country still faces in its development trajectory in spite of its impressive growth in the last decade, the recent adoption by the Government of the "Ghana Shared Growth and Development Agenda" (GSGDA), the promising developments the country is experiencing in its economic prospects, including becoming an oil producer, attracting interest from BRICS, and the recent completion by the Bank and other development partners of a number of key knowledge products. All these combined provides an opportunity for the Bank and Ghana to lay the foundations for a renewed partnership