{"id":279,"date":"2009-09-03T16:26:01","date_gmt":"2009-09-03T16:26:01","guid":{"rendered":"https:\/\/www.arg.tech\/?page_id=279"},"modified":"2020-06-22T14:44:44","modified_gmt":"2020-06-22T14:44:44","slug":"dung-o-matic","status":"publish","type":"page","link":"https:\/\/www.arg.tech\/index.php\/research\/dung-o-matic\/","title":{"rendered":"Dung-O-Matic"},"content":{"rendered":"<p style=\"text-align: justify;\">Dung-O-Matic is an abstract argument comptation engine implemented by the javaDungAF class. javaDungAF supports Dung Argumentation Frameworks and several of their semantics\u00a0 &#8211;<\/p>\n<ul style=\"text-align: justify;\">\n<li>admissible<\/li>\n<li>complete<\/li>\n<li>eager<\/li>\n<li>grounded<\/li>\n<li>ideal<\/li>\n<li>preferred<\/li>\n<li>semi-stable<\/li>\n<li>stable<strong><br \/>\n<\/strong><\/li>\n<\/ul>\n<p>javaDungAF is currently just a couple of java classes. Source and documentation are available to <a href=\"\/f\/javaDungAF\/javaDungAF.zip\">download<\/a>, and the documentation can be also be viewed <a href=\"\/f\/javaDungAF\/docs\/\">online<\/a>.<\/p>\n<p style=\"text-align: justify;\">Anyone interested in the automatic interpretation of Dung frameworks should also see <a href=\"https:\/\/dl.acm.org\/doi\/10.5555\/1566134.1566167\">Matt South&#8217;s Dungine<\/a>, a module of his ArgKit library.<\/p>\n<p style=\"text-align: justify;\">You can see javaDungAF in action by using <a href=\"http:\/\/ova.arg-tech.org\/ova-gen\/\">OVAgen<\/a>, which allows you to doodle an abstract framework and then submit it to a web-service version of javaDungAF and ArgKit and visualize the results.<\/p>\n<p style=\"text-align: justify;\"><strong>Acknowledgments<\/strong>. javaDungAF&#8217;s functionality draws on or implements existing algorithms &#8211;<\/p>\n<p>Admissible semantics &#8211;<\/p>\n<p style=\"padding-left: 30px;\">Vreeswijk, G. A. W. (2006) <span style=\"text-decoration: underline;\">An algorithm to compute minimally grounded and admissible defence sets in argument systems<\/span><em> Proceedings of COMMA06<\/em> : 109-120<\/p>\n<p>Grounded semantics &#8211;<\/p>\n<p style=\"padding-left: 30px;\">Dung, P. M. (1995) <span style=\"text-decoration: underline;\">On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games<\/span><em> Artificial Intelligence <\/em>77 : 321-357<\/p>\n<p>The development of javaDungAF was also facilitated by other existing work &#8211;<\/p>\n<p>Ideal Semantics &#8211;<\/p>\n<p style=\"padding-left: 30px;\">Dung, P.M., Mancarella, P. and Toni, F. (2007) <span style=\"text-decoration: underline;\">Computing Ideal Sceptical Argumentation<\/span> <em>Artificial Intelligence <\/em>171 : 642-74<\/p>\n<p>Semi-Stable Semantics &amp; Eager Semantics &#8211;<\/p>\n<p style=\"padding-left: 30px;\">Dung, P.M., Mancarella, P. and Toni, F. (2007) <span style=\"text-decoration: underline;\">Computing Ideal Sceptical Argumentation<\/span> <em>Artificial Intelligence <\/em>171 : 642-74<\/p>\n<p style=\"padding-left: 30px;\">Caminada, M.W.A. (2007) <span style=\"text-decoration: underline;\">Comparing Two Unique Extension Semantics for Formal Argumentation: Ideal and Eager<\/span> <em>Proceedings of BNAIC 2007 <\/em>: 81-87<\/p>\n<p style=\"padding-left: 30px;\">Caminada, M.W.A. (2007) <span style=\"text-decoration: underline;\">An Algorithm for Computing Semi-Stable Semantics<\/span> <em>Proceedings of ECSQARU 2007 <\/em>: 222-234<\/p>\n<p style=\"padding-left: 30px;\">\n<p style=\"padding-left: 90px;\">\n<p style=\"padding-left: 30px;\">\n","protected":false},"excerpt":{"rendered":"<p>Dung-O-Matic is an abstract argument comptation engine implemented by the javaDungAF class. javaDungAF supports Dung Argumentation Frameworks and several of their semantics\u00a0 &#8211; admissible complete eager grounded ideal preferred semi-stable stable javaDungAF is currently just a couple of java classes. Source and documentation are available to download, and the documentation can be also be viewed [&hellip;]<\/p>\n","protected":false},"author":6,"featured_media":0,"parent":96,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-279","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/pages\/279","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\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/comments?post=279"}],"version-history":[{"count":35,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/pages\/279\/revisions"}],"predecessor-version":[{"id":2233,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/pages\/279\/revisions\/2233"}],"up":[{"embeddable":true,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/pages\/96"}],"wp:attachment":[{"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/media?parent=279"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}