Learning Features and Abstract Actions for Computing Generalized Plans

Generalized planning is concerned with the computation of plans that solve not one but multiple instances of a planning domain. Recently, it has been shown that generalized plans can be expressed as mappings of feature values into actions, and that they can often be computed with fully observable non-deterministic (FOND) planners. The actions in such plans, however, are not the actions in the instances themselves, which are not necessarily common to other instances, but abstract actions that are defined on a set of common features. The formulation assumes that the features and the abstract actions are given. In this work, we address this limitation by showing how to learn them automatically. The resulting account of generalized planning combines learning and planning in a novel way: a learner, based on a Max SAT formulation, yields the features and abstract actions from sampled state transitions, and a FOND planner uses this information, suitably transformed, to produce the general plans. Correctness guarantees are given and experimental results on several domains are reported.Comment: Preprint of paper accepted at AAAI'19 conferenc

Securing the inter-domain routing system with blockchain

La seguretat de l'encaminament entre dominis és fonamental per al funcionament d'Internet, ja que impedeix redireccions de trànsit no desitjades. El protocol actualment utilitzat, el Border Gateway Protocol (BGP), té problemes de seguretat. En aquest projecte, provarem i avaluarem IPChain, una solució que usa blockchain proposada per resoldre aquests problemes de seguretat. Avaluarem la viabilitat del projecte per resoldre aquest problema. Per fer-ho hem dissenyat i analitzat un conjunt d'experiments que intenten emular les condicions reals. També trobarem colls d'ampolla i altres problemes que impedeixen que el prototip funcioni de manera eficient.Inter-domain routing security is of critical importance to the Internet since it prevents unwanted traffic redirections. The currently used protocol, the Border Gateway Protocol (BGP), is proven to have security issues. In this project, we will test and evaluate IPChain, a blockchain solution proposed to solve these security issues. In this thesis, we will evaluate the feasibility of the project for solving this issue. To do it we designed and analyzed a set of experiments that try to emulate real-life conditions. We will also find bottlenecks and other issues that prevent the solution from performing in an efficient way

Robot workspace sensing and control with Leap Motion Sensor

The present thesis deals with the design and testing of an appropriate software interface that allows a user to control a robot using a Leap Motion Sensor while defining and keeping a safe workspace for the robot to operate. The Leap Motion Sensor is a small device able to sense human hands above it and to keep track of them. Hence, when controlling the robot, the user will feel an interesting touch-free control experience. Distinct control modes, such as linear commandment, joint-by-joint control or specular imitation have been studied and implemented. The basis for a future teaching mode, where the robot could remember user actions and play them accordingly to fulfill a complex task has also been settled. At the same time, a precise definition of the workspace, creating a safe environment for both the robot and the user, and the contemplation on how to avoid undesired situations have been consciously considered.Outgoin

Decentralized trust in the inter-domain routing infrastructure

