From 1cbe29fb7467e6c162313e3acbe3f3e46bd50cf7 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Thu, 10 Oct 2019 10:07:28 +0200
Subject: [PATCH] untrack two files
---
.../Argumentation_Theory-checkpoint.ipynb | 511 ++++++++----------
.../Bridges_Puzzle-checkpoint.ipynb | 283 +++-------
2 files changed, 306 insertions(+), 488 deletions(-)
diff --git a/.ipynb_checkpoints/Argumentation_Theory-checkpoint.ipynb b/.ipynb_checkpoints/Argumentation_Theory-checkpoint.ipynb
index 99c3d4b..a803fa1 100644
--- a/.ipynb_checkpoints/Argumentation_Theory-checkpoint.ipynb
+++ b/.ipynb_checkpoints/Argumentation_Theory-checkpoint.ipynb
@@ -6,13 +6,9 @@
"source": [
"# Argumentation Theory\n",
"\n",
- "Below we try to model some concepts of argumentation theory in B. The\n",
- "examples try to show that classical (monotonic) logic with set theory\n",
- "can be used to model some aspects of argumentation theory quite\n",
- "naturally, and that ProB can solve and visualise some problems in\n",
- "argumentation theory. Alternative solutions are encoding arguments as\n",
- "normal logic programs (with non-monotonic negation) and using answer set\n",
- "solvers for problem solving.\n",
+ "Use `:help` to get an overview for the jupyter notebook commands. If you need more insight on how to use this tool, consider reading *ProB Jupyter Notebook Overview*.\n",
+ "\n",
+ "In this notebook we try to model some concepts of argumentation theory in B. The examples try to show that classical (monotonic) logic with set theory can be used to model some aspects of argumentation theory quite naturally, and that ProB can solve and visualise some problems in argumentation theory. Alternative solutions are encoding arguments as normal logic programs (with non-monotonic negation) and using answer set solvers for problem solving.\n",
"\n",
"The following model was inspired by a talk given by Claudia Schulz.\n",
"\n",
@@ -37,7 +33,7 @@
},
{
"cell_type": "code",
- "execution_count": 1,
+ "execution_count": 42,
"metadata": {},
"outputs": [
{
@@ -46,7 +42,7 @@
"Loaded machine: ArgumentationTotFun"
]
},
- "execution_count": 1,
+ "execution_count": 42,
"metadata": {},
"output_type": "execute_result"
}
@@ -95,7 +91,7 @@
},
{
"cell_type": "code",
- "execution_count": 2,
+ "execution_count": 43,
"metadata": {},
"outputs": [
{
@@ -104,7 +100,7 @@
"Changed to state with index -1"
]
},
- "execution_count": 2,
+ "execution_count": 43,
"metadata": {},
"output_type": "execute_result"
}
@@ -115,7 +111,7 @@
},
{
"cell_type": "code",
- "execution_count": 3,
+ "execution_count": 44,
"metadata": {},
"outputs": [
{
@@ -124,7 +120,7 @@
"Machine constants set up using operation 0: $setup_constants()"
]
},
- "execution_count": 3,
+ "execution_count": 44,
"metadata": {},
"output_type": "execute_result"
}
@@ -135,7 +131,7 @@
},
{
"cell_type": "code",
- "execution_count": 4,
+ "execution_count": 45,
"metadata": {},
"outputs": [
{
@@ -149,7 +145,7 @@
"0: SETUP_CONSTANTS() (current)"
]
},
- "execution_count": 4,
+ "execution_count": 45,
"metadata": {},
"output_type": "execute_result"
}
@@ -167,7 +163,7 @@
},
{
"cell_type": "code",
- "execution_count": 5,
+ "execution_count": 46,
"metadata": {},
"outputs": [
{
@@ -176,7 +172,7 @@
"Machine initialised using operation 1: $initialise_machine()"
]
},
- "execution_count": 5,
+ "execution_count": 46,
"metadata": {},
"output_type": "execute_result"
}
@@ -194,7 +190,7 @@
},
{
"cell_type": "code",
- "execution_count": 6,
+ "execution_count": 47,
"metadata": {},
"outputs": [
{
@@ -217,7 +213,7 @@
"E\tD\n"
]
},
- "execution_count": 6,
+ "execution_count": 47,
"metadata": {},
"output_type": "execute_result"
}
@@ -228,7 +224,7 @@
},
{
"cell_type": "code",
- "execution_count": 7,
+ "execution_count": 48,
"metadata": {},
"outputs": [
{
@@ -251,7 +247,7 @@
"E\tin\n"
]
},
- "execution_count": 7,
+ "execution_count": 48,
"metadata": {},
"output_type": "execute_result"
}
@@ -274,30 +270,18 @@
]
},
{
- "cell_type": "code",
- "execution_count": 8,
+ "cell_type": "markdown",
"metadata": {
"scrolled": true
},
- "outputs": [
- {
- "data": {
- "text/plain": [
- "Preference changed: DOT = /usr/bin/dot\n"
- ]
- },
- "execution_count": 8,
- "metadata": {},
- "output_type": "execute_result"
- }
- ],
"source": [
- ":pref DOT=/usr/bin/dot"
+ "In case dot is installed in a non-standard location you can use the command\n",
+ "```:pref DOT=/usr/bin/dot``` to specify the path to dot."
]
},
{
"cell_type": "code",
- "execution_count": 9,
+ "execution_count": 49,
"metadata": {},
"outputs": [
{
@@ -306,135 +290,116 @@
"<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
"<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
" \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
- "<!-- Generated by graphviz version 2.40.1 (20161225.0304)\n",
+ "<!-- Generated by graphviz version 2.28.0 (20110509.1545)\n",
" -->\n",
"<!-- Title: state Pages: 1 -->\n",
- "<svg width=\"256pt\" height=\"759pt\"\n",
- " viewBox=\"0.00 0.00 256.00 759.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
- "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 755)\">\n",
+ "<svg width=\"294pt\" height=\"568pt\"\n",
+ " viewBox=\"0.00 0.00 294.21 568.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+ "<g id=\"graph1\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 564)\">\n",
"<title>state</title>\n",
- "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-755 252,-755 252,4 -4,4\"/>\n",
- "<g id=\"clust1\" class=\"cluster\">\n",
- "<title>cluster_ARGUMENTS</title>\n",
- "<polygon fill=\"#d3d3d3\" stroke=\"#d3d3d3\" points=\"8,-114 8,-743 154,-743 154,-114 8,-114\"/>\n",
- "<text text-anchor=\"middle\" x=\"81\" y=\"-729.4\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">ARGUMENTS</text>\n",
+ "<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-564 291.21,-564 291.21,5 -4,5\"/>\n",
+ "<g id=\"graph2\" class=\"cluster\"><title>cluster_ARGUMENTS</title>\n",
+ "<polygon fill=\"lightgrey\" stroke=\"lightgrey\" points=\"8,-118 8,-552 143,-552 143,-118 8,-118\"/>\n",
+ "<text text-anchor=\"middle\" x=\"75.5\" y=\"-537.2\" font-family=\"Times,serif\" font-size=\"12.00\">ARGUMENTS</text>\n",
"</g>\n",
- "<g id=\"clust2\" class=\"cluster\">\n",
- "<title>cluster_STATUS</title>\n",
- "<polygon fill=\"#d3d3d3\" stroke=\"#d3d3d3\" points=\"47,-8 47,-81 189,-81 189,-8 47,-8\"/>\n",
- "<text text-anchor=\"middle\" x=\"118\" y=\"-67.4\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">STATUS</text>\n",
+ "<g id=\"graph3\" class=\"cluster\"><title>cluster_STATUS</title>\n",
+ "<polygon fill=\"lightgrey\" stroke=\"lightgrey\" points=\"72,-8 72,-82 214,-82 214,-8 72,-8\"/>\n",
+ "<text text-anchor=\"middle\" x=\"143\" y=\"-67.2\" font-family=\"Times,serif\" font-size=\"12.00\">STATUS</text>\n",
"</g>\n",
"<!-- E -->\n",
- "<g id=\"node1\" class=\"node\">\n",
- "<title>E</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"135,-714 81,-714 81,-678 135,-678 135,-714\"/>\n",
- "<text text-anchor=\"middle\" x=\"108\" y=\"-692.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">E</text>\n",
+ "<g id=\"node1\" class=\"node\"><title>E</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"123,-522 69,-522 69,-486 123,-486 123,-522\"/>\n",
+ "<text text-anchor=\"middle\" x=\"96\" y=\"-499.8\" font-family=\"Times,serif\" font-size=\"14.00\">E</text>\n",
"</g>\n",
"<!-- in -->\n",
- "<g id=\"node2\" class=\"node\">\n",
- "<title>in</title>\n",
- "<polygon fill=\"#bdef6b\" stroke=\"#bdef6b\" points=\"181,-52 127,-52 127,-16 181,-16 181,-52\"/>\n",
- "<text text-anchor=\"middle\" x=\"154\" y=\"-30.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">in</text>\n",
+ "<g id=\"node3\" class=\"node\"><title>in</title>\n",
+ "<polygon fill=\"#bdef6b\" stroke=\"#bdef6b\" points=\"206,-52 152,-52 152,-16 206,-16 206,-52\"/>\n",
+ "<text text-anchor=\"middle\" x=\"179\" y=\"-29.8\" font-family=\"Times,serif\" font-size=\"14.00\">in</text>\n",
"</g>\n",
"<!-- E->in -->\n",
- "<g id=\"edge1\" class=\"edge\">\n",
- "<title>E->in</title>\n",
- "<path fill=\"none\" stroke=\"#b22222\" d=\"M135.0663,-692.9247C168.4964,-687.4486 221,-672.6209 221,-633.5 221,-633.5 221,-633.5 221,-140 221,-108.8645 200.0896,-79.4349 181.6322,-59.5224\"/>\n",
- "<polygon fill=\"#b22222\" stroke=\"#b22222\" points=\"183.9345,-56.8684 174.4663,-52.114 178.9031,-61.7351 183.9345,-56.8684\"/>\n",
- "<text text-anchor=\"middle\" x=\"234.5\" y=\"-398.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">label</text>\n",
+ "<g id=\"edge2\" class=\"edge\"><title>E->in</title>\n",
+ "<path fill=\"none\" stroke=\"firebrick\" d=\"M123.283,-500.608C169.685,-494.881 259,-475.942 259,-415 259,-415 259,-415 259,-143 259,-108.977 233.048,-78.6753 210.706,-58.8927\"/>\n",
+ "<polygon fill=\"firebrick\" stroke=\"firebrick\" points=\"212.889,-56.1546 203.003,-52.3451 208.356,-61.4883 212.889,-56.1546\"/>\n",
+ "<text text-anchor=\"middle\" x=\"272.605\" y=\"-274.8\" font-family=\"Times,serif\" font-size=\"14.00\">label</text>\n",
"</g>\n",
"<!-- D -->\n",
- "<g id=\"node3\" class=\"node\">\n",
- "<title>D</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"135,-589 81,-589 81,-553 135,-553 135,-589\"/>\n",
- "<text text-anchor=\"middle\" x=\"108\" y=\"-567.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">D</text>\n",
+ "<g id=\"node4\" class=\"node\"><title>D</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"123,-432 69,-432 69,-396 123,-396 123,-432\"/>\n",
+ "<text text-anchor=\"middle\" x=\"96\" y=\"-409.8\" font-family=\"Times,serif\" font-size=\"14.00\">D</text>\n",
"</g>\n",
"<!-- E->D -->\n",
- "<g id=\"edge6\" class=\"edge\">\n",
- "<title>E->D</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M108,-677.8239C108,-657.2723 108,-623.5472 108,-599.4893\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"111.5001,-599.198 108,-589.198 104.5001,-599.198 111.5001,-599.198\"/>\n",
- "<text text-anchor=\"middle\" x=\"127\" y=\"-629.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge12\" class=\"edge\"><title>E->D</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M96,-485.614C96,-473.24 96,-456.369 96,-442.22\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"99.5001,-442.05 96,-432.05 92.5001,-442.05 99.5001,-442.05\"/>\n",
+ "<text text-anchor=\"middle\" x=\"115.435\" y=\"-454.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- B -->\n",
- "<g id=\"node6\" class=\"node\">\n",
- "<title>B</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"84,-311 30,-311 30,-275 84,-275 84,-311\"/>\n",
- "<text text-anchor=\"middle\" x=\"57\" y=\"-289.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">B</text>\n",
+ "<g id=\"node9\" class=\"node\"><title>B</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"86,-252 32,-252 32,-216 86,-216 86,-252\"/>\n",
+ "<text text-anchor=\"middle\" x=\"59\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">B</text>\n",
"</g>\n",
"<!-- E->B -->\n",
- "<g id=\"edge7\" class=\"edge\">\n",
- "<title>E->B</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M80.8653,-685.8975C59.7458,-676.0746 34,-658.8926 34,-633.5 34,-633.5 34,-633.5 34,-369.5 34,-352.8719 39.0452,-335.0388 44.4096,-320.7769\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"47.8207,-321.6752 48.3047,-311.0914 41.3262,-319.0634 47.8207,-321.6752\"/>\n",
- "<text text-anchor=\"middle\" x=\"53\" y=\"-504.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge14\" class=\"edge\"><title>E->B</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M85.2215,-485.909C76.948,-471.949 65.963,-451.421 60,-432 42.0609,-373.574 48.6791,-300.724 54.3115,-262.057\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"57.7822,-262.515 55.8528,-252.098 50.8646,-261.445 57.7822,-262.515\"/>\n",
+ "<text text-anchor=\"middle\" x=\"69.4348\" y=\"-364.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- out -->\n",
- "<g id=\"node4\" class=\"node\">\n",
- "<title>out</title>\n",
- "<polygon fill=\"#bdef6b\" stroke=\"#bdef6b\" points=\"109,-52 55,-52 55,-16 109,-16 109,-52\"/>\n",
- "<text text-anchor=\"middle\" x=\"82\" y=\"-30.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">out</text>\n",
+ "<g id=\"node6\" class=\"node\"><title>out</title>\n",
+ "<polygon fill=\"#bdef6b\" stroke=\"#bdef6b\" points=\"134,-52 80,-52 80,-16 134,-16 134,-52\"/>\n",
+ "<text text-anchor=\"middle\" x=\"107\" y=\"-29.8\" font-family=\"Times,serif\" font-size=\"14.00\">out</text>\n",
"</g>\n",
"<!-- D->out -->\n",
- "<g id=\"edge2\" class=\"edge\">\n",
- "<title>D->out</title>\n",
- "<path fill=\"none\" stroke=\"#b22222\" d=\"M135.2474,-559.9916C155.2698,-549.8961 179,-532.8044 179,-508.5 179,-508.5 179,-508.5 179,-140 179,-111.1933 162.1943,-106.0837 139,-89 130.9583,-83.0769 126.0076,-86.9691 118,-81 110.537,-75.4369 103.849,-67.9279 98.3216,-60.546\"/>\n",
- "<polygon fill=\"#b22222\" stroke=\"#b22222\" points=\"100.9883,-58.252 92.3891,-52.0629 95.2519,-62.2637 100.9883,-58.252\"/>\n",
- "<text text-anchor=\"middle\" x=\"192.5\" y=\"-332.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">label</text>\n",
+ "<g id=\"edge4\" class=\"edge\"><title>D->out</title>\n",
+ "<path fill=\"none\" stroke=\"firebrick\" d=\"M123.253,-404.231C155.247,-392.025 204,-366.6 204,-325 204,-325 204,-325 204,-143 204,-112.385 184.207,-108.744 160,-90 153.398,-84.8877 149.501,-87.2409 143,-82 135.638,-76.0651 128.918,-68.3259 123.33,-60.8456\"/>\n",
+ "<polygon fill=\"firebrick\" stroke=\"firebrick\" points=\"125.937,-58.4689 117.318,-52.3071 120.213,-62.4987 125.937,-58.4689\"/>\n",
+ "<text text-anchor=\"middle\" x=\"217.605\" y=\"-229.8\" font-family=\"Times,serif\" font-size=\"14.00\">label</text>\n",
"</g>\n",
"<!-- C -->\n",
- "<g id=\"node5\" class=\"node\">\n",
- "<title>C</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"135,-464 81,-464 81,-428 135,-428 135,-464\"/>\n",
- "<text text-anchor=\"middle\" x=\"108\" y=\"-442.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">C</text>\n",
+ "<g id=\"node7\" class=\"node\"><title>C</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"123,-342 69,-342 69,-306 123,-306 123,-342\"/>\n",
+ "<text text-anchor=\"middle\" x=\"96\" y=\"-319.8\" font-family=\"Times,serif\" font-size=\"14.00\">C</text>\n",
"</g>\n",
"<!-- D->C -->\n",
- "<g id=\"edge8\" class=\"edge\">\n",
- "<title>D->C</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M108,-552.8239C108,-532.2723 108,-498.5472 108,-474.4893\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"111.5001,-474.198 108,-464.198 104.5001,-474.198 111.5001,-474.198\"/>\n",
- "<text text-anchor=\"middle\" x=\"127\" y=\"-504.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge16\" class=\"edge\"><title>D->C</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M96,-395.614C96,-383.24 96,-366.369 96,-352.22\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"99.5001,-352.05 96,-342.05 92.5001,-352.05 99.5001,-352.05\"/>\n",
+ "<text text-anchor=\"middle\" x=\"115.435\" y=\"-364.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- C->in -->\n",
- "<g id=\"edge3\" class=\"edge\">\n",
- "<title>C->in</title>\n",
- "<path fill=\"none\" stroke=\"#b22222\" d=\"M112.5653,-427.9547C115.9136,-414.1 120.3254,-394.4491 123,-377 132.2655,-316.5524 146.5167,-133.7074 151.8701,-62.6628\"/>\n",
- "<polygon fill=\"#b22222\" stroke=\"#b22222\" points=\"155.3928,-62.4901 152.6508,-52.2563 148.4124,-61.9664 155.3928,-62.4901\"/>\n",
- "<text text-anchor=\"middle\" x=\"150.5\" y=\"-245.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">label</text>\n",
+ "<g id=\"edge6\" class=\"edge\"><title>C->in</title>\n",
+ "<path fill=\"none\" stroke=\"firebrick\" d=\"M111.644,-305.828C115.868,-300.44 120.074,-294.256 123,-288 158.98,-211.066 172.348,-110.006 176.887,-62.2477\"/>\n",
+ "<polygon fill=\"firebrick\" stroke=\"firebrick\" points=\"180.39,-62.3657 177.794,-52.094 173.418,-61.7431 180.39,-62.3657\"/>\n",
+ "<text text-anchor=\"middle\" x=\"171.605\" y=\"-184.8\" font-family=\"Times,serif\" font-size=\"14.00\">label</text>\n",
"</g>\n",
"<!-- C->B -->\n",
- "<g id=\"edge9\" class=\"edge\">\n",
- "<title>C->B</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M101.9494,-427.8481C93.1308,-401.3925 76.6719,-352.0157 66.3051,-320.9152\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"69.5255,-319.5083 63.0428,-311.1283 62.8847,-321.722 69.5255,-319.5083\"/>\n",
- "<text text-anchor=\"middle\" x=\"103\" y=\"-365.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge18\" class=\"edge\"><title>C->B</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M88.69,-305.614C83.3854,-292.998 76.1147,-275.705 70.0961,-261.391\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"73.2713,-259.912 66.1689,-252.05 66.8185,-262.625 73.2713,-259.912\"/>\n",
+ "<text text-anchor=\"middle\" x=\"100.435\" y=\"-274.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- B->out -->\n",
- "<g id=\"edge4\" class=\"edge\">\n",
- "<title>B->out</title>\n",
- "<path fill=\"none\" stroke=\"#b22222\" d=\"M66.9612,-274.8982C73.8296,-261.3393 82.3534,-242.0878 86,-224 97.3944,-167.4811 91.3689,-99.5902 86.3964,-62.1886\"/>\n",
- "<polygon fill=\"#b22222\" stroke=\"#b22222\" points=\"89.8286,-61.4605 84.9723,-52.0441 82.8965,-62.4336 89.8286,-61.4605\"/>\n",
- "<text text-anchor=\"middle\" x=\"104.5\" y=\"-179.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">label</text>\n",
+ "<g id=\"edge8\" class=\"edge\"><title>B->out</title>\n",
+ "<path fill=\"none\" stroke=\"firebrick\" d=\"M79.4216,-215.857C84.3525,-210.645 89.046,-204.547 92,-198 111.952,-153.782 111.965,-96.0589 109.759,-62.5017\"/>\n",
+ "<polygon fill=\"firebrick\" stroke=\"firebrick\" points=\"113.215,-61.8013 108.951,-52.1024 106.236,-62.3434 113.215,-61.8013\"/>\n",
+ "<text text-anchor=\"middle\" x=\"123.605\" y=\"-139.8\" font-family=\"Times,serif\" font-size=\"14.00\">label</text>\n",
"</g>\n",
"<!-- A -->\n",
- "<g id=\"node7\" class=\"node\">\n",
- "<title>A</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"70,-158 16,-158 16,-122 70,-122 70,-158\"/>\n",
- "<text text-anchor=\"middle\" x=\"43\" y=\"-136.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">A</text>\n",
+ "<g id=\"node11\" class=\"node\"><title>A</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"70,-162 16,-162 16,-126 70,-126 70,-162\"/>\n",
+ "<text text-anchor=\"middle\" x=\"43\" y=\"-139.8\" font-family=\"Times,serif\" font-size=\"14.00\">A</text>\n",
"</g>\n",
"<!-- B->A -->\n",
- "<g id=\"edge10\" class=\"edge\">\n",
- "<title>B->A</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M54.2827,-274.8796C52.2851,-260.9856 49.6428,-241.3184 48,-224 46.2345,-205.3884 44.9847,-184.3941 44.1761,-168.0499\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"47.672,-167.8778 43.7076,-158.0526 40.6797,-168.2056 47.672,-167.8778\"/>\n",
- "<text text-anchor=\"middle\" x=\"67\" y=\"-212.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge20\" class=\"edge\"><title>B->A</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M55.8389,-215.614C53.5892,-203.24 50.5216,-186.369 47.949,-172.22\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"51.3326,-171.263 46.1001,-162.05 44.4455,-172.515 51.3326,-171.263\"/>\n",
+ "<text text-anchor=\"middle\" x=\"72.4348\" y=\"-184.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- A->in -->\n",
- "<g id=\"edge5\" class=\"edge\">\n",
- "<title>A->in</title>\n",
- "<path fill=\"none\" stroke=\"#b22222\" d=\"M69.3269,-121.8184C84.3525,-110.8412 103.1025,-96.0912 118,-81 124.0925,-74.8283 130.0796,-67.6192 135.369,-60.7271\"/>\n",
- "<polygon fill=\"#b22222\" stroke=\"#b22222\" points=\"138.4985,-62.3834 141.6511,-52.2684 132.8789,-58.2097 138.4985,-62.3834\"/>\n",
- "<text text-anchor=\"middle\" x=\"121.5\" y=\"-92.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">label</text>\n",
+ "<g id=\"edge10\" class=\"edge\"><title>A->in</title>\n",
+ "<path fill=\"none\" stroke=\"firebrick\" d=\"M70.2551,-126.395C99.7972,-108.393 142.802,-82.1785 143,-82 149.921,-75.7756 156.451,-68.0732 161.999,-60.7175\"/>\n",
+ "<polygon fill=\"firebrick\" stroke=\"firebrick\" points=\"165.021,-62.5106 168.028,-52.3512 159.342,-58.4185 165.021,-62.5106\"/>\n",
+ "<text text-anchor=\"middle\" x=\"142.605\" y=\"-94.8\" font-family=\"Times,serif\" font-size=\"14.00\">label</text>\n",
"</g>\n",
"</g>\n",
"</svg>"
@@ -443,7 +408,7 @@
"<Dot visualization: state_as_graph []>"
]
},
- "execution_count": 9,
+ "execution_count": 49,
"metadata": {},
"output_type": "execute_result"
}
@@ -476,7 +441,7 @@
},
{
"cell_type": "code",
- "execution_count": 10,
+ "execution_count": 50,
"metadata": {},
"outputs": [
{
@@ -485,13 +450,13 @@
"Loaded machine: ArgumentationAsSets"
]
},
- "execution_count": 10,
+ "execution_count": 50,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
- "::load DOT=/usr/bin/dot\n",
+ "::load\n",
"MACHINE ArgumentationAsSets\n",
"SETS\n",
" ARGUMENTS={A,B,C,D,E}\n",
@@ -521,7 +486,7 @@
},
{
"cell_type": "code",
- "execution_count": 11,
+ "execution_count": 51,
"metadata": {},
"outputs": [
{
@@ -530,7 +495,7 @@
"Machine constants set up using operation 0: $setup_constants()"
]
},
- "execution_count": 11,
+ "execution_count": 51,
"metadata": {},
"output_type": "execute_result"
}
@@ -541,7 +506,7 @@
},
{
"cell_type": "code",
- "execution_count": 12,
+ "execution_count": 52,
"metadata": {},
"outputs": [
{
@@ -550,7 +515,7 @@
"Machine initialised using operation 1: $initialise_machine()"
]
},
- "execution_count": 12,
+ "execution_count": 52,
"metadata": {},
"output_type": "execute_result"
}
@@ -561,7 +526,7 @@
},
{
"cell_type": "code",
- "execution_count": 13,
+ "execution_count": 53,
"metadata": {},
"outputs": [
{
@@ -584,7 +549,7 @@
"E\tD\n"
]
},
- "execution_count": 13,
+ "execution_count": 53,
"metadata": {},
"output_type": "execute_result"
}
@@ -595,7 +560,7 @@
},
{
"cell_type": "code",
- "execution_count": 14,
+ "execution_count": 54,
"metadata": {},
"outputs": [
{
@@ -604,131 +569,113 @@
"<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
"<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
" \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
- "<!-- Generated by graphviz version 2.40.1 (20161225.0304)\n",
+ "<!-- Generated by graphviz version 2.28.0 (20110509.1545)\n",
" -->\n",
"<!-- Title: state Pages: 1 -->\n",
- "<svg width=\"284pt\" height=\"724pt\"\n",
- " viewBox=\"0.00 0.00 284.32 724.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
- "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 720)\">\n",
+ "<svg width=\"306pt\" height=\"532pt\"\n",
+ " viewBox=\"0.00 0.00 306.43 532.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+ "<g id=\"graph1\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 528)\">\n",
"<title>state</title>\n",
- "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-720 280.3199,-720 280.3199,4 -4,4\"/>\n",
- "<g id=\"clust1\" class=\"cluster\">\n",
- "<title>cluster_ARGUMENTS</title>\n",
- "<polygon fill=\"#d3d3d3\" stroke=\"#d3d3d3\" points=\"8,-79 8,-708 154,-708 154,-79 8,-79\"/>\n",
- "<text text-anchor=\"middle\" x=\"81\" y=\"-694.4\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">ARGUMENTS</text>\n",
+ "<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-528 303.429,-528 303.429,5 -4,5\"/>\n",
+ "<g id=\"graph2\" class=\"cluster\"><title>cluster_ARGUMENTS</title>\n",
+ "<polygon fill=\"lightgrey\" stroke=\"lightgrey\" points=\"8,-82 8,-516 143,-516 143,-82 8,-82\"/>\n",
+ "<text text-anchor=\"middle\" x=\"75.5\" y=\"-501.2\" font-family=\"Times,serif\" font-size=\"12.00\">ARGUMENTS</text>\n",
"</g>\n",
"<!-- ROOT-NODE -->\n",
- "<g id=\"node1\" class=\"node\">\n",
- "<title>ROOT-NODE</title>\n",
- "<polygon fill=\"#add8e6\" stroke=\"#add8e6\" points=\"138,-36 50.8598,-18 138,0 225.1402,-18 138,-36\"/>\n",
- "<text text-anchor=\"middle\" x=\"138\" y=\"-14.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">ROOT-NODE</text>\n",
+ "<g id=\"node1\" class=\"node\"><title>ROOT-NODE</title>\n",
+ "<polygon fill=\"lightblue\" stroke=\"lightblue\" points=\"152,-36 56.6349,-18 152,-3.55271e-15 247.365,-18 152,-36\"/>\n",
+ "<text text-anchor=\"middle\" x=\"152\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">ROOT-NODE</text>\n",
"</g>\n",
"<!-- ROOT-NODE->ROOT-NODE -->\n",
- "<g id=\"edge1\" class=\"edge\">\n",
- "<title>ROOT-NODE->ROOT-NODE</title>\n",
- "<path fill=\"none\" stroke=\"#b22222\" d=\"M188.9336,-25.4982C217.2471,-26.8978 243.3199,-24.3984 243.3199,-18 243.3199,-12.3764 223.1793,-9.7647 199.0785,-10.1649\"/>\n",
- "<polygon fill=\"#b22222\" stroke=\"#b22222\" points=\"198.8119,-6.6717 188.9336,-10.5018 199.0443,-13.6679 198.8119,-6.6717\"/>\n",
- "<text text-anchor=\"middle\" x=\"259.8199\" y=\"-14.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">undec</text>\n",
+ "<g id=\"edge2\" class=\"edge\"><title>ROOT-NODE->ROOT-NODE</title>\n",
+ "<path fill=\"none\" stroke=\"firebrick\" d=\"M206.063,-25.8265C236.666,-27.3549 265,-24.7461 265,-18 265,-12.0181 242.722,-9.28922 216.338,-9.81333\"/>\n",
+ "<polygon fill=\"firebrick\" stroke=\"firebrick\" points=\"215.934,-6.32524 206.063,-10.1735 216.18,-13.3209 215.934,-6.32524\"/>\n",
+ "<text text-anchor=\"middle\" x=\"281.715\" y=\"-13.8\" font-family=\"Times,serif\" font-size=\"14.00\">undec</text>\n",
"</g>\n",
"<!-- D -->\n",
- "<g id=\"node2\" class=\"node\">\n",
- "<title>D</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"135,-554 81,-554 81,-518 135,-518 135,-554\"/>\n",
- "<text text-anchor=\"middle\" x=\"108\" y=\"-532.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">D</text>\n",
+ "<g id=\"node3\" class=\"node\"><title>D</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"123,-396 69,-396 69,-360 123,-360 123,-396\"/>\n",
+ "<text text-anchor=\"middle\" x=\"96\" y=\"-373.8\" font-family=\"Times,serif\" font-size=\"14.00\">D</text>\n",
"</g>\n",
"<!-- D->ROOT-NODE -->\n",
- "<g id=\"edge2\" class=\"edge\">\n",
- "<title>D->ROOT-NODE</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M135.2664,-524.0523C154.1845,-513.7133 176,-496.7502 176,-473.5 176,-473.5 176,-473.5 176,-105 176,-82.471 165.1667,-59.1975 155.0686,-42.3973\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"157.9155,-40.3507 149.6077,-33.7756 152.0019,-44.0964 157.9155,-40.3507\"/>\n",
- "<text text-anchor=\"middle\" x=\"185\" y=\"-297.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">out</text>\n",
+ "<g id=\"edge4\" class=\"edge\"><title>D->ROOT-NODE</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M121.19,-359.963C149.034,-340.19 190,-307.89 190,-289 190,-289 190,-289 190,-107 190,-83.8321 178.762,-59.8373 168.508,-42.7666\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"171.295,-40.6246 162.991,-34.0446 165.379,-44.3668 171.295,-40.6246\"/>\n",
+ "<text text-anchor=\"middle\" x=\"198.945\" y=\"-193.8\" font-family=\"Times,serif\" font-size=\"14.00\">out</text>\n",
"</g>\n",
"<!-- C -->\n",
- "<g id=\"node5\" class=\"node\">\n",
- "<title>C</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"135,-429 81,-429 81,-393 135,-393 135,-429\"/>\n",
- "<text text-anchor=\"middle\" x=\"108\" y=\"-407.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">C</text>\n",
+ "<g id=\"node9\" class=\"node\"><title>C</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"123,-306 69,-306 69,-270 123,-270 123,-306\"/>\n",
+ "<text text-anchor=\"middle\" x=\"96\" y=\"-283.8\" font-family=\"Times,serif\" font-size=\"14.00\">C</text>\n",
"</g>\n",
"<!-- D->C -->\n",
- "<g id=\"edge9\" class=\"edge\">\n",
- "<title>D->C</title>\n",
- "<path fill=\"none\" stroke=\"#000000\" d=\"M108,-517.8239C108,-497.2723 108,-463.5472 108,-439.4893\"/>\n",
- "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"111.5001,-439.198 108,-429.198 104.5001,-439.198 111.5001,-439.198\"/>\n",
- "<text text-anchor=\"middle\" x=\"127\" y=\"-469.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge18\" class=\"edge\"><title>D->C</title>\n",
+ "<path fill=\"none\" stroke=\"black\" d=\"M96,-359.614C96,-347.24 96,-330.369 96,-316.22\"/>\n",
+ "<polygon fill=\"black\" stroke=\"black\" points=\"99.5001,-316.05 96,-306.05 92.5001,-316.05 99.5001,-316.05\"/>\n",
+ "<text text-anchor=\"middle\" x=\"115.435\" y=\"-328.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- B -->\n",
- "<g id=\"node3\" class=\"node\">\n",
- "<title>B</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"85,-276 31,-276 31,-240 85,-240 85,-276\"/>\n",
- "<text text-anchor=\"middle\" x=\"58\" y=\"-254.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">B</text>\n",
+ "<g id=\"node5\" class=\"node\"><title>B</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"93,-216 39,-216 39,-180 93,-180 93,-216\"/>\n",
+ "<text text-anchor=\"middle\" x=\"66\" y=\"-193.8\" font-family=\"Times,serif\" font-size=\"14.00\">B</text>\n",
"</g>\n",
"<!-- B->ROOT-NODE -->\n",
- "<g id=\"edge3\" class=\"edge\">\n",
- "<title>B->ROOT-NODE</title>\n",
- "<path fill=\"none\" stroke=\"#a0522d\" d=\"M66.0494,-239.7598C71.9757,-225.9701 80.0105,-206.4898 86,-189 106.1945,-130.0304 104.2366,-113.1155 124,-54 125.0631,-50.82 126.245,-47.5089 127.4587,-44.2392\"/>\n",
- "<polygon fill=\"#a0522d\" stroke=\"#a0522d\" points=\"130.7939,-45.3171 131.1084,-34.727 124.2584,-42.8095 130.7939,-45.3171\"/>\n",
- "<text text-anchor=\"middle\" x=\"109\" y=\"-144.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">out</text>\n",
+ "<g id=\"edge6\" class=\"edge\"><title>B->ROOT-NODE</title>\n",
+ "<path fill=\"none\" stroke=\"sienna\" d=\"M73.9137,-179.781C84.3213,-157.229 103.265,-116.501 120.109,-82 126.286,-69.3487 133.339,-55.3696 139.239,-43.8002\"/>\n",
+ "<polygon fill=\"sienna\" stroke=\"sienna\" points=\"142.44,-45.2273 143.879,-34.7306 136.208,-42.039 142.44,-45.2273\"/>\n",
+ "<text text-anchor=\"middle\" x=\"129.945\" y=\"-103.8\" font-family=\"Times,serif\" font-size=\"14.00\">out</text>\n",
"</g>\n",
"<!-- A -->\n",
- "<g id=\"node6\" class=\"node\">\n",
- "<title>A</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"71,-123 17,-123 17,-87 71,-87 71,-123\"/>\n",
- "<text text-anchor=\"middle\" x=\"44\" y=\"-101.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">A</text>\n",
+ "<g id=\"node11\" class=\"node\"><title>A</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"70,-126 16,-126 16,-90 70,-90 70,-126\"/>\n",
+ "<text text-anchor=\"middle\" x=\"43\" y=\"-103.8\" font-family=\"Times,serif\" font-size=\"14.00\">A</text>\n",
"</g>\n",
"<!-- B->A -->\n",
- "<g id=\"edge11\" class=\"edge\">\n",
- "<title>B->A</title>\n",
- "<path fill=\"none\" stroke=\"#000000\" d=\"M54.8895,-239.898C52.6222,-226.0136 49.6665,-206.3504 48,-189 46.2137,-170.4023 45.2138,-149.408 44.6604,-133.0603\"/>\n",
- "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"48.1587,-132.9498 44.3574,-123.0604 41.1619,-133.1618 48.1587,-132.9498\"/>\n",
- "<text text-anchor=\"middle\" x=\"67\" y=\"-177.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge22\" class=\"edge\"><title>B->A</title>\n",
+ "<path fill=\"none\" stroke=\"black\" d=\"M38.7713,-183.572C30.6181,-178.086 22.6507,-170.905 18.1304,-162 13.6914,-153.255 16.1311,-143.574 20.895,-134.904\"/>\n",
+ "<polygon fill=\"black\" stroke=\"black\" points=\"23.9668,-136.601 26.51,-126.316 18.108,-132.771 23.9668,-136.601\"/>\n",
+ "<text text-anchor=\"middle\" x=\"38.4348\" y=\"-148.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- E -->\n",
- "<g id=\"node4\" class=\"node\">\n",
- "<title>E</title>\n",
- "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"135,-679 81,-679 81,-643 135,-643 135,-679\"/>\n",
- "<text text-anchor=\"middle\" x=\"108\" y=\"-657.3\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">E</text>\n",
+ "<g id=\"node7\" class=\"node\"><title>E</title>\n",
+ "<polygon fill=\"#efdf84\" stroke=\"#efdf84\" points=\"123,-486 69,-486 69,-450 123,-450 123,-486\"/>\n",
+ "<text text-anchor=\"middle\" x=\"96\" y=\"-463.8\" font-family=\"Times,serif\" font-size=\"14.00\">E</text>\n",
"</g>\n",
"<!-- E->ROOT-NODE -->\n",
- "<g id=\"edge4\" class=\"edge\">\n",
- "<title>E->ROOT-NODE</title>\n",
- "<path fill=\"none\" stroke=\"#473c8b\" d=\"M135.0225,-657.0423C166.4277,-650.7368 214,-635.1384 214,-598.5 214,-598.5 214,-598.5 214,-105 214,-76.4442 190.4902,-52.7404 169.6221,-37.3248\"/>\n",
- "<polygon fill=\"#473c8b\" stroke=\"#473c8b\" points=\"171.4135,-34.3063 161.2155,-31.434 167.3965,-40.039 171.4135,-34.3063\"/>\n",
- "<text text-anchor=\"middle\" x=\"219.5\" y=\"-363.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">in</text>\n",
+ "<g id=\"edge8\" class=\"edge\"><title>E->ROOT-NODE</title>\n",
+ "<path fill=\"none\" stroke=\"#473c8b\" d=\"M123.326,-462.499C164.068,-454.052 236,-431.68 236,-379 236,-379 236,-379 236,-107 236,-76.2859 208.894,-52.07 185.478,-36.8807\"/>\n",
+ "<polygon fill=\"#473c8b\" stroke=\"#473c8b\" points=\"187.099,-33.7685 176.748,-31.5064 183.429,-39.7294 187.099,-33.7685\"/>\n",
+ "<text text-anchor=\"middle\" x=\"241.445\" y=\"-238.8\" font-family=\"Times,serif\" font-size=\"14.00\">in</text>\n",
"</g>\n",
"<!-- E->D -->\n",
- "<g id=\"edge7\" class=\"edge\">\n",
- "<title>E->D</title>\n",
- "<path fill=\"none\" stroke=\"#000000\" d=\"M108,-642.8239C108,-622.2723 108,-588.5472 108,-564.4893\"/>\n",
- "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"111.5001,-564.198 108,-554.198 104.5001,-564.198 111.5001,-564.198\"/>\n",
- "<text text-anchor=\"middle\" x=\"127\" y=\"-594.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge14\" class=\"edge\"><title>E->D</title>\n",
+ "<path fill=\"none\" stroke=\"black\" d=\"M78.0466,-449.992C73.6173,-444.698 69.4737,-438.523 67.1304,-432 64.4259,-424.471 64.4259,-421.529 67.1304,-414 68.3387,-410.636 70.0256,-407.366 71.9835,-404.26\"/>\n",
+ "<polygon fill=\"black\" stroke=\"black\" points=\"74.9463,-406.139 78.0466,-396.008 69.3052,-401.994 74.9463,-406.139\"/>\n",
+ "<text text-anchor=\"middle\" x=\"87.4348\" y=\"-418.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- E->B -->\n",
- "<g id=\"edge8\" class=\"edge\">\n",
- "<title>E->B</title>\n",
- "<path fill=\"none\" stroke=\"#000000\" d=\"M80.8653,-650.8975C59.7458,-641.0746 34,-623.8926 34,-598.5 34,-598.5 34,-598.5 34,-334.5 34,-317.6487 39.3672,-299.6273 45.0254,-285.311\"/>\n",
- "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"48.2692,-286.6261 48.9266,-276.0516 41.8184,-283.9081 48.2692,-286.6261\"/>\n",
- "<text text-anchor=\"middle\" x=\"53\" y=\"-469.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge16\" class=\"edge\"><title>E->B</title>\n",
+ "<path fill=\"none\" stroke=\"black\" d=\"M74.991,-449.938C69.9108,-444.726 65.0673,-438.608 62,-432 24.927,-352.13 40.7417,-320.893 55,-234 55.4393,-231.323 56.0369,-228.568 56.728,-225.834\"/>\n",
+ "<polygon fill=\"black\" stroke=\"black\" points=\"60.095,-226.79 59.5248,-216.211 53.3731,-224.837 60.095,-226.79\"/>\n",
+ "<text text-anchor=\"middle\" x=\"59.4348\" y=\"-328.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- C->ROOT-NODE -->\n",
- "<g id=\"edge5\" class=\"edge\">\n",
- "<title>C->ROOT-NODE</title>\n",
- "<path fill=\"none\" stroke=\"#473c8b\" d=\"M119.513,-392.9152C127.9731,-377.8831 138,-355.6137 138,-334.5 138,-334.5 138,-334.5 138,-105 138,-85.5475 138,-63.6484 138,-46.6877\"/>\n",
- "<polygon fill=\"#473c8b\" stroke=\"#473c8b\" points=\"141.5001,-46.3305 138,-36.3306 134.5001,-46.3306 141.5001,-46.3305\"/>\n",
- "<text text-anchor=\"middle\" x=\"143.5\" y=\"-210.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">in</text>\n",
+ "<g id=\"edge10\" class=\"edge\"><title>C->ROOT-NODE</title>\n",
+ "<path fill=\"none\" stroke=\"#473c8b\" d=\"M101.255,-269.771C110.014,-240.488 127.658,-179.019 138,-126 143.278,-98.9435 147.113,-67.6411 149.421,-45.9119\"/>\n",
+ "<polygon fill=\"#473c8b\" stroke=\"#473c8b\" points=\"152.921,-46.0899 150.46,-35.785 145.958,-45.3757 152.921,-46.0899\"/>\n",
+ "<text text-anchor=\"middle\" x=\"140.445\" y=\"-148.8\" font-family=\"Times,serif\" font-size=\"14.00\">in</text>\n",
"</g>\n",
"<!-- C->B -->\n",
- "<g id=\"edge10\" class=\"edge\">\n",
- "<title>C->B</title>\n",
- "<path fill=\"none\" stroke=\"#000000\" d=\"M102.068,-392.8481C93.4224,-366.3925 77.2862,-317.0157 67.1226,-285.9152\"/>\n",
- "<polygon fill=\"#000000\" stroke=\"#000000\" points=\"70.3575,-284.5464 63.9243,-276.1283 63.7038,-286.7208 70.3575,-284.5464\"/>\n",
- "<text text-anchor=\"middle\" x=\"103\" y=\"-330.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge20\" class=\"edge\"><title>C->B</title>\n",
+ "<path fill=\"none\" stroke=\"black\" d=\"M73.655,-269.85C68.5813,-264.716 63.8814,-258.659 61.1304,-252 57.8195,-243.986 57.5904,-234.725 58.6285,-226.209\"/>\n",
+ "<polygon fill=\"black\" stroke=\"black\" points=\"62.081,-226.785 60.4014,-216.324 55.191,-225.549 62.081,-226.785\"/>\n",
+ "<text text-anchor=\"middle\" x=\"81.4348\" y=\"-238.8\" font-family=\"Times,serif\" font-size=\"14.00\">attacks</text>\n",
"</g>\n",
"<!-- A->ROOT-NODE -->\n",
- "<g id=\"edge6\" class=\"edge\">\n",
- "<title>A->ROOT-NODE</title>\n",
- "<path fill=\"none\" stroke=\"#473c8b\" d=\"M52.1218,-86.9255C57.5042,-76.3999 65.3475,-63.3952 75,-54 82.4474,-46.7512 91.6376,-40.4356 100.6738,-35.2047\"/>\n",
- "<polygon fill=\"#473c8b\" stroke=\"#473c8b\" points=\"102.4864,-38.2029 109.5885,-30.3409 99.1337,-32.058 102.4864,-38.2029\"/>\n",
- "<text text-anchor=\"middle\" x=\"80.5\" y=\"-57.8\" font-family=\"Times,serif\" font-size=\"14.00\" fill=\"#000000\">in</text>\n",
+ "<g id=\"edge12\" class=\"edge\"><title>A->ROOT-NODE</title>\n",
+ "<path fill=\"none\" stroke=\"#473c8b\" d=\"M52.5196,-89.5497C59.3302,-78.3 69.3507,-63.9648 81.1094,-54 90.1802,-46.313 101.229,-39.8208 111.879,-34.5948\"/>\n",
+ "<polygon fill=\"#473c8b\" stroke=\"#473c8b\" points=\"113.476,-37.7124 121.076,-30.3302 110.531,-31.362 113.476,-37.7124\"/>\n",
+ "<text text-anchor=\"middle\" x=\"87.4453\" y=\"-58.8\" font-family=\"Times,serif\" font-size=\"14.00\">in</text>\n",
"</g>\n",
"</g>\n",
"</svg>"
@@ -737,7 +684,7 @@
"<Dot visualization: state_as_graph []>"
]
},
- "execution_count": 14,
+ "execution_count": 54,
"metadata": {},
"output_type": "execute_result"
}
@@ -771,7 +718,7 @@
},
{
"cell_type": "code",
- "execution_count": 15,
+ "execution_count": 55,
"metadata": {},
"outputs": [
{
@@ -780,13 +727,13 @@
"Loaded machine: ArgumentationAsSets"
]
},
- "execution_count": 15,
+ "execution_count": 55,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
- "::load DOT=/usr/bin/dot\n",
+ "::load\n",
"MACHINE ArgumentationAsSets\n",
"DEFINITIONS\n",
" CUSTOM_GRAPH_NODES == (in * {\"green\"}) \\/ (out * {\"red\"}) \\/ (undec * {\"orange\"});\n",
@@ -819,7 +766,7 @@
},
{
"cell_type": "code",
- "execution_count": 16,
+ "execution_count": 56,
"metadata": {},
"outputs": [
{
@@ -828,7 +775,7 @@
"Machine constants set up using operation 0: $setup_constants()"
]
},
- "execution_count": 16,
+ "execution_count": 56,
"metadata": {},
"output_type": "execute_result"
}
@@ -839,7 +786,7 @@
},
{
"cell_type": "code",
- "execution_count": 17,
+ "execution_count": 57,
"metadata": {},
"outputs": [
{
@@ -848,7 +795,7 @@
"Machine initialised using operation 1: $initialise_machine()"
]
},
- "execution_count": 17,
+ "execution_count": 57,
"metadata": {},
"output_type": "execute_result"
}
@@ -859,7 +806,7 @@
},
{
"cell_type": "code",
- "execution_count": 18,
+ "execution_count": 58,
"metadata": {},
"outputs": [
{
@@ -882,7 +829,7 @@
"E\tD\n"
]
},
- "execution_count": 18,
+ "execution_count": 58,
"metadata": {},
"output_type": "execute_result"
}
@@ -893,7 +840,7 @@
},
{
"cell_type": "code",
- "execution_count": 19,
+ "execution_count": 59,
"metadata": {},
"outputs": [
{
@@ -902,78 +849,68 @@
"<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
"<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
" \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
- "<!-- Generated by graphviz version 2.40.1 (20161225.0304)\n",
+ "<!-- Generated by graphviz version 2.28.0 (20110509.1545)\n",
" -->\n",
"<!-- Title: prob_graph Pages: 1 -->\n",
"<svg width=\"540pt\" height=\"717pt\"\n",
" viewBox=\"0.00 0.00 540.00 717.37\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
- "<g id=\"graph0\" class=\"graph\" transform=\"scale(.9854 .9854) rotate(0) translate(4 724)\">\n",
+ "<g id=\"graph1\" class=\"graph\" transform=\"scale(0.985401 0.985401) rotate(0) translate(4 724)\">\n",
"<title>prob_graph</title>\n",
- "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-724 544,-724 544,4 -4,4\"/>\n",
+ "<polygon fill=\"white\" stroke=\"white\" points=\"-4,5 -4,-724 545,-724 545,5 -4,5\"/>\n",
"<!-- 0 -->\n",
- "<g id=\"node1\" class=\"node\">\n",
- "<title>0</title>\n",
- "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"218.871,-52 164.871,-52 164.871,-16 218.871,-16 218.871,-52\"/>\n",
- "<text text-anchor=\"middle\" x=\"191.871\" y=\"-30.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">A</text>\n",
+ "<g id=\"node1\" class=\"node\"><title>0</title>\n",
+ "<polygon fill=\"green\" stroke=\"green\" points=\"195.034,-52 141.034,-52 141.034,-16 195.034,-16 195.034,-52\"/>\n",
+ "<text text-anchor=\"middle\" x=\"168.034\" y=\"-30.4\" font-family=\"Times,serif\" font-size=\"12.00\">A</text>\n",
"</g>\n",
"<!-- 1 -->\n",
- "<g id=\"node2\" class=\"node\">\n",
- "<title>1</title>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"218.871,-215 164.871,-215 164.871,-179 218.871,-179 218.871,-215\"/>\n",
- "<text text-anchor=\"middle\" x=\"191.871\" y=\"-193.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">B</text>\n",
+ "<g id=\"node2\" class=\"node\"><title>1</title>\n",
+ "<polygon fill=\"red\" stroke=\"red\" points=\"195.034,-215 141.034,-215 141.034,-179 195.034,-179 195.034,-215\"/>\n",
+ "<text text-anchor=\"middle\" x=\"168.034\" y=\"-193.4\" font-family=\"Times,serif\" font-size=\"12.00\">B</text>\n",
"</g>\n",
"<!-- 1->0 -->\n",
- "<g id=\"edge1\" class=\"edge\">\n",
- "<title>1->0</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M191.871,-178.9334C191.871,-150.6612 191.871,-95.7364 191.871,-62.2173\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"195.3711,-62.1475 191.871,-52.1476 188.3711,-62.1476 195.3711,-62.1475\"/>\n",
- "<text text-anchor=\"middle\" x=\"208.371\" y=\"-112.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge2\" class=\"edge\"><title>1->0</title>\n",
+ "<path fill=\"none\" stroke=\"blue\" d=\"M168.034,-178.77C168.034,-150.929 168.034,-95.8132 168.034,-62.4976\"/>\n",
+ "<polygon fill=\"blue\" stroke=\"blue\" points=\"171.535,-62.1059 168.034,-52.1059 164.535,-62.106 171.535,-62.1059\"/>\n",
+ "<text text-anchor=\"middle\" x=\"184.693\" y=\"-112.4\" font-family=\"Times,serif\" font-size=\"12.00\">attacks</text>\n",
"</g>\n",
"<!-- 2 -->\n",
- "<g id=\"node3\" class=\"node\">\n",
- "<title>2</title>\n",
- "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"409.871,-378 355.871,-378 355.871,-342 409.871,-342 409.871,-378\"/>\n",
- "<text text-anchor=\"middle\" x=\"382.871\" y=\"-356.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">C</text>\n",
+ "<g id=\"node3\" class=\"node\"><title>2</title>\n",
+ "<polygon fill=\"green\" stroke=\"green\" points=\"399.034,-378 345.034,-378 345.034,-342 399.034,-342 399.034,-378\"/>\n",
+ "<text text-anchor=\"middle\" x=\"372.034\" y=\"-356.4\" font-family=\"Times,serif\" font-size=\"12.00\">C</text>\n",
"</g>\n",
"<!-- 2->1 -->\n",
- "<g id=\"edge2\" class=\"edge\">\n",
- "<title>2->1</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M361.7009,-341.9334C327.4248,-312.682 259.7171,-254.9001 220.9473,-221.8138\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"223.0146,-218.9768 213.1359,-215.1476 218.4705,-224.3014 223.0146,-218.9768\"/>\n",
- "<text text-anchor=\"middle\" x=\"309.371\" y=\"-275.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge4\" class=\"edge\"><title>2->1</title>\n",
+ "<path fill=\"none\" stroke=\"blue\" d=\"M350.203,-341.77C313.469,-312.779 239.262,-254.214 197.791,-221.484\"/>\n",
+ "<polygon fill=\"blue\" stroke=\"blue\" points=\"199.727,-218.554 189.709,-215.106 195.391,-224.049 199.727,-218.554\"/>\n",
+ "<text text-anchor=\"middle\" x=\"292.693\" y=\"-275.4\" font-family=\"Times,serif\" font-size=\"12.00\">attacks</text>\n",
"</g>\n",
"<!-- 3 -->\n",
- "<g id=\"node4\" class=\"node\">\n",
- "<title>3</title>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"409.871,-541 355.871,-541 355.871,-505 409.871,-505 409.871,-541\"/>\n",
- "<text text-anchor=\"middle\" x=\"382.871\" y=\"-519.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">D</text>\n",
+ "<g id=\"node4\" class=\"node\"><title>3</title>\n",
+ "<polygon fill=\"red\" stroke=\"red\" points=\"399.034,-541 345.034,-541 345.034,-505 399.034,-505 399.034,-541\"/>\n",
+ "<text text-anchor=\"middle\" x=\"372.034\" y=\"-519.4\" font-family=\"Times,serif\" font-size=\"12.00\">D</text>\n",
"</g>\n",
"<!-- 3->2 -->\n",
- "<g id=\"edge3\" class=\"edge\">\n",
- "<title>3->2</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M382.871,-504.9334C382.871,-476.6612 382.871,-421.7364 382.871,-388.2173\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"386.3711,-388.1475 382.871,-378.1476 379.3711,-388.1476 386.3711,-388.1475\"/>\n",
- "<text text-anchor=\"middle\" x=\"399.371\" y=\"-437.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge6\" class=\"edge\"><title>3->2</title>\n",
+ "<path fill=\"none\" stroke=\"blue\" d=\"M372.034,-504.77C372.034,-476.929 372.034,-421.813 372.034,-388.498\"/>\n",
+ "<polygon fill=\"blue\" stroke=\"blue\" points=\"375.535,-388.106 372.034,-378.106 368.535,-388.106 375.535,-388.106\"/>\n",
+ "<text text-anchor=\"middle\" x=\"388.693\" y=\"-437.4\" font-family=\"Times,serif\" font-size=\"12.00\">attacks</text>\n",
"</g>\n",
"<!-- 4 -->\n",
- "<g id=\"node5\" class=\"node\">\n",
- "<title>4</title>\n",
- "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"183.871,-704 129.871,-704 129.871,-668 183.871,-668 183.871,-704\"/>\n",
- "<text text-anchor=\"middle\" x=\"156.871\" y=\"-682.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">E</text>\n",
+ "<g id=\"node5\" class=\"node\"><title>4</title>\n",
+ "<polygon fill=\"green\" stroke=\"green\" points=\"195.034,-704 141.034,-704 141.034,-668 195.034,-668 195.034,-704\"/>\n",
+ "<text text-anchor=\"middle\" x=\"168.034\" y=\"-682.4\" font-family=\"Times,serif\" font-size=\"12.00\">E</text>\n",
"</g>\n",
"<!-- 4->1 -->\n",
- "<g id=\"edge4\" class=\"edge\">\n",
- "<title>4->1</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M158.1791,-667.7231C163.4859,-593.5804 183.4298,-314.935 189.8596,-225.1017\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"193.3519,-225.3332 190.5748,-215.1089 186.3698,-224.8334 193.3519,-225.3332\"/>\n",
- "<text text-anchor=\"middle\" x=\"190.371\" y=\"-437.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge8\" class=\"edge\"><title>4->1</title>\n",
+ "<path fill=\"none\" stroke=\"blue\" d=\"M168.034,-667.953C168.034,-595.713 168.034,-314.467 168.034,-225.288\"/>\n",
+ "<polygon fill=\"blue\" stroke=\"blue\" points=\"171.535,-225.161 168.034,-215.161 164.535,-225.161 171.535,-225.161\"/>\n",
+ "<text text-anchor=\"middle\" x=\"184.693\" y=\"-437.4\" font-family=\"Times,serif\" font-size=\"12.00\">attacks</text>\n",
"</g>\n",
"<!-- 4->3 -->\n",
- "<g id=\"edge5\" class=\"edge\">\n",
- "<title>4->3</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M181.9204,-667.9334C222.732,-638.4985 303.5994,-580.1737 349.3262,-547.1938\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"351.6461,-549.836 357.7093,-541.1476 347.5513,-544.1586 351.6461,-549.836\"/>\n",
- "<text text-anchor=\"middle\" x=\"292.371\" y=\"-600.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">attacks</text>\n",
+ "<g id=\"edge10\" class=\"edge\"><title>4->3</title>\n",
+ "<path fill=\"none\" stroke=\"blue\" d=\"M189.866,-667.77C226.6,-638.779 300.807,-580.214 342.278,-547.484\"/>\n",
+ "<polygon fill=\"blue\" stroke=\"blue\" points=\"344.678,-550.049 350.36,-541.106 340.342,-544.554 344.678,-550.049\"/>\n",
+ "<text text-anchor=\"middle\" x=\"292.693\" y=\"-600.4\" font-family=\"Times,serif\" font-size=\"12.00\">attacks</text>\n",
"</g>\n",
"</g>\n",
"</svg>"
@@ -982,7 +919,7 @@
"<Dot visualization: custom_graph []>"
]
},
- "execution_count": 19,
+ "execution_count": 59,
"metadata": {},
"output_type": "execute_result"
}
diff --git a/.ipynb_checkpoints/Bridges_Puzzle-checkpoint.ipynb b/.ipynb_checkpoints/Bridges_Puzzle-checkpoint.ipynb
index 640d397..4c917ef 100644
--- a/.ipynb_checkpoints/Bridges_Puzzle-checkpoint.ipynb
+++ b/.ipynb_checkpoints/Bridges_Puzzle-checkpoint.ipynb
@@ -6,6 +6,7 @@
"source": [
"# Bridges Puzzle (Hashiwokakero)\n",
"\n",
+ "Use `:help` to get an overview for the jupyter notebook commands. If you need more insight on how to use this tool, consider reading *ProB Jupyter Notebook Overview*.\n",
"\n",
"The [Hashiwokakero](https://en.wikipedia.org/wiki/Hashiwokakero) Puzzle is a logical puzzle where one has to build bridges between islands. The puzzle is also known under the name Ai-Ki-Ai. The puzzles can also be [played online](http://www.puzzle-bridges.com).\n",
"\n",
@@ -41,9 +42,7 @@
"* cs: the conflict set of links which overlap, i.e., one cannot build bridges on both links (a,b) when the pair (a,b) is in cs\n",
"* connected: the set of links on which at least one bridge was built\n",
"\n",
- "The model also sets up the goal constant `sol` which maps every link in `pl` to a number indicating how many bridges are built on it. The model also stipulates that the graph set up by connected generates a fully connected graph.\n",
- "\n",
- "If you need help or want to find out more about jupyter notebook functionalities type in `:help` and `:help COMMAND` for an overview of the commands and a more detailed information about the command."
+ "The model also sets up the goal constant `sol` which maps every link in `pl` to a number indicating how many bridges are built on it. The model also stipulates that the graph set up by connected generates a fully connected graph."
]
},
{
@@ -241,7 +240,7 @@
}
],
"source": [
- "::load DOT=/usr/bin/dot\n",
+ "::load\n",
"MACHINE Bridges\n",
"DEFINITIONS\n",
" MAXBRIDGES==2;\n",
@@ -366,217 +365,99 @@
"cell_type": "code",
"execution_count": 8,
"metadata": {},
+ "outputs": [
+ {
+ "ename": "ProBError",
+ "evalue": "Prolog said no.\nProB returned error messages:\nError: Could not execute command \"/usr/bin/dot\" due to exception: 'Could not access file:'('/usr/bin/dot')",
+ "output_type": "error",
+ "traceback": [
+ "\u001b[1m\u001b[30mError from ProB: \u001b[0m\u001b[1m\u001b[31mProlog said no.\u001b[0m",
+ "\u001b[1m\u001b[31mError: Could not execute command \"/usr/bin/dot\" due to exception: 'Could not access file:'('/usr/bin/dot')\u001b[0m"
+ ]
+ }
+ ],
+ "source": [
+ ":dot custom_graph"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 9,
+ "metadata": {},
+ "outputs": [
+ {
+ "ename": "IndexOutOfBoundsException",
+ "evalue": "Index: 0, Size: 0",
+ "output_type": "error",
+ "traceback": [
+ "\u001b[1m\u001b[31mjava.lang.IndexOutOfBoundsException: Index: 0, Size: 0\u001b[0m"
+ ]
+ }
+ ],
+ "source": [
+ ":dot "
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 1,
+ "metadata": {},
"outputs": [
{
"data": {
- "image/svg+xml": [
- "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
- "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
- " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
- "<!-- Generated by graphviz version 2.40.1 (20161225.0304)\n",
- " -->\n",
- "<!-- Title: prob_graph Pages: 1 -->\n",
- "<svg width=\"540pt\" height=\"717pt\"\n",
- " viewBox=\"0.00 0.00 540.00 717.37\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
- "<g id=\"graph0\" class=\"graph\" transform=\"scale(.9854 .9854) rotate(0) translate(4 724)\">\n",
- "<title>prob_graph</title>\n",
- "<polygon fill=\"#ffffff\" stroke=\"transparent\" points=\"-4,4 -4,-724 544,-724 544,4 -4,4\"/>\n",
- "<!-- 0 -->\n",
- "<g id=\"node1\" class=\"node\">\n",
- "<title>0</title>\n",
- "<polygon fill=\"#d3d3d3\" stroke=\"#d3d3d3\" points=\"145.4659,-698 91.4659,-698 91.4659,-662 145.4659,-662 145.4659,-698\"/>\n",
- "<text text-anchor=\"middle\" x=\"118.4659\" y=\"-676.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(a|->4)</text>\n",
- "</g>\n",
- "<!-- 1 -->\n",
- "<g id=\"node2\" class=\"node\">\n",
- "<title>1</title>\n",
- "<polygon fill=\"#ffff00\" stroke=\"#ffff00\" points=\"220.4659,-538 166.4659,-538 166.4659,-502 220.4659,-502 220.4659,-538\"/>\n",
- "<text text-anchor=\"middle\" x=\"193.4659\" y=\"-516.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(b|->6)</text>\n",
- "</g>\n",
- "<!-- 0->1 -->\n",
- "<g id=\"edge1\" class=\"edge\">\n",
- "<title>0->1</title>\n",
- "<path fill=\"none\" stroke=\"#ff0000\" d=\"M126.9236,-661.957C139.9775,-634.1086 165.1293,-580.4514 180.4941,-547.6731\"/>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"183.8488,-548.7627 184.9241,-538.2226 177.5106,-545.7916 183.8488,-548.7627\"/>\n",
- "</g>\n",
- "<!-- 11 -->\n",
- "<g id=\"node12\" class=\"node\">\n",
- "<title>11</title>\n",
- "<polygon fill=\"#d3d3d3\" stroke=\"#d3d3d3\" points=\"68.4659,-538 14.4659,-538 14.4659,-502 68.4659,-502 68.4659,-538\"/>\n",
- "<text text-anchor=\"middle\" x=\"41.4659\" y=\"-516.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(l|->4)</text>\n",
- "</g>\n",
- "<!-- 0->11 -->\n",
- "<g id=\"edge2\" class=\"edge\">\n",
- "<title>0->11</title>\n",
- "<path fill=\"none\" stroke=\"#ff0000\" d=\"M109.7827,-661.957C96.3229,-633.9886 70.3353,-579.9884 54.5802,-547.2504\"/>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"57.7258,-545.7156 50.2355,-538.2226 51.4182,-548.7512 57.7258,-545.7156\"/>\n",
- "</g>\n",
- "<!-- 2 -->\n",
- "<g id=\"node3\" class=\"node\">\n",
- "<title>2</title>\n",
- "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"220.4659,-378 166.4659,-378 166.4659,-342 220.4659,-342 220.4659,-378\"/>\n",
- "<text text-anchor=\"middle\" x=\"193.4659\" y=\"-356.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(c|->3)</text>\n",
- "</g>\n",
- "<!-- 1->2 -->\n",
- "<g id=\"edge3\" class=\"edge\">\n",
- "<title>1->2</title>\n",
- "<path fill=\"none\" stroke=\"#ff0000\" d=\"M193.4659,-501.957C193.4659,-474.3487 193.4659,-421.3746 193.4659,-388.5255\"/>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"196.966,-388.2225 193.4659,-378.2226 189.966,-388.2226 196.966,-388.2225\"/>\n",
- "</g>\n",
- "<!-- 6 -->\n",
- "<g id=\"node7\" class=\"node\">\n",
- "<title>6</title>\n",
- "<polygon fill=\"#ffff00\" stroke=\"#ffff00\" points=\"330.4659,-378 276.4659,-378 276.4659,-342 330.4659,-342 330.4659,-378\"/>\n",
- "<text text-anchor=\"middle\" x=\"303.4659\" y=\"-356.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(g|->6)</text>\n",
- "</g>\n",
- "<!-- 1->6 -->\n",
- "<g id=\"edge4\" class=\"edge\">\n",
- "<title>1->6</title>\n",
- "<path fill=\"none\" stroke=\"#ff0000\" d=\"M205.8705,-501.957C225.1813,-473.8685 262.5429,-419.5244 285.0202,-386.8301\"/>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"288.1567,-388.4459 290.9379,-378.2226 282.3884,-384.4801 288.1567,-388.4459\"/>\n",
- "</g>\n",
- "<!-- 9 -->\n",
- "<g id=\"node10\" class=\"node\">\n",
- "<title>9</title>\n",
- "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"220.4659,-218 166.4659,-218 166.4659,-182 220.4659,-182 220.4659,-218\"/>\n",
- "<text text-anchor=\"middle\" x=\"193.4659\" y=\"-196.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(j|->3)</text>\n",
- "</g>\n",
- "<!-- 2->9 -->\n",
- "<g id=\"edge5\" class=\"edge\">\n",
- "<title>2->9</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M193.4659,-341.957C193.4659,-314.3487 193.4659,-261.3746 193.4659,-228.5255\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"196.966,-228.2225 193.4659,-218.2226 189.966,-228.2226 196.966,-228.2225\"/>\n",
- "</g>\n",
- "<!-- 3 -->\n",
- "<g id=\"node4\" class=\"node\">\n",
- "<title>3</title>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"470.4659,-698 416.4659,-698 416.4659,-662 470.4659,-662 470.4659,-698\"/>\n",
- "<text text-anchor=\"middle\" x=\"443.4659\" y=\"-676.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(d|->1)</text>\n",
- "</g>\n",
- "<!-- 4 -->\n",
- "<g id=\"node5\" class=\"node\">\n",
- "<title>4</title>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"525.4659,-538 471.4659,-538 471.4659,-502 525.4659,-502 525.4659,-538\"/>\n",
- "<text text-anchor=\"middle\" x=\"498.4659\" y=\"-516.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(e|->2)</text>\n",
- "</g>\n",
- "<!-- 3->4 -->\n",
- "<g id=\"edge6\" class=\"edge\">\n",
- "<title>3->4</title>\n",
- "<path fill=\"none\" stroke=\"#f2f2f2\" d=\"M449.6682,-661.957C459.1998,-634.2286 477.5269,-580.9135 488.8072,-548.0982\"/>\n",
- "<polygon fill=\"#f2f2f2\" stroke=\"#f2f2f2\" points=\"492.2609,-548.8172 492.2019,-538.2226 485.6411,-546.5416 492.2609,-548.8172\"/>\n",
- "</g>\n",
- "<!-- 5 -->\n",
- "<g id=\"node6\" class=\"node\">\n",
- "<title>5</title>\n",
- "<polygon fill=\"#d3d3d3\" stroke=\"#d3d3d3\" points=\"415.4659,-538 361.4659,-538 361.4659,-502 415.4659,-502 415.4659,-538\"/>\n",
- "<text text-anchor=\"middle\" x=\"388.4659\" y=\"-516.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(f|->4)</text>\n",
- "</g>\n",
- "<!-- 3->5 -->\n",
- "<g id=\"edge7\" class=\"edge\">\n",
- "<title>3->5</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M437.2636,-661.957C427.732,-634.2286 409.4049,-580.9135 398.1246,-548.0982\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"401.2907,-546.5416 394.7299,-538.2226 394.6709,-548.8172 401.2907,-546.5416\"/>\n",
- "</g>\n",
- "<!-- 7 -->\n",
- "<g id=\"node8\" class=\"node\">\n",
- "<title>7</title>\n",
- "<polygon fill=\"#d3d3d3\" stroke=\"#d3d3d3\" points=\"330.4659,-218 276.4659,-218 276.4659,-182 330.4659,-182 330.4659,-218\"/>\n",
- "<text text-anchor=\"middle\" x=\"303.4659\" y=\"-196.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(h|->4)</text>\n",
- "</g>\n",
- "<!-- 4->7 -->\n",
- "<g id=\"edge8\" class=\"edge\">\n",
- "<title>4->7</title>\n",
- "<path fill=\"none\" stroke=\"#ff0000\" d=\"M496.7918,-501.8486C493.0204,-468.205 481.6125,-394.7891 450.4659,-342 421.5426,-292.979 371.1514,-249.6391 337.5509,-224.107\"/>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"339.498,-221.1927 329.3935,-218.0069 335.3059,-226.7986 339.498,-221.1927\"/>\n",
- "</g>\n",
- "<!-- 5->6 -->\n",
- "<g id=\"edge10\" class=\"edge\">\n",
- "<title>5->6</title>\n",
- "<path fill=\"none\" stroke=\"#ff0000\" d=\"M378.8806,-501.957C364.0223,-473.9886 335.3347,-419.9884 317.9427,-387.2504\"/>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"320.9292,-385.4117 313.1466,-378.2226 314.7473,-388.6958 320.9292,-385.4117\"/>\n",
- "</g>\n",
- "<!-- 10 -->\n",
- "<g id=\"node11\" class=\"node\">\n",
- "<title>10</title>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"441.4659,-378 387.4659,-378 387.4659,-342 441.4659,-342 441.4659,-378\"/>\n",
- "<text text-anchor=\"middle\" x=\"414.4659\" y=\"-356.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(k|->1)</text>\n",
- "</g>\n",
- "<!-- 5->10 -->\n",
- "<g id=\"edge9\" class=\"edge\">\n",
- "<title>5->10</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M391.3979,-501.957C395.9038,-474.2286 404.5675,-420.9135 409.9,-388.0982\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"413.3554,-388.6545 411.5047,-378.2226 406.446,-387.5317 413.3554,-388.6545\"/>\n",
- "</g>\n",
- "<!-- 6->7 -->\n",
- "<g id=\"edge11\" class=\"edge\">\n",
- "<title>6->7</title>\n",
- "<path fill=\"none\" stroke=\"#ff0000\" d=\"M303.4659,-341.957C303.4659,-314.3487 303.4659,-261.3746 303.4659,-228.5255\"/>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"306.966,-228.2225 303.4659,-218.2226 299.966,-228.2226 306.966,-228.2225\"/>\n",
- "</g>\n",
- "<!-- 13 -->\n",
- "<g id=\"node14\" class=\"node\">\n",
- "<title>13</title>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"220.4659,-58 166.4659,-58 166.4659,-22 220.4659,-22 220.4659,-58\"/>\n",
- "<text text-anchor=\"middle\" x=\"193.4659\" y=\"-36.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(n|->2)</text>\n",
- "</g>\n",
- "<!-- 7->13 -->\n",
- "<g id=\"edge12\" class=\"edge\">\n",
- "<title>7->13</title>\n",
- "<path fill=\"none\" stroke=\"#f2f2f2\" d=\"M291.0613,-181.957C271.7505,-153.8685 234.3889,-99.5244 211.9116,-66.8301\"/>\n",
- "<polygon fill=\"#f2f2f2\" stroke=\"#f2f2f2\" points=\"214.5434,-64.4801 205.9939,-58.2226 208.7751,-68.4459 214.5434,-64.4801\"/>\n",
- "</g>\n",
- "<!-- 8 -->\n",
- "<g id=\"node9\" class=\"node\">\n",
- "<title>8</title>\n",
- "<polygon fill=\"#00ff00\" stroke=\"#00ff00\" points=\"109.4659,-378 55.4659,-378 55.4659,-342 109.4659,-342 109.4659,-378\"/>\n",
- "<text text-anchor=\"middle\" x=\"82.4659\" y=\"-356.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(i|->3)</text>\n",
- "</g>\n",
- "<!-- 8->9 -->\n",
- "<g id=\"edge14\" class=\"edge\">\n",
- "<title>8->9</title>\n",
- "<path fill=\"none\" stroke=\"#ff0000\" d=\"M94.9833,-341.957C114.4696,-313.8685 152.1709,-259.5244 174.8525,-226.8301\"/>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"177.9996,-228.434 180.824,-218.2226 172.2481,-224.4439 177.9996,-228.434\"/>\n",
- "</g>\n",
- "<!-- 12 -->\n",
- "<g id=\"node13\" class=\"node\">\n",
- "<title>12</title>\n",
- "<polygon fill=\"#ffa500\" stroke=\"#ffa500\" points=\"109.4659,-218 55.4659,-218 55.4659,-182 109.4659,-182 109.4659,-218\"/>\n",
- "<text text-anchor=\"middle\" x=\"82.4659\" y=\"-196.9\" font-family=\"Times,serif\" font-size=\"12.00\" fill=\"#000000\">(m|->5)</text>\n",
- "</g>\n",
- "<!-- 8->12 -->\n",
- "<g id=\"edge13\" class=\"edge\">\n",
- "<title>8->12</title>\n",
- "<path fill=\"none\" stroke=\"#0000ff\" d=\"M82.4659,-341.957C82.4659,-314.3487 82.4659,-261.3746 82.4659,-228.5255\"/>\n",
- "<polygon fill=\"#0000ff\" stroke=\"#0000ff\" points=\"85.966,-228.2225 82.4659,-218.2226 78.966,-228.2226 85.966,-228.2225\"/>\n",
- "</g>\n",
- "<!-- 11->12 -->\n",
- "<g id=\"edge15\" class=\"edge\">\n",
- "<title>11->12</title>\n",
- "<path fill=\"none\" stroke=\"#ff0000\" d=\"M40.6692,-501.9531C39.5337,-469.6806 38.3962,-400.0254 46.4659,-342 52.0821,-301.6169 64.7818,-256.1256 73.491,-227.7602\"/>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"76.8596,-228.7145 76.4985,-218.1258 70.1776,-226.6285 76.8596,-228.7145\"/>\n",
- "</g>\n",
- "<!-- 12->13 -->\n",
- "<g id=\"edge16\" class=\"edge\">\n",
- "<title>12->13</title>\n",
- "<path fill=\"none\" stroke=\"#ff0000\" d=\"M94.9833,-181.957C114.4696,-153.8685 152.1709,-99.5244 174.8525,-66.8301\"/>\n",
- "<polygon fill=\"#ff0000\" stroke=\"#ff0000\" points=\"177.9996,-68.434 180.824,-58.2226 172.2481,-64.4439 177.9996,-68.434\"/>\n",
- "</g>\n",
- "</g>\n",
- "</svg>"
- ],
"text/plain": [
- "<Dot visualization: custom_graph []>"
+ "ProB CLI: 1.9.1-nightly (e1c6b13036a30115e0fea4fc880887b737b82ce4)\n",
+ "ProB 2: 3.2.12-SNAPSHOT (e73f14155d2b248b99097801ddddfab206c4cf2b)"
]
},
- "execution_count": 8,
+ "execution_count": 1,
"metadata": {},
"output_type": "execute_result"
}
],
+ "source": [
+ ":version"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 11,
+ "metadata": {},
+ "outputs": [
+ {
+ "ename": "ProBError",
+ "evalue": "Prolog said no.\nProB returned error messages:\nError: Could not execute command \"/usr/bin/dot\" due to exception: 'Could not access file:'('/usr/bin/dot')",
+ "output_type": "error",
+ "traceback": [
+ "\u001b[1m\u001b[30mError from ProB: \u001b[0m\u001b[1m\u001b[31mProlog said no.\u001b[0m",
+ "\u001b[1m\u001b[31mError: Could not execute command \"/usr/bin/dot\" due to exception: 'Could not access file:'('/usr/bin/dot')\u001b[0m"
+ ]
+ }
+ ],
"source": [
":dot custom_graph"
]
},
+ {
+ "cell_type": "code",
+ "execution_count": 12,
+ "metadata": {},
+ "outputs": [
+ {
+ "data": {
+ "text/plain": [
+ "DOT = /usr/bin/dot\n"
+ ]
+ },
+ "execution_count": 12,
+ "metadata": {},
+ "output_type": "execute_result"
+ }
+ ],
+ "source": [
+ ":pref DOT"
+ ]
+ },
{
"cell_type": "code",
"execution_count": null,
--
GitLab