search query: @keyword semanttinen web / total: 37
reference: 6 / 37
« previous | next »
Author:Luukkala, Vesa
Title:Rule-based Metaprogramming for Smart Spaces
Publication type:Licentiate thesis
Publication year:2015
Pages:97 + app. 22      Language:   eng
Department/School:Tietotekniikan laitos
Main subject:Tietojenkäsittelyteoria
Supervisor:Niemelä, Ilkka
Instructor:Janhunen, Tomi
Electronic version URL: http://urn.fi/URN:NBN:fi:aalto-201505122583
OEVS:
Electronic archive copy is available via Aalto Thesis Database.
Instructions

Reading digital theses in the closed network of the Aalto University Harald Herlin Learning Centre

In the closed network of Learning Centre you can read digital and digitized theses not available in the open network.

The Learning Centre contact details and opening hours: https://learningcentre.aalto.fi/en/harald-herlin-learning-centre/

You can read theses on the Learning Centre customer computers, which are available on all floors.

Logging on to the customer computers

  • Aalto University staff members log on to the customer computer using the Aalto username and password.
  • Other customers log on using a shared username and password.

Opening a thesis

  • On the desktop of the customer computers, you will find an icon titled:

    Aalto Thesis Database

  • Click on the icon to search for and open the thesis you are looking for from Aaltodoc database. You can find the thesis file by clicking the link on the OEV or OEVS field.

Reading the thesis

  • You can either print the thesis or read it on the customer computer screen.
  • You cannot save the thesis file on a flash drive or email it.
  • You cannot copy text or images from the file.
  • You cannot edit the file.

Printing the thesis

  • You can print the thesis for your personal study or research use.
  • Aalto University students and staff members may print black-and-white prints on the PrintingPoint devices when using the computer with personal Aalto username and password. Color printing is possible using the printer u90203-psc3, which is located near the customer service. Color printing is subject to a charge to Aalto University students and staff members.
  • Other customers can use the printer u90203-psc3. All printing is subject to a charge to non-University members.
