A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Desenvolupament d'una App nativa Android

Memòria del PFM de desenvolupament en software lliure. Primera versió de l'aplicació nativa Android, RemoteDomo, aplicable al control d'instal·lacions domòtiques OpenDomo.

Euskofarma : Aplicación Android para búsqueda de farmacias en el País Vasco

EuskoFarma es una aplicación Android para buscar las farmacias en el País Vasco. Se pueden seleccionar farmacias por provincia o localidad. La aplicación permite filtrar por un radio de búsqueda, marcar/desmarcar farmacias como favoritas, realizar llamadas a las farmacias y ver la ruta a seguir desde la posición del usuario hasta la farmacia seleccionada.

SocialPolis : Aplicación Android de buzón ciudadano

SocialPolis es una aplicación para la plataforma Android que implementa un sistema de buzón ciudadano que permite a los usuarios recoger y compartir quejas, sugerencias o mejoras sobre su localidad.

BEX Mejora continua framework

Memoria de la implementación de un software que permite la gestión y control de todo el framework que requiere gestionar el departamento de mejora continua (BEX Business Excelence).

Control doméstico por voz desde Android

El proyecto consiste en el desarrollo de un producto de software para el sistema operativo Android que permite la gestión de equipos ODControl mediante comandos de voz.

Desenvolupament de prototips (Android/LibGDX i Unity), per a la producció d'un videojoc d'acció lateral amb plataformes (Ouroboros)

Creació de dos prototips, un per Android i l'altre perUnity, establint les bases per a la producció d'un videojoc d'acció lateral (Beat 'em up)amb plataformes (puzles) anomenat "Ouroboros". Android és un sistema operatiu basat en Linux, designat primerament per mòbils tàctils(smartphones) i tabletes. En concret s'utilitzarà el SDK (Software Development Kit) dins del'entorn de programació Eclipse amb llenguatge Java, i les bases d'un frameworkanomenat LibGDX. Unity, en canvi, és un motor de videojocs multi-plataforma amb un entorn dedesenvolupament integrat, del que nosaltres utilitzarem la versió en Javascript.Es volen explorar les dues plataformes per tal d'esbrinar quina de les dues vies és la mésidònia de cares a la producció final d'un joc

AraVaDeBo, Festes de Sant Joan

Principalment, aquest aplicació ha estat pensada perquè els seus futurs usuaris puguin tenir un ampli seguiment interactiu de les Festes de Sant Joan de Ciutadella de Menorca, rebre informació de cadascun dels actes que s'hi realitzen, saber en tot moment on es troben els replecs i caragols de caixers senyors i, si ho desitgen, formar part de la comunitat de "santjoaners virtuals" que podran aportar comentaris i contingut multimèdia damunt el mapa del desenvolupament de les festes. Finalment, permetrà mostrar, per als usuaris registrats, el seguiment mitjançant càmeres IP de les recepcions i visites a cases i palaus de la ciutat.

Aplicació Android per a la gestió d'un club esportiu

Aplicació Android per a la gestió i comunicació d'una associació esportiva. Permet seguir els resultats, classificació, notícies i calendari dels equips del club així com informació complementària de l'associació.

Robot auxiliar de limpieza de suelos doméstico

Desarrollo de un sistema robótico auxiliar de limpieza autónomo en movimiento, conectado a una red wireless, dotado de un sistema de protección contra la perdida de conexión.

The Development of an Internal Testing Process for a Bluetooth Product

BlueGiga Technologies on uusi Bluetooth -teknologiaa soveltava pk-yritys. Yrityksen tuotekehitysprosessia täydentämään tarvittiin testausprosessi. Testausprosessin luominen oli haastavaa, koska Bluetooth -teknologia on uutta ja yritys on vielä nuori. Lisäksi se integroi kovo- ja ohjelmistokomponentteja tuotteissaan. Testaus aloitettiin evaluoimalla standardinmukaista tapaa dokumentoida testit. Tämän jälkeen tutkittiin BlueGigan ohjelmistokehitysprosessin suhdetta olemassa oleviin ohjelmistokehitysprosesseihin. Samanaikaisesti perehdyttiin Bluetooth -kvalifikaation testaukselle asettamiin vaatimuksiin. Tämän seurauksena TTCN:ää kokeiltiin helppolukuisen testitapauksen määrittelyssä. Käyttötapauksiin perustuvan testauksen sopivuutta Wireless Remote Access Platform:in (WRAP) testaamiseen arvioitiin kokeilemalla sitä Man-to-Machine -käyttötapauksen testaamisessa. Yllämainittujen tehtävien aikana kerätyn tiedon ja hankittujen kokemusten pohjalta laadittiin testausprosessi, joka kattaa yksikkö-, integraatio- ja järjestelmätason testauksen. Painopiste on järjestelmätason testauksessa. Prosessi määrittelee myös vastuuhenkilön tai -henkilöt eri testaustasoille.

