{"id":710,"date":"2019-12-19T10:44:49","date_gmt":"2019-12-19T18:44:49","guid":{"rendered":"https:\/\/www.hmc.edu\/research\/?p=710"},"modified":"2019-12-19T10:44:49","modified_gmt":"2019-12-19T18:44:49","slug":"automatically-solving-deduction-games-via-symbolic-execution-model-counting-and-entropy-maximization","status":"publish","type":"post","link":"https:\/\/www.hmc.edu\/research\/2019\/12\/19\/automatically-solving-deduction-games-via-symbolic-execution-model-counting-and-entropy-maximization\/","title":{"rendered":"Automatically Solving Deduction Games via Symbolic Execution, Model Counting, and Entropy Maximization"},"content":{"rendered":"<p>Mara Downing, Chris Thompson and Professor Lucas Bang had their paper titled \u201cAutomatically Solving Deduction Games via Symbolic Execution, Model Counting, and Entropy Maximization\u201d accepted at the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment Strategy Game Workshop. Mara and Chris designed a DSL for expressing a class of puzzles called \u201cdeduction games,\u201d implemented a symbolic execution engine for it using an automated theorem prover, and then wrote and entropy maximizer that outputs the steps of game solution. The main takeaway is that you can give their system the source code of a game and it will then automatically solve the game, playing it in real time.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Mara Downing, Chris Thompson and Professor Lucas Bang had their paper titled \u201cAutomatically Solving Deduction Games via Symbolic Execution, Model [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[5],"tags":[],"class_list":["post-710","post","type-post","status-publish","format-standard","hentry","category-computer-science"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.hmc.edu\/research\/wp-json\/wp\/v2\/posts\/710","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.hmc.edu\/research\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.hmc.edu\/research\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.hmc.edu\/research\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.hmc.edu\/research\/wp-json\/wp\/v2\/comments?post=710"}],"version-history":[{"count":0,"href":"https:\/\/www.hmc.edu\/research\/wp-json\/wp\/v2\/posts\/710\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.hmc.edu\/research\/wp-json\/wp\/v2\/media?parent=710"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.hmc.edu\/research\/wp-json\/wp\/v2\/categories?post=710"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.hmc.edu\/research\/wp-json\/wp\/v2\/tags?post=710"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}