Guido de Caso - Distributed Knowledge Authorization Language

Download this episode

Download Video

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

Format

Available formats for this video:

Actual format may change based on video formats available and browser capability.

    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 http://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!

    Comments closed

    Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums, or Contact Us and let us know.