{"id":1694,"date":"2016-04-10T19:51:26","date_gmt":"2016-04-10T19:51:26","guid":{"rendered":"https:\/\/www.arg.tech\/?page_id=1694"},"modified":"2016-09-15T09:24:37","modified_gmt":"2016-09-15T09:24:37","slug":"mdg-specification-dgdl","status":"publish","type":"page","link":"https:\/\/www.arg.tech\/index.php\/mdg-specification-dgdl\/","title":{"rendered":"MDG specification – DGDL"},"content":{"rendered":"
    \n
  1. \n
    System{Mediation{<\/pre>\n<\/li>\n
  2. \n
    \tturns{magnitude:multiple, ordering:strict}<\/pre>\n<\/li>\n
  3. \n
    \troles{speaker, listener, Mediator, Party}<\/pre>\n<\/li>\n
  4. \n
    \tplayers{min:3, max:3}<\/pre>\n<\/li>\n
  5. \n
    \tplayer{id:Mediator}<\/pre>\n<\/li>\n
  6. \n
    \tplayer{id:PartyOne}<\/pre>\n<\/li>\n
  7. \n
    \tplayer{id:PartyTwo}<\/pre>\n<\/li>\n
  8. \n
    \t<\/pre>\n<\/li>\n
  9. \n\n<\/li>\n
  10. \n
    \tstore{id:CommitmentsPartyTwo, owner:PartyOne, structure:set, visibility:public, {\"\"}}<\/pre>\n<\/li>\n
  11. \n
    \tbacktrack{on}<\/pre>\n<\/li>\n
  12. \n
    \t<\/pre>\n<\/li>\n
  13. \n
    \t\/* Rules *\/<\/pre>\n<\/li>\n
  14. \n
    \trule{id:StartingRule, scope:initial,<\/pre>\n<\/li>\n
  15. \n
    \t{ assign(Mediator, speaker)<\/pre>\n<\/li>\n
  16. \n
    \t\t& move(add, next, PureQuestion, $Party, {p}, Mediator)<\/pre>\n<\/li>\n
  17. \n
    \t\t}<\/pre>\n<\/li>\n
  18. \n
    \t}<\/pre>\n<\/li>\n
  19. \n
    \t<\/pre>\n<\/li>\n
  20. \n
    \t\/* Interactions *\/<\/pre>\n<\/li>\n
  21. \n
    \tinteraction{PureQuestion, $Participant, {p}, PureQuestioning, {p}, \"Do you believe $p?\",<\/pre>\n<\/li>\n
  22. \n
    \t\t{ move(add, next, Assert, {p}, Target)<\/pre>\n<\/li>\n
  23. \n
    \t\t& move(add, next, Assert, {q}, Target)<\/pre>\n<\/li>\n
  24. \n
    \t\t}<\/pre>\n<\/li>\n
  25. \n
    \t}<\/pre>\n<\/li>\n
  26. \n
    <\/pre>\n<\/li>\n
  27. \n
    \tinteraction{Argue, {p,q}, Asserting, {q}, Arguing, {<{q},{p}>, DefaultInference}, \"$p because $q\",<\/pre>\n<\/li>\n
  28. \n
    \t\t{<\/pre>\n<\/li>\n
  29. \n
    \t\tif{ player(PartyOne) } then<\/pre>\n<\/li>\n
  30. \n
                            { store(add, {q}, CommitmentsPartyOne, PartyOne)<\/pre>\n<\/li>\n
  31. \n
                            & move(add, next, PureQuestion, $Party, {q}, Mediator)<\/pre>\n<\/li>\n
  32. \n
                            & move(add, next, AssertiveQuestion, $Party, {q}, Mediator)<\/pre>\n<\/li>\n
  33. \n
                            & move(add, next, PureChallenge, $Party, {q}, Mediator)<\/pre>\n<\/li>\n
  34. \n
                            }<\/pre>\n<\/li>\n
  35. \n
                    else<\/pre>\n<\/li>\n
  36. \n
                            { store(add, {q}, CommitmentsPartyTwo, PartyTwo)<\/pre>\n<\/li>\n
  37. \n
                            & move(add, next, PureQuestion, $Party, {q}, Mediator)<\/pre>\n<\/li>\n
  38. \n
                            & move(add, next, AssertiveQuestion, $Party, {q}, Mediator)<\/pre>\n<\/li>\n
  39. \n
                            & move(add, next, PureChallenge, $Party, {q}, Mediator)<\/pre>\n<\/li>\n
  40. \n
                            & assign(Mediator, speaker)<\/pre>\n<\/li>\n
  41. \n
                            }<\/pre>\n<\/li>\n
  42. \n
    \t\t}<\/pre>\n<\/li>\n
  43. \n
    \t}<\/pre>\n<\/li>\n
  44. \n
    <\/pre>\n<\/li>\n
  45. \n
    \tinteraction{AssertiveQuestion, $Participant, {p}, AssertiveQuestioning, {p}, \"Do you agree $p?\",<\/pre>\n<\/li>\n
  46. \n
    \t\t{ move(add, next, Withdraw, {p}, Target)<\/pre>\n<\/li>\n
  47. \n
    \t\t& move(add, next, Agree, {p}, Target)<\/pre>\n<\/li>\n
  48. \n
    \t\t& move(add, next, Disagree, {p}, Target)<\/pre>\n<\/li>\n
  49. \n
    \t\t}<\/pre>\n<\/li>\n
  50. \n
    \t}<\/pre>\n<\/li>\n
  51. \n
    \t<\/pre>\n<\/li>\n
  52. \n
    \tinteraction{PureChallenge, $Participant, {p}, PureChallenging, {p}, \"Why $p?\",<\/pre>\n<\/li>\n
  53. \n
    \t\t{ move(add, next, Argue, {p,r}, Target)<\/pre>\n<\/li>\n
  54. \n
    \t\t& move(add, next, Withdraw, {p}, Target)<\/pre>\n<\/li>\n
  55. \n
    \t\t}<\/pre>\n<\/li>\n
  56. \n
    \t}<\/pre>\n<\/li>\n
  57. \n
    <\/pre>\n<\/li>\n
  58. \n
    \tinteraction{Assert, {p}, Asserting, {p}, \"I assert $p\",<\/pre>\n<\/li>\n
  59. \n
    \t\t{<\/pre>\n<\/li>\n
  60. \n
    \t\tif{ player(PartyOne) } then<\/pre>\n<\/li>\n
  61. \n
    \t\t\t{ store(add, {p}, CommitmentsPartyOne, PartyOne)<\/pre>\n<\/li>\n
  62. \n\n<\/li>\n
  63. \n
    \t\t\t& move(add, next, AssertiveQuestion, $Party, {p}, Mediator)<\/pre>\n<\/li>\n
  64. \n
    \t\t\t& move(add, next, PureChallenge, $Party, {p}, Mediator)<\/pre>\n<\/li>\n
  65. \n
    \t\t\t}<\/pre>\n<\/li>\n
  66. \n
    \t\telse<\/pre>\n<\/li>\n
  67. \n
    \t\t\t{ store(add, {p}, CommitmentsPartyTwo, PartyTwo)<\/pre>\n<\/li>\n
  68. \n
    \t\t\t& move(add, next, PureQuestion, $Party, {p}, Mediator)<\/pre>\n<\/li>\n
  69. \n
    \t\t\t& move(add, next, AssertiveQuestion, $Party, {p}, Mediator)<\/pre>\n<\/li>\n
  70. \n
    \t\t\t& move(add, next, PureChallenge, $Party, {p}, Mediator)<\/pre>\n<\/li>\n
  71. \n
    \t\t\t& assign(Mediator, speaker)<\/pre>\n<\/li>\n
  72. \n
    \t\t\t}<\/pre>\n<\/li>\n
  73. \n
    \t\t}<\/pre>\n<\/li>\n
  74. \n
    \t}<\/pre>\n<\/li>\n
  75. \n
    <\/pre>\n<\/li>\n
  76. \n
    \tinteraction{Withdraw, {p}, Asserting, {p}, \"Withdraw $p\",<\/pre>\n<\/li>\n
  77. \n
    \t\t{<\/pre>\n<\/li>\n
  78. \n
    \t\tif{ player(PartyOne) } then<\/pre>\n<\/li>\n
  79. \n
    \t\t\t{ store(remove, {p}, CommitmentsPartyOne, PartyOne)<\/pre>\n<\/li>\n
  80. \n
    \t\t\t& move(add, next, AssertiveQuestion, $Party, {p}, Mediator)<\/pre>\n<\/li>\n
  81. \n
    \t\t\t& move(add, next, PureQuestion, $Party, {p}, Mediator)<\/pre>\n<\/li>\n
  82. \n
    \t\t& move(add, next, AssertiveQuestion, $Party, {q}, Mediator)<\/pre>\n<\/li>\n
  83. \n
    \t\t\t}<\/pre>\n<\/li>\n
  84. \n
    \t\telse<\/pre>\n<\/li>\n
  85. \n
    \t\t\t{ store(remove, {p}, CommitmentsPartyTwo, PartyTwo)<\/pre>\n<\/li>\n
  86. \n
    \t\t\t& move(add, next, AssertiveQuestion, $Party, {p}, Mediator)<\/pre>\n<\/li>\n
  87. \n
    \t\t\t& move(add, next, PureQuestion, $Party, {p}, Mediator)<\/pre>\n<\/li>\n
  88. \n
    \t\t\t& move(add, next, AssertiveQuestion, $Party, {q}, Mediator)<\/pre>\n<\/li>\n
  89. \n
    \t\t\t}<\/pre>\n<\/li>\n
  90. \n
    \t\t}<\/pre>\n<\/li>\n
  91. \n
    \t}<\/pre>\n<\/li>\n
  92. \n
    \t<\/pre>\n<\/li>\n
  93. \n
    \tinteraction{Agree, {p}, Asserting, {p}, \"I agree with $p\",<\/pre>\n<\/li>\n
  94. \n
    \t\t{<\/pre>\n<\/li>\n
  95. \n
    \t\tif{ player(PartyOne) } then<\/pre>\n<\/li>\n
  96. \n
    \t\t\t{ store(add, {p}, CommitmentsPartyOne, PartyOne)<\/pre>\n<\/li>\n
  97. \n
    \t\t\t& move(add, next, PureQuestion, $Party, {q}, Mediator)<\/pre>\n<\/li>\n
  98. \n
    \t\t\t& move(add, next, AssertiveQuestion, $Party, {q}, Mediator)<\/pre>\n<\/li>\n
  99. \n
    \t\t\t}<\/pre>\n<\/li>\n
  100. \n
    \t\telse<\/pre>\n<\/li>\n
  101. \n
    \t\t\t{ store(add, {p}, CommitmentsPartyTwo, PartyTwo)<\/pre>\n<\/li>\n
  102. \n
    \t\t\t& move(add, next, PureQuestion, $Party, {q}, Mediator)<\/pre>\n<\/li>\n
  103. \n
    \t& move(add, next, AssertiveQuestion, $Party, {q}, Mediator)<\/pre>\n<\/li>\n
  104. \n
    \t\t\t}<\/pre>\n<\/li>\n
  105. \n
    \t\t}<\/pre>\n<\/li>\n
  106. \n
    \t}<\/pre>\n<\/li>\n
  107. \n
    <\/pre>\n<\/li>\n
  108. \n
        interaction{Disagree, {c}, Asserting, {!c}, Contradicting, {<{c},{!c}>, DefaultConflict}, \"I disagree with $c\",<\/pre>\n<\/li>\n
  109. \n
            {<\/pre>\n<\/li>\n
  110. \n
            if{ player(PartyOne) } then<\/pre>\n<\/li>\n
  111. \n
                { store(add, {c}, CommitmentsPartyOne, PartyOne)<\/pre>\n<\/li>\n
  112. \n
                & move(add, next, PureQuestion, $Party, {c}, Mediator)<\/pre>\n<\/li>\n
  113. \n
                & move(add, next, Restate, {c}, Mediator)<\/pre>\n<\/li>\n
  114. \n
                }<\/pre>\n<\/li>\n
  115. \n
            else<\/pre>\n<\/li>\n
  116. \n
                { store(add, {c}, CommitmentsPartyTwo, PartyTwo)<\/pre>\n<\/li>\n
  117. \n
                & move(add, next, PureQuestion, $Party, {c}, Mediator)<\/pre>\n<\/li>\n
  118. \n
                & move(add, next, Restate, {c}, Mediator)<\/pre>\n<\/li>\n
  119. \n
                }<\/pre>\n<\/li>\n
  120. \n
            }<\/pre>\n<\/li>\n
  121. \n
        }<\/pre>\n<\/li>\n
  122. \n
    \t<\/pre>\n<\/li>\n
  123. \n
    \tinteraction{Restate, {p}, Restating, {p}, \"$p\",<\/pre>\n<\/li>\n
  124. \n
    \t\t{ move(add, next, AssertiveQuestion, $Party, {p}, Mediator)<\/pre>\n<\/li>\n
  125. \n
    \t\t& move(add, next, PureChallenge, $Party, {p}, Mediator)<\/pre>\n<\/li>\n
  126. \n
    \t\t}<\/pre>\n<\/li>\n
  127. \n
    \t}<\/pre>\n<\/li>\n
  128. \n
    }}<\/pre>\n<\/li>\n
  129. \n
    <\/pre>\n<\/li>\n<\/ol>\n
    \u00a0<\/span><\/pre>\n","protected":false},"excerpt":{"rendered":"
    System{Mediation{ turns{magnitude:multiple, ordering:strict} roles{speaker, listener, Mediator, Party} players{min:3, max:3} player{id:Mediator} player{id:PartyOne} player{id:PartyTwo}<\/p>\n","protected":false},"author":10,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1694","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/pages\/1694","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/users\/10"}],"replies":[{"embeddable":true,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/comments?post=1694"}],"version-history":[{"count":7,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/pages\/1694\/revisions"}],"predecessor-version":[{"id":1795,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/pages\/1694\/revisions\/1795"}],"wp:attachment":[{"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/media?parent=1694"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}