Computing infinite plans for LTL goals using a classical planner

Classical planning has been notably successful in synthesizing finite plans to achieve states where propositional goals hold. In the last few years, classical planning has also been extended to incorporate temporally extended goals, expressed in temporal logics such as LTL, to impose restrictions on the state sequences generated by finite plans. In this work, we take the next step and consider the computation of infinite plans for achieving arbitrary LTL goals. We show that infinite plans can also be obtained efficiently by calling a classical planner once over a classical planning encoding that represents and extends the composition of the planningdomain and the B¨uchi automaton representingthe goal. This compilation scheme has been implemented and a number of experiments are reported.

mGPT: a probabilistic planner based on heuristic search

We describe the version of the GPT planner to be used in the planning competition. This version, called mGPT, solves mdps specified in the ppddllanguage by extracting and using different classes of lower bounds, along with various heuristic-search algorithms. The lower bounds are extracted from deterministic relaxations of the mdp where alternativeprobabilistic effects of an action are mapped into different, independent, deterministic actions. The heuristic-search algorithms, on the other hand, use these lower bounds for focusing the updates and delivering a consistent value function over all states reachable from the initial state with the greedy policy.

Width and serialization of classical planning problems

We introduce a width parameter that bounds the complexity of classical planning problems and domains, along with a simple but effective blind-search procedure that runs in time that is exponential in the problem width. We show that many benchmark domains have a bounded and small width provided thatgoals are restricted to single atoms, and hence that such problems are provably solvable in low polynomial time. We then focus on the practical value of these ideas over the existing benchmarks which feature conjunctive goals. We show that the blind-search procedure can be used for both serializing the goal into subgoals and for solving the resulting problems, resulting in a ‘blind’ planner that competes well with a best-first search planner guided by state-of-the-art heuristics. In addition, ideas like helpful actions and landmarks can be integrated as well, producing a planner with state-of-the-art performance.

Planning under partial observability by classical replanning: theory and experiments

Planning with partial observability can be formulated as a non-deterministic search problem in belief space. The problem is harder than classical planning as keeping track of beliefs is harder than keeping track of states, and searching for action policies is harder than searching for action sequences. In this work, we develop a framework for partial observability that avoids these limitations and leads to a planner that scales up to larger problems. For this, the class of problems is restricted to those in which 1) the non-unary clauses representing the uncertainty about the initial situation are nvariant, and 2) variables that are hidden in the initial situation do not appear in the body of conditional effects, which are all assumed to be deterministic. We show that such problems can be translated in linear time into equivalent fully observable non-deterministic planning problems, and that an slight extension of this translation renders the problem solvable by means of classical planners. The whole approach is sound and complete provided that in addition, the state-space is connected. Experiments are also reported.

Historic evolution and urban planning typology of Olympic Village

Article providing a broad historical overview of the role and typology of Olympic villages along the history of the Modern Olympic Games. This article was published in the book entitled ‘Olympic Villages: a hundred years of urban planning and shared experiences’ compiling the papers given at the 1997 International Symposium on International Chair in Olympism (IOC-UAB).

Venezuelan economic laboratory. The Case of the altruistic economy of Felipe Pérez Martí

Felipe Pérez Martí, who was the Venezuelan Minister of Planning and Development in the government of Hugo Chávez, proposes an economic model that he calls the altruistic economy or fourth way, which leads cooperative game theory to its logical extremes postulating a pure communism. Here we sustain that, first, it is impossible in the model of Pérez Martí to marginally allocate non-primary goods to those most in need or who most value them, facing a problem of defective economic calculation, and second, in order to achieve equality, he would have to replace his atomic local planners by a central planner, who would be unable to overcome the problem of imperfect and and incomplete information.

EU cohesion aid to Spain: a data set. Part I: 2000-06 planning period

In this paper we construct a data set on EU cohesion aid to Spain during the planning period 2000-06. The data are disaggregated by region, year and function and attempt to approximate the timing of actual executed expenditure on assisted projects.

Welfare Maximizing Contest Success Functions when the Planner Cannot Commit

We analyze how a contest organizer chooses optimally the winner when the contestants' efforts are already exerted and commitment to the use of a given contest success function is not possible. We de…ne the notion of rationalizability in mixed-strategies to capture such a situation. Our approach allows to derive different contest success functions depending on the aims and attitudes of the decider. We derive contest success functions which are closely related to commonly used functions providing new support for them. By taking into account social welfare considerations our approach bridges the contest literature and the recent literature on political economy. Keywords: Endogenous Contests, Contest Success Function, Mixed-Strategies. JEL Classi…cation: C72 (Noncooperative Games), D72 (Economic Models of Political Processes: Rent-Seeking, Elections), D74 (Conflict; Conflict Resolution; Alliances)

Anàlisi del metabolisme ambiental de nuclis turístics litorals: el cas de Menorca

L’objectiu del present estudi és l’anàlisi del metabolisme energètic associat a nuclis turístics litorals de l’illa de Menorca (Mediterrani occidental) i el grau d’autosuficiència a partir d’energies renovables. La caracterització dels nuclis i la definició del perfil del turista s’ha realitzat mitjançant SIG i informació de qualitat a partir d’enquestes. Els principals resultats mostren que els nuclis turístics de Menorca tenen unes emissions associades entre 213 i 318 kg de CO2 per estada. De mitjana, el recorregut del turista fins a la illa (mobilitat externa) és de 1334 km (representant el 80% de les emissions), mentre que la mobilitat interna durant l’estada és de 22 km. A diari, cada turista consumeix entre 8 i 26 kWh d’electricitat, consum que es podria satisfer en un 100% amb la instal·lació de sistemes fotovoltaics a les cobertes del nucli.

Route optimization and customization using real geographical data in Android mobile devices

Nowadays, there are several services and applications that allow users to locate and move to different tourist areas using a mobile device. These systems can be used either by internet or downloading an application in concrete places like a visitors centre. Although such applications are able to facilitate the location and the search for points of interest, in most cases, these services and applications do not meet the needs of each user. This paper aims to provide a solution by studying the main projects, services and applications, their routing algorithms and their treatment of the real geographical data in Android mobile devices, focusing on the data acquisition and treatment to improve the routing searches in off-line environments.

Personalized touristic routes implementing semantic web on GIS

Nowadays, when a user is planning a touristic route is very difficult to find out which are the best places to visit. The user has to choose considering his/her preferences due to the great quantity of information it is possible to find in the web and taking into account it is necessary to do a selection, within small time because there is a limited time to do a trip. In Itiner@ project, we aim to implement Semantic Web technology combined with Geographic Information Systems in order to offer personalized touristic routes around a region based on user preferences and time situation. Using ontologies it is possible to link, structure, share data and obtain the result more suitable for user's preferences and actual situation with less time and more precisely than without ontologies. To achieve these objectives we propose a web page combining a GIS server and a touristic ontology. As a step further, we also study how to extend this technology on mobile devices due to the raising interest and technological progress of these devices and location-based services, which allows the user to have all the route information on the hand when he/she does a touristic trip. We design a little application in order to apply the combination of GIS and Semantic Web in a mobile device.

Safety in vicinity of industrials plants: risk assessment and land use planning

The aim of this book is to survey on different Land Use Planning and safety approaches in vicinity of industrial plants. As this research is associated with three broad fields of Land Use Planning, safety and security, the set principle is to avoid unnecessary and over detailed information, but including the useful ones to provide a comprehensive resource which can be applicable for several purposes. Besides, the proposed method, which is explained in Chapter 7, can initiate a new field for future of Land Use Planning in vicinity of industrial plants.

Optimization of floor cleaning coverage performance of a random path-planning mobile robot

Floor cleaning is a typical robot application. There are several mobile robots aviable in the market for domestic applications most of them with random path-planning algorithms. In this paper we study the cleaning coverage performances of a random path-planning mobile robot and propose an optimized control algorithm, some methods to estimate the are of the room, the evolution of the cleaning and the time needed for complete coverage.

EU cohesion aid to Spain: a data set. Part II: 1994-99 planning period

In this paper we construct a data set on EU cohesion aid to Spain during the planning period 1994-99. The data are disaggregated by region, year and function and attempt to approximate the timing of actual executed expenditure on assisted projects.

Self-Development of Competences for Social Inclusion Using the TENCompetence Infrastructure

This paper describes a pilot study centred on the technology-enhanced self-development of competences in lifelong learning education carried out in the challenging context of the Association of Participants Àgora. The pilot study shows that the use of the TENCompetence infrastructure, i.e. in this case the Personal Development Planner tool, provides various kinds of benefits for adult participants with low educational profiles and who are traditionally excluded from the use of innovative learning technologies and the knowledge society. The selforganized training supported by the PDP tool aims at allowing the learners to create and control their own learning plans based on their interests and educational background including informal and non-formal experiences. In this sense, the pilot participants had the opportunity to develop and improve their competences in English language (basic and advanced levels) and ICT competence profiles which are mostly related to functional and communicative skills. Besides, the use of the PDP functionalities, such as the self-assessment, the planning and the self-regulating elements allowed the participants to develop reflective skills. Pilot results also provide indications for future developments in the field of technology support for self-organized learners. The paper introduces the context and the pilot scenario, indicates the evaluation methodology applied and discusses the most significant findings derived from the pilot study.