Comment Feed for Channel 9 - Guido de Caso - Distributed Knowledge Authorization Language http://ak.channel9.msdn.com/ch9/5c6b/07b44cc3-5f43-4bd1-8594-9f2c01775c6b/dkal_100_ch9.jpg Channel 9 - Guido de Caso - Distributed Knowledge Authorization Language 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. DKAL home pageDKAL on CodePlex DKAL on rise4fun -- try it live!The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.   en Wed, 22 May 2013 21:39:32 GMT Wed, 22 May 2013 21:39:32 GMT Rev9 Re: Guido de Caso - Distributed Knowledge Authorization Language 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.

 

posted by Jules.dot

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634474829230000000 Thu, 28 Jul 2011 20:48:43 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634474829230000000 Jules.dot Re: Guido de Caso - Distributed Knowledge Authorization Language @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

posted by Guido_de_Caso

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634475491170000000 Fri, 29 Jul 2011 15:11:57 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634475491170000000 Guido_de_Caso Re: Guido de Caso - Distributed Knowledge Authorization Language Selection of article was fantastic and good explanation.Authorization is the process of giving someone permission to do or have something...
Thanks

posted by visual guard

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634483781760000000 Mon, 08 Aug 2011 05:29:36 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634483781760000000 visual guard Re: Guido de Caso - Distributed Knowledge Authorization Language It was really useful topic. Video on DKAL one of best video on the topic i saw.  thank you.

posted by gorgerok

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634543789396459287 Sun, 16 Oct 2011 16:22:19 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634543789396459287 gorgerok Re: Guido de Caso - Distributed Knowledge Authorization Language @gorgerok:Thanks! Don't hesitate to drop a line if you have a question or if you need any help with the tools.

posted by Guido_de_Caso

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634543911062519594 Sun, 16 Oct 2011 19:45:06 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634543911062519594 Guido_de_Caso Re: Guido de Caso - Distributed Knowledge Authorization Language Selection of article was fantastic and good explanation.Authorization is the process of giving someone permission to do or have something...

posted by visual guard

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634556356510912127 Mon, 31 Oct 2011 05:27:31 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634556356510912127 visual guard Re: Guido de Caso - Distributed Knowledge Authorization Language posted by Auto Signals Pro

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634564699566707745 Wed, 09 Nov 2011 21:12:36 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634564699566707745 Auto Signals Pro Re: Guido de Caso - Distributed Knowledge Authorization Language posted by autotradefx

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634565013551173843 Thu, 10 Nov 2011 05:55:55 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634565013551173843 autotradefx Re: Guido de Caso - Distributed Knowledge Authorization Language posted by forex signal

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634565018534546417 Thu, 10 Nov 2011 06:04:13 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634565018534546417 forex signal Re: Guido de Caso - Distributed Knowledge Authorization Language posted by forexultimatumsystem

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634565018786058413 Thu, 10 Nov 2011 06:04:38 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634565018786058413 forexultimatumsystem Re: Guido de Caso - Distributed Knowledge Authorization Language posted by MaxEDD

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634565051978174475 Thu, 10 Nov 2011 06:59:57 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634565051978174475 MaxEDD Re: Guido de Caso - Distributed Knowledge Authorization Language posted by lighting from manufacturer

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634574911743800267 Mon, 21 Nov 2011 16:52:54 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634574911743800267 lighting from manufacturer Re: Guido de Caso - Distributed Knowledge Authorization Language posted by deca durabolin

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634575027430995623 Mon, 21 Nov 2011 20:05:43 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634575027430995623 deca durabolin Re: Guido de Caso - Distributed Knowledge Authorization Language 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>

posted by Pair Trading Signals

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634578358938774489 Fri, 25 Nov 2011 16:38:13 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634578358938774489 Pair Trading Signals Re: Guido de Caso - Distributed Knowledge Authorization Language posted by steroidi anabolizzanti in linea

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634586837842666923 Mon, 05 Dec 2011 12:09:44 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634586837842666923 steroidi anabolizzanti in linea Re: Guido de Caso - Distributed Knowledge Authorization Language posted by appliances repair

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634591004756706150 Sat, 10 Dec 2011 07:54:35 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634591004756706150 appliances repair Re: Guido de Caso - Distributed Knowledge Authorization Language posted by acquistare steroidi anabolizzanti in linea

]]> http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634591880184925169 Sun, 11 Dec 2011 08:13:38 GMT http://channel9.msdn.com/Blogs/Peli/Guido-de-Caso-Distributed-Knowledge-Authorization-Language#c634591880184925169 acquistare steroidi anabolizzanti in linea