Location:P1 Ark Aalto     | Archive
Keywords:answer set programming
metaevaluation
grounding
ubiquitous systems
smart spaces
semantic web, rules
logic programming
knowledge representation
semantics
stable models
sääntöpohjainen rajoiteohjelmointi
metaevaluaatio
muuttujien instantiointi
ubiikit järjestelmät
älykkäät tilat
semanttinen web
säännöt
logiikkaohjelmointi
tietämyksen esittäminen
semantiikka
stabiilit mallit
Abstract (eng):The motivation of this work is goes back to the objective of achieving interoperability in multiparty environments such as ubiquitous systems.
Full interoperability in an open environment requires mutually sharing the behavior of the participants, so that the behavioral interoperability becomes as relevant as interoperability of data.
This requires analysis or evaluation of behavioral descriptions from untrusted parties in a controlled manner.
Furthermore we need to manage the evaluation process based on the content and provenance of the descriptions and other information on which the descriptions operate.
This information allows one to choose which behaviour is to be used and which data is to be operated on.
To enable this vision we propose to present behavioral descriptions as Answer Set Programming (ASP) rules.
In this work we present a method for the evaluation of ASP rules based on metaprogramming: the evaluator for the rules is implemented using ASP rules themselves.
To facilitate metaevaluation, we transform rules to a reified format, which enables representing rules as facts, and construct the metaevaluator to work directly on this reified format.
Facts corresponding to reified rules and the metaevaluation rules are then treated by native ASP tools.
We give a proof that our metaevaluator adheres to the stable model semantics for ASP evaluation.
Having rules in the reified format is beneficial as behavioral rules can then be shared and manipulated as any other data.
We have implemented a mechanism which maintains the provenance information of data during the rule evaluation along with hooks to allow control over the context of the use of that data.
This allows attaching arbitrary metainformation to rules and facts and allows independently creating policies which control on how different data is handled in the ASP solving phase.
In addition to the metaevaluation phase, we have implemented syntactical safety analysis of reified rules.
These methods enable sharing, analyzing and executing behavioral descriptions in a controlled manner within the same semantic ASP framework, providing one solution for the interoperability problem.
The evaluation of ASP rules has two logical phases: grounding and actual solving.
We have separated provenance handling and syntactic analysis to the metagrounding phase with the intention that rules and data, which do not match the provenance criteria, are never delivered to the solving phase.
To the best of our knowledge, this work presents the first implementation of a metagrounder for ASP programs.
According to performance analysis, the metagrounder is not yet competitive with current grounder technology.
Abstract (fin):Tämän opinnäytteen motivaationa on yhteensopivuus ubiikkien järjestelmien kaltaisissa usean käyttäjän ympäristöissä.
Täydellinen yhteensopivuus avoimissa ympäristöissä vaatii osapuolten käyttäytymisten kuvausten jakamista käyttäjien kesken.
Tällöin käyttäytymisen kuvausten yhteensopivuus muodostuu yhtä tärkeäksi kuin muun tiedon yhteensopivuus.
Tästä johtuen on tarpeellista analysoida tai evaluoida hallitusti käyttäytymisten kuvauksia, jotka ovat peräisin mahdollisesti epäluotettavilta tahoilta.
Tämän lisäksi evaluointiprosessia täytyy hallinnoida perustuen sekä käyttäytymisten kuvausten että muun käytetyn tiedon sisältöön ja alkuperään.
Tämän tiedon avulla valitaan mitä käyttäytymiskuvauksia ja mitä tietoa tullaan käyttämään evaluoinnissa.
Tämän vision mahdollistamiseksi tässä työssä ehdotetaan käyttäytymiskuvausten esitettämistä sääntöpohjaisella rajoiteohjelmoinnilla (engl.
Answer Set Programming, ASP).
Tässä opinnäytteessä kuvataan metaohjelmointipohjainen menetelmä sääntöjen evaluoimiseen, missä itse evaluaattori on toteutettu ASP-säännöillä.
Jotta metaevaluaatio olisi mahdollista, säännöt muunnetaan reifioituun muotoon, joka sallii sääntöjen esittämisen faktoina ja metaevaluaattori toteutetaan toimimaan näiden reifioitujen kuvausten kanssa.
Faktoina esitetyt reifioidut säännöt ja metaevaluaattorin säännöt evaluoidaan olemassaolevilla ASP-työkaluilla.
Työssä esitetään oikeellisuustodistus, jonka perusteella toteutettu metaevaluaattori noudattaa stabiilien mallien semantiikkaa.
Sääntöjen esittäminen reifioidussa muodossa on hyödyllistä, sillä tällöin sääntöjä voidaan jakaa ja käsitellä samoin kuin muutakin tietoa.
Tässä työssä esitetään lisäksi menetelmä, joka säilyttää sääntöjen käyttämien tietojen alkuperän sääntöjen evaluoinnissa.
Tämän ohella esitellään edelliseen laajennus jonka avulla voidaan kontrolloida syötetiedon käyttökonteksti.
Tämä mekanismi mahdollistaa mielivaltaisen metainformaation liittämisen sääntöihin sekä muuhun tietoon ja suo erityisesti mahdollisuuden määrittää lisätoimintaperiaatteita sääntöevaluoinnin ohjaamiseen.
Nämä menetelmät mahdollistavat käyttäytymissääntöjen turvallisen ja hallitun jakamisen, analysoinnin sekä evaluaation yhdessä semanttisessa viitekehyksessä, tarjoten erään mahdollisen ratkaisun yhteensopivuusongelmaan.
Työssä esitetään myös syntaktinen turvallisuusanalyysi reifioiduille säännöille.
ASP-sääntöjen evaluaatiossa on kaksi loogista vaihetta: muuttujien instantiointi ja varsinainen ratkaiseminen.
Tietojen alkuperän käsittely sekä syntaktinen analyysi on rajattu metatasolle.
Näin varmistetaan, että tiedot tai säännöt, jotka eivät ole toimintaperiaatteiden mukaisia, eivät koskaan päädy ratkaisuvaiheeseen.
Tässä työssä on esitetty käsittääkseemme ensimmäinen toteutus ASP-sääntöjen instantioinnista metatasolla.
Suoritetun vertailun perusteella metatason instantioinnin tehokkuus ei ole vielä kilpailukykyinen nykyisten instantiointitekniikoiden kanssa.
ED:2015-05-24
INSSI record number: 51344
+ add basket
« previous | next »
INSSI