-
Following the presented example, I've managed to create a much smaller graph:
A4 A8
A8 A13 A14
A13 A4
A14 A18
A18 A13 A14
Which incorrectly suggests a single admissible set around A4.
This is a serious problem. The preferred credulous reasoner should not be used until it is fixed.
2009-06-16 20:14:10 UTC by drmsouth
-
Via an email from Nikos:
"The preferred credulous reasoner using the enclosed informal argument source shows only A18 and A8 as green which I assume means that there exists a preferred extension that contains A18 and one that contains A8. But there are only two green arguments, so the possibilities is that there are two preferred extensions with one argument each, or one that contains them...
2009-06-16 20:11:40 UTC by drmsouth
-
drmsouth changed the public information on the ArgKit project.
2009-06-16 12:03:39 UTC by drmsouth
-
drmsouth changed the public information on the ArgKit project.
2009-06-16 12:03:35 UTC by drmsouth
-
drmsouth added a screenshot of GraphEditor is a demo tool to help understand Dungine.
2009-06-03 10:35:57 UTC by drmsouth
-
drmsouth added a screenshot of Right click on an argument to see it\'s valuation reasoning.
2009-06-03 10:35:35 UTC by drmsouth
-
drmsouth added a screenshot of GraphEditor is a demo tool to help understand Dungine.
2009-06-03 10:32:49 UTC by drmsouth
-
closed in 0-2-2. New org.argkit.dung.swing.GraphEditor class created that is now the default class for the project - it replaces ScratchPad that will need to be retired.
2009-06-01 13:14:43 UTC by drmsouth
-
drmsouth committed revision 53 to the ArgKit SVN repository, changing 1 files.
2009-06-01 12:00:51 UTC by drmsouth
-
drmsouth changed the public information on the ArgKit project.
2009-06-01 09:21:18 UTC by drmsouth