Inter-domain routing security is of critical importance to the Internet since it prevents unwanted traffic redirections. The current system is based on a Public Key Infrastructure (PKI), a centralized repository of digital certificates. However, the inherent centralization of such design creates tensions between its participants and hinders its deployment. In addition, some technical drawbacks of PKIs delay widespread adoption. In this paper we present IPchain, a blockchain to store the allocations and delegations of IP addresses. IPchain leverages blockchains' properties to decentralize trust among its participants, with the final goal of providing flexible trust models that adapt better to the ever-changing geopolitical landscape. Moreover, we argue that Proof of Stake is a suitable consensus algorithm for IPchain due to the unique incentive structure of this use-case, and that blockchains offer relevant technical advantages when compared to existing systems, such as simplified management. In order to show its feasibility and suitability, we have implemented and evaluated IPchain's performance and scalability storing around 350k IP prefixes in a 2.5 GB chain.Peer ReviewedPostprint (published version

La calculadora de Ahmés

Estudio del propio sistema de numeración decimal a través de la investigación del sistema de numeración egipcio. Se propone una experiencia realizada en el aula de matemáticas con los alumnos de 1o de ESO del instituto INS Santa Coloma de Farners y en coordinación con el departamento de sociales. El proceso de investigación que se propone consiste en descubrir el sistema de numeración, así como algunos de los algoritmos de cálculo usados por el escriba Ahmés en la cuna de nuestra civilización, el antiguo Egipto. El alumno investiga sobre los métodos de cálculo descubiertos deduciendo propiedades que aplicará, preva validación, en su sistema de numeración. Paralelamente, en la asignatura de sociales, los alumnos enriquecen su investigación científica pintando el entorno social, cultural y geopolítico del antiguo Egipto. Los alumnos se convierten en investigadores, trabajando no sólo su imaginación e intuición, sino también su razonamiento, sin el cual el aprendizaje de una disciplina no se puede garantizar

La calculadora d'Ahmés : reflexió i raonament entorn del propi sistema de numeració i del significat de les seves operacions a través de la investigació, com a base de l'aprenentatge matemàtic

Estudi del propi sistema de numeració decimal a través de la investigació del sistema de numeració egipci. Aquesta experiència ha estat realitzada amb els alumnes de 1r d'ESO de l'INS Santa Coloma de Farners en coordinació amb el Departament de Socials, i amb alguna col·laboració esporàdica de l'assignatura de visual i plàstica. El procés d'investigació que es proposa consisteix a descobrir el sistema de numeració i diversos algorismes de càlcul a l'antic Egipte, dels quals l'alumnat estudia la validesa i extreu propietats aplicables al sistema de numeració. Paral·lelament, en l'assignatura de Socials s'estudia la vida, els costums i l'oligarquia a l'antic Egipte.A study of the decimal system bymeans of investigation of the Egyptian numbering system, based on exercises carried outwith second-year secondary students at the INS Santa Coloma de Farners school, in coordination with their Social and Arts departments. The project was designed to explore the numbering systemand various calculation algorithms used in ancient Egypt, from which students could study their validity and identify properties applicable to our numbering system. At the same time, in terms of social studies, the life, traditions and oligarchy of ancient Egyptwere also considered

ANÁLISIS ECONÓMICO DE UNA FUNCIÓN CUADRÁTICA DE GASTOS DE PRODUCCIÓN CON COEFICIENTES BORROSOS Y CON RESTRICCIONES

En el ámbito de la Economía de la Empresa tiene mucha importancia el estudio de los gastos de producción E(Q) que se originarán en el proceso y que generalmente vendrán expresados matemáticamente por una dependencia lineal o cuadrática de las unidades Q que se proponen fabricar. Supondremos, además, que esta función está afectada por dos restricciones: una es de productividad, Q1 ≤ Q2 ≤ Q3 , y otra de limitación de gastos máximos permitidos, ( ) E Q ≤ EM . En el presente artículo partiremos de una función cuadrática nítida, en la cual justificaremos el signo de los coeficientes que hemos empleado. Después, para adentrarnos en el campo fuzzy, la generalizaremos con otra de coeficientes borrosos. Naturalmente, la nueva función borrosa ya no se expresará a través de una única curva, sino que estará constituida por un haz infinito de curvas nítidas, cada una de ellas con un determinado grado de posibilidad. Centramos nuestra atención en las curvas que llamamos central, inferior y superior. El núcleo de nuestro análisis consistirá básicamente en reducir paulatinamente los soportes de los coeficientes hasta hallar un cierto valor k del α-corte, de manera que a partir de él todas las curvas del haz borroso tengan sentido económico y cumplan las dos restricciones impuestas. En último lugar, y a través de un caso numérico, comprobaremos las deducciones teóricas que hemos obtenido en el análisis anterior. Palabras clave: economía aplicada, números borrosos, incertidumbre. Abstract In the context of Business Economics it is essential to carry out studies of the costs of production E(Q) . Obviously, these kinds of costs originated in the production process will depend on the number Q of units produced by the company and, generally, can be mathematically expressed by a quadratic function, E(Q)= a.Q2 − b.Q + c , where all three coefficients must be positive real numbers. We will suppose that in this process there is also a production constraint, normally due to productivity, Q1 ≤ Q2 ≤ Q3 , or cost limitations, ( ) E Q ≤ EM . Of course, in the production costs there must always be a non negativity constraint because the costs must always be positive. And, moreover, for reasons of security, another cost constraint is desirable, so that they do not exceed a previously fixed maximum, EMAX . We summarise the last two constraints in the inequality ( ) 0 ≤ E Q ≤ EMAX . Afterwards, to enter into the uncertainty field, we must generalise the function E = f (Q) into one of fuzzy coefficients. Of course, the new fuzzy function will not be a single curve, but rather an infinite set or sheaf of sharp curves, each one associated with a particular degree of possibility. In this study we concentrate on three special curves of this infinite sheaf: the central, lower and upper curves. However, the focus of our attention will consist basically in gradually reducing the supports of the coefficients until we find a certain value k of the α-cuts, such that if α > k , then all the infinite curves of this fuzzy beam will make economic sense and,besides, will meet the two imposed constraints. To conclude this paper, we confirm, using a numerical example, all the conclusions deduced in the preceding analysis. Key words: applied economy, fuzzy numbers, uncertainty

Recortando el cuadrado

El grupo de profesores de matemáticas de Girona (MatGI) es un grupo que se reúne mensualmente para trabajar sobre materiales o actividades didácticas para el aula de matemáticas buscando un enfoque más manipulativo que reproductivo. Desde nuestro grupo os queremos presentar distintas ideas para trabajar de forma manipulativa, intuitiva y fresca la activación del razonamiento y la lógica a través de la resolución de problemas en educación secundaria. La resolución de problemas, que no de ejercicios, es uno de los pilares básicos de la matemática. En su proceso de formación, los alumnos deben aprender a resolver problemas para comprender y aplicar sus conocimientos, potenciar su creatividad, su capacidad de análisis, su razonamiento. En este taller os mostraremos dos propuestas para trabajar la geometría con la resolución de problemas. En la primera se estudiarán áreas, perímetros, simetrías, paridad, recuento de opciones,… En la segunda se propone trabajar mediatrices de un segmento, bisectrices de un ángulo, y los ejes de simetría de una figura. Si os habéis preguntado alguna vez de cuántas formas se puede dividir un triángulo equilátero en 4 partes iguales, o cómo conseguir recortar este mismo triángulo en un solo corte, este es el taller que estabais buscando