Guido de Caso - Distributed Knowledge Authorization Language

Sign in to queue

Description

In this video, Guido de Caso talks about Distributed Knowledge Authorization Language (DKAL). Guido finished his internship at the Research in Software Engineering group (RiSE) under the mentoring of Yuri Gurevich, a Principal Researcher at Microsoft Research.

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

 

Embed

Download

Download this episode

The Discussion

  • User profile image
    Jules.dot

    How is this related to logic programming? It seems like this is logic programming where variables can appear in more positions: in positions where a predicate can appear, but it cannot have arguments. 

     

    X :- said(alice,X).
    said(alice,workshere(bob)).
    
    hasaccess(P) :- workshere(P).

    This makes me wonder if it would be possible to implement a system where the "variable predicates" could also have arguments, like:

    X(Y) :- foo(X,Y).

    And whether you can also add predicate applications on the right hand side that are variables:

    foo(P) :- P.

    You can do this in Prolog with call/apply but perhaps it would not interact well with having the variables on the left hand side.

     

  • User profile image
    Guido_de_​Caso

    @Jules.dot: Logic programming with functors (a la Prolog) is extremely powerful. For DKAL we considered solving the underlying logic (i.e., infon logic) by reducing it to Datalog, which can be seen as logic programming with no functors.

    The details of the translation can be seen in https://research.microsoft.com/apps/pubs/?id=151514. You can find an implementation of this reduction in our CodePlex project (http://dkal.codeplex.com/">http://dkal.codeplex.com) under "DkalBackends\DatalogBackend". 

    Regarding logic programming with higher order variables, I've never seen it before, I will look into it Smiley

  • User profile image
    visual guard

    Hi,
    Selection of article was fantastic and good explanation.Authorization is the process of giving someone permission to do or have something...
    Thanks

  • User profile image
    gorgerok

    It was really useful topic. Video on DKAL one of best video on the topic i saw. Generic Comment Image  thank you.

  • User profile image
    Guido_de_​Caso

    @gorgerok:Thanks! Don't hesitate to drop a line if you have a question or if you need any help with the tools.

  • User profile image
    visual guard

    Hi,
    Selection of article was fantastic and good explanation.Authorization is the process of giving someone permission to do or have something...

  • User profile image
    Auto Signals Pro

    vale la pena leggere. L'ho trovato molto istruttivo, come ho fatto ricerche molto ultimamente sulle questioni pratiche, come si parla di ...

  • User profile image
    autotradefx

    Potrebbe essere bene che cosa mettere nel mio piccolo weblog personale, se inserisco un riferimento alla presente pagina web?

  • User profile image
    forex signal

    Si dovrà considerare aspetto all'interno di una sfida importante per uno da tutti i siti blog più vantaggioso per tutta la rete. Io in realtà può suggerire che il sito web!

  • User profile image
    forexultima​tumsystem

    Apprezzo molto ognuno di lettura informativa qui. Io sicuramente si diffonderà la frase sul tuo sito con le persone. Applausi.

  • User profile image
    MaxEDD

    Grandi cose da te, amico. Ho letto le tue cose prima e youre troppo impressionante. Amo quello youve ha ottenuto qui, l'amore quello che stai dicendo e il modo in cui lo dite. Si rendono divertente e si riescono ancora a tenerlo intelligente. Non vedo l'ora di leggere di più da voi. Questo è davvero un grande blog.

  • User profile image
    lighting from manufacturer

    Ciao grande perché si ha la webblog schцner . ABOUT've appena imbattuto nel darьber ricerca di Google. Gefдllt'm buona davvero super. rende il buon lavoro . MFG Martina

  • User profile image
    deca durabolin

    Sono molto felice di leggere questo . Questo è il tipo di manuale che deve essere dato e non a caso la disinformazione che è al altri blog. Ringraziamo per la condivisione di questa grande doc.

  • User profile image
    Pair Trading Signals

    Invidio la tua capacità di pubblicare bellissimo articolo - voleva semplicemente dire che in questo modo ! , A proposito voglio dirvi :
    Malato alla morte di soffiare soldi per i cosiddetti " bot Forex" che promettono " senza perdite " e finiscono per aver violentato il tuo account di migliaia? Scopri il segreto che finalmente trasformato il mercato Forex in mia macchina contanti privato completamente il pilota automatico ... Non importa quale sia la vostra esperienza , questo lavoro per voi !
    Si potrebbe essere in vacanza alle Bahamas , mentre questo servizio unico assorbe cumuli di profitto sul tuo conto !
    Check it out su forextradersreview.com ! <a href=http://forextradersreview.com>Forex Executor</a>

  • User profile image
    steroidi ​anabolizzan​ti in linea

    . Alcuni dettagli davvero interessanti che hai scritto su di me channel9.msdn.com Aided molto, proprio quello che stavo cercando: D.

  • User profile image
    appliances repair

    Sicuramente hanno alcune opinioni e punti di vista piacevole. channel9.msdn.com offre uno sguardo nuovo verso il soggetto.

  • User profile image
    acquistare steroidi ​anabolizzan​ti in linea

    Complimenti per avere uno dei blog più sofisticati che ho incontrato in un certo tempo! La sua incredibile quanto si può togliere qualcosa semplicemente a causa di come è bello visivamente. Youve messo insieme una grande grafica grande spazio blog, video, layout. channel9.msdn.com è sicuramente un must-see blog!

Add Your 2 Cents