Collecting Transaction Data in a Fourth Generation Mobile Network

Tässä diplomityössä on oletettu että neljännen sukupolven mobiiliverkko on saumaton yhdistelmä olemassa olevia toisen ja kolmannen sukupolven langattomia verkkoja sekä lyhyen kantaman WLAN- ja Bluetooth-radiotekniikoita. Näiden tekniikoiden on myös oletettu olevan niin yhteensopivia ettei käyttäjä havaitse saanti verkon muuttumista. Työ esittelee neljännen sukupolven mobiiliverkkoihin liittyvien tärkeimpien langattomien tekniikoiden arkkitehtuurin ja perustoiminta-periaatteet. Työ kuvaa eri tekniikoita ja käytäntöjä tiedon mittaamiseen ja keräämiseen. Saatuja transaktiomittauksia voidaan käyttää tarjottaessa erilaistettuja palvelutasoja sekä verkko- ja palvelukapasiteetin optimoimisessa. Lisäksi työssä esitellään Internet Business Information Manager joka on ohjelmistokehys hajautetun tiedon keräämiseen. Sen keräämää mittaustietoa voidaan käyttää palvelun tason seurannassa j a raportoinnissa sekä laskutuksessa. Työn käytännön osuudessa piti kehittää langattoman verkon liikennettä seuraava agentti joka tarkkailisi palvelun laatua. Agentti sijaitsisi matkapuhelimessa mitaten verkon liikennettä. Agenttia ei kuitenkaan voitu toteuttaa koska ohjelmistoympäristö todettiin vajaaksi. Joka tapauksessa työ osoitti että käyttäjän näkökulmasta tietoa kerääville agenteille on todellinen tarve.

Scenario analysis in evaluation of emerging technology - Case Bluetooth

Tutkimuksen tavoitteena oli selvittää millaisia ympäristöskenaarioita tietoliikenteelle toimialana voidaan rakentaa ja mitkä näistä skenaarioista suosivat Bluetoothin diffuusiota ja kehittymistä nykyisten tuote- ja palvelunäkemysten valossa. Lisäksi pyrittiin arvioimaan, mitkä ympäristötekijät ja suuntaukset saattavat vaikuttaa Bluetoothin diffuusioon. Tutkimus rajoittui eurooppalaisen tietoliikenneympäristön tarkasteluun viiden vuoden aikana. Tietoliikennetoimialan nykytilaa ja tulevaisuutta koskevan kirjallisuuden pohjalta luotiin kolme alustavaa skenaariorunkoa. Näitä runkoja arvioitiin asiantuntijahaastattelujen avulla, jotta skenaarioista saataisiin monipuolisempia ja niiden johdonmukaisuutta voitaisiin parantaa. Lopullisia skenaarioita verrattiin Bluetoothin käyttökohteista esitettyihin näkemyksiin. Skenaarioiden teemat olivat “Fokusoidut bisnessovellukset”, “Viihdettä massoille” sekä “Tietoa kaikille”. Havaittiin, että Bluetoothin omaksumiseen vaikuttavat eniten seuraavat tekijät: teknologian sosiaalinen hyväksyntä, toimialan halukkuus teknologian edistämiseen sekä Bluetoothin ja sen kilpailijoiden kehittyminen jatkossa.

Simulation Supported Robot Programming using XML

The main objective of this master's thesis is to study robot programming using simulation software, and also how to embed the simulation software into company's own robot controlling software. The further goal is to study a new communication interface to the assembly line's components -more precisely how to connect the robot cell into this new communication system. Conveyor lines are already available where the conveyors use the new communication standard. The robot cell is not yet capable of communicating with to other devices using the new communication protocols. The main problem among robot manufacturers is that they all have their own communication systems and programming languages. There has not been any common programming language to program all the different robot manufacturers robots, until the RRS (Realistic Robot Simulation) standards were developed. The RRS - II makes it possible to create the robot programs in the simulation software and it gives a common user interface for different robot manufacturers robots. This thesis will present the RRS - II standard and the robot manufacturers situation for the RRS - II support. Thesis presents how the simulation software can be embedded into company's own robot controlling software and also how the robot cell can be connected to the CAMX (Computer Aided Manufacturing using XML) communication system.