{"id":1891,"date":"2017-09-22T16:24:20","date_gmt":"2017-09-22T16:24:20","guid":{"rendered":"https:\/\/www.arg.tech\/?page_id=1891"},"modified":"2017-09-22T16:24:20","modified_gmt":"2017-09-22T16:24:20","slug":"example-driven-machine-human-collaboration-in-mathematics","status":"publish","type":"page","link":"https:\/\/www.arg.tech\/index.php\/example-driven-machine-human-collaboration-in-mathematics\/","title":{"rendered":"Example-Driven Machine-Human Collaboration in Mathematics"},"content":{"rendered":"<p><span style=\"font-size: small;\"><a href=\"http:\/\/www.arg-tech.org\/wp-content\/uploads\/2014\/09\/epsrc-logo.png\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-1417 alignleft\" alt=\"epsrc-logo\" src=\"http:\/\/www.arg-tech.org\/wp-content\/uploads\/2014\/09\/epsrc-logo.png\" width=\"131\" height=\"106\" srcset=\"https:\/\/www.arg.tech\/wp-content\/uploads\/2014\/09\/epsrc-logo.png 131w, https:\/\/www.arg.tech\/wp-content\/uploads\/2014\/09\/epsrc-logo-80x65.png 80w\" sizes=\"auto, (max-width: 131px) 100vw, 131px\" \/><\/a>\u00a0<a href=\"http:\/\/staff.computing.dundee.ac.uk\/alisonpease\/\">Alison<\/a> has recently secured funding from <a href=\"http:\/\/www.epsrc.ac.uk\">EPSRC<\/a> on \u201cExample-driven<br \/>\nmachine human collaboration in mathematics\u201d, and work has now begun. In<br \/>\nthis project she will build on investigations into example-use in<br \/>\nmathematics, and employ third party model generators, to design and<br \/>\nbuild a system which can interface to online mathematical conversations.<br \/>\nThis will draw together theories of argumentation, automated reasoning<br \/>\nsystems, and ethnographical, cognitive and philosophical studies of how<br \/>\npeople do mathematics. The prototype system will be evaluated by running<br \/>\nit on mathematical conversations in real-time, and seeing, by a variety<br \/>\nof measures, whether mathematicians regard it as useful, and whether<br \/>\nthey are prepared to interact directly with it. The project<br \/>\n(EP\/P017320\/1)\u00a0will run from May, 2017 \u2013 October, 2018.<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u00a0Alison has recently secured funding from EPSRC on \u201cExample-driven machine human collaboration in mathematics\u201d, and work has now begun. In this project she will build on investigations into example-use in mathematics, and employ third party model generators, to design and build a system which can interface to online mathematical conversations. This will draw together theories [&hellip;]<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1891","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/pages\/1891","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\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/comments?post=1891"}],"version-history":[{"count":2,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/pages\/1891\/revisions"}],"predecessor-version":[{"id":1894,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/pages\/1891\/revisions\/1894"}],"wp:attachment":[{"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/media?parent=1891"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}