Decision-Theoretic Golog with Qualitative Preferences

Personalization is becoming increasingly important in agent programming, particularly as it relates to the Web. We propose to develop underspecified, task-specific agent programs, and to automatically personalize them to the preferences of individual users. To this end, we propose a framework for agent programming that integrates rich, non-Markovian, qualitative user preferences expressed in a linear temporal logic with quantitative Markovian reward functions. We begin with DTGOLOG, a first-order, decisiontheoretic agent programming language in the situation calculus. We present an algorithm that compiles qualitative preferences into GOLOG programs and prove it sound and complete with respect to the space of solutions. To integrate these preferences into DTGOLOG we introduce the notion of multiprogram synchronization and restate the semantics of the language as a transition semantics. We demonstrate the utility of this framework with an application to personalized travel planning over the Web. To the best of our knowledge this is the first work to combine qualitative and quantitative preferences for agent programming. Further, while the focus of this paper is on the integration of qualitative and quantitative preferences, a side effect of this work is realization of the simpler task of integrating qualitative preferences alone into agent programming as well as the generation of GOLOG programs from LTL formulae.

Revision of Specification Automata under Quantitative Preferences

We study the problem of revising specifications with preferences for automata based control synthesis problems. In this class of revision problems, the user provides a numerical ranking of the desirability of the subgoals in their specifications. When the specification cannot be satisfied on the system, then our algorithms automatically revise the specification so that the least desirable user goals are removed from the specification. We propose two different versions of the revision problem with preferences. In the first version, the algorithm returns an exact solution while in the second version the algorithm is an approximation algorithm with non-constant approximation ratio. Finally, we demonstrate the scalability of our algorithms and we experimentally study the approximation ratio of the approximation algorithm on random problem instances.Comment: 9 pages, 3 figures, 3 tables, in Proceedings of the IEEE Conference on Robotics and Automation, May 201

Open source environment to define constraints in route planning for GIS-T

Route planning for transportation systems is strongly related to shortest path algorithms, an optimization problem extensively studied in the literature. To find the shortest path in a network one usually assigns weights to each branch to represent the difficulty of taking such branch. The weights construct a linear preference function ordering the variety of alternatives from the most to the least attractive.Postprint (published version

Technology Integration around the Geographic Information: A State of the Art

One of the elements that have popularized and facilitated the use of geographical information on a variety of computational applications has been the use of Web maps; this has opened new research challenges on different subjects, from locating places and people, the study of social behavior or the analyzing of the hidden structures of the terms used in a natural language query used for locating a place. However, the use of geographic information under technological features is not new, instead it has been part of a development and technological integration process. This paper presents a state of the art review about the application of geographic information under different approaches: its use on location based services, the collaborative user participation on it, its contextual-awareness, its use in the Semantic Web and the challenges of its use in natural languge queries. Finally, a prototype that integrates most of these areas is presented

The visual preferences for forest regeneration and field afforestation : four case studies in Finland

The overall aim of this dissertation was to study the public's preferences for forest regeneration fellings and field afforestations, as well as to find out the relations of these preferences to landscape management instructions, to ecological healthiness, and to the contemporary theories for predicting landscape preferences. This dissertation includes four case studies in Finland, each based on the visualization of management options and surveys. Guidelines for improving the visual quality of forest regeneration and field afforestation are given based on the case studies. The results show that forest regeneration can be connected to positive images and memories when the regeneration area is small and some time has passed since the felling. Preferences may not depend only on the management alternative itself but also on the viewing distance, viewing point, and the scene in which the management options are implemented. The current Finnish forest landscape management guidelines as well as the ecological healthiness of the studied options are to a large extent compatible with the public's preferences. However, there are some discrepancies. For example, the landscape management instructions as well as ecological hypotheses suggest that the retention trees need to be left in groups, whereas people usually prefer individually located retention trees to those trees in groups. Information and psycho-evolutionary theories provide some possible explanations for people's preferences for forest regeneration and field afforestation, but the results cannot be consistently explained by these theories. The preferences of the different stakeholder groups were very similar. However, the preference ratings of the groups that make their living from forest - forest owners and forest professionals - slightly differed from those of the others. These results provide support for the assumptions that preferences are largely consistent at least within one nation, but that knowledge and a reference group may also influence preferences.Väitöskirjassa tutkittiin ihmisten maisemapreferenssejä (maisemallisia arvostuksia) metsänuudistamishakkuiden ja pellonmetsitysten suhteen sekä analysoitiin näiden preferenssien yhteyksiä maisemanhoito-ohjeisiin, vaihtoehtojen ekologiseen terveyteen ja preferenssejä ennustaviin teorioihin. Väitöskirja sisältää neljä tapaustutkimusta, jotka perustuvat hoitovaihtoehtojen visualisointiin ja kyselytutkimuksiin. Tapaustutkimusten pohjalta annetaan ohjeita siitä, kuinka uudistushakkuiden ja pellonmetsitysten visuaalista laatua voidaan parantaa. Väitöskirjan tulokset osoittavat, että uudistamishakkuut voivat herättää myös myönteisiä mielikuvia ja muistoja, jos uudistusala on pieni ja hakkuun välittömät jäljet ovat jo peittyneet. Preferensseihin vaikuttaa hoitovaihtoehdon lisäksi mm. katseluetäisyys, katselupiste ja ympäristö, jossa vaihtoehto on toteutettu. Eri viiteryhmien (metsäammattilaiset, pääkaupunkiseudun asukkaat, ympäristönsuojelijat, tutkimusalueiden matkailijat, paikalliset asukkaat sekä metsänomistajat) maisemapreferenssit olivat hyvin samankaltaisia. Kuitenkin ne ryhmät, jotka saavat ainakin osan elannostaan metsästä - metsänomistajat ja metsäammattilaiset - pitivät metsänhakkuita esittävistä kuvista hieman enemmän kuin muut ryhmät. Nämä tulokset tukevat oletusta, että maisemapreferenssit ovat laajalti yhteneväisiä ainakin yhden kansan tai kulttuurin keskuudessa, vaikka myös viiteryhmä saattaa vaikuttaa preferensseihin jonkin verran. Nykyiset metsämaisemanhoito-ohjeet ovat pitkälti samankaltaisia tässä väitöskirjassa havaittujen maisemapreferenssien kanssa. Myöskään tutkittujen vaihtoehtoisten hoitotapojen ekologisen paremmuuden ja niihin kohdistuvien maisemallisten arvostusten välillä ei ollut suurta ristiriitaa. Kuitenkin joitakin eroavaisuuksia oli; esimerkiksi sekä maisemanhoito-ohjeiden että ekologisten hypoteesien mukaan säästöpuut tulisi jättää ryhmiin, kun taas ihmiset pitivät eniten yksittäin jätetyistä puista. Informaatiomalli ja psyko-evolutionaarinen teoria tarjoavat mahdollisia selityksiä uudistushakkuisiin ja pellonmetsitykseen kohdistuville preferensseille, vaikkakaan tutkimuksen tuloksia ei voida täysin selittää näillä teorioilla

Severity-sensitive norm-governed multi-agent planning

This research was funded by Selex ES. The software developed during this research, including the norm analysis and planning algorithms, the simulator and harbour protection scenario used during evaluation is freely available from doi:10.5258/SOTON/D0139Peer reviewedPublisher PD