No Cover Image

Conference contribution 33 views 2 downloads

An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report / Martin Brain; Tom Crick; Marina De Vos; John Fitch

Proceedings of the 11th International Workshop on Non-Monotonic Reasoning, Issue: IFL-06-04, Pages: 258 - 265

Swansea University Author: Crick, Tom

Abstract

Answer set programming (ASP) is a declarative problem-solving technique that uses the computation of answer set semantics to provide solutions. Despite comprehensive implementations and a strong theoretical basis, ASP has yet to be used for more than a handful of large-scale applications. This paper...

Full description

Published in: Proceedings of the 11th International Workshop on Non-Monotonic Reasoning
ISSN: 1860-8477
Published: Lake District, UK Technische Universität Clausthal 2006
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa43778
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2018-09-12T12:59:42Z
last_indexed 2018-10-15T19:18:03Z
id cronfa43778
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-10-15T15:01:29Z</datestamp><bib-version>v2</bib-version><id>43778</id><entry>2018-09-12</entry><title>An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report</title><alternativeTitle></alternativeTitle><author>Tom Crick</author><firstname>Tom</firstname><surname>Crick</surname><active>true</active><ORCID>0000-0001-5196-9389</ORCID><ethesisStudent>false</ethesisStudent><sid>200c66ef0fc55391f736f6e926fb4b99</sid><email>9971fd6d74987b78a0d7fce128f8c721</email><emailaddr>z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs=</emailaddr><date>2018-09-12</date><deptcode>EDUC</deptcode><abstract>Answer set programming (ASP) is a declarative problem-solving technique that uses the computation of answer set semantics to provide solutions. Despite comprehensive implementations and a strong theoretical basis, ASP has yet to be used for more than a handful of large-scale applications. This paper describes such a large-scale application and presents some preliminary results. The TOAST (Total Optimisation using Answer Set Technology) project seeks to generate optimal machine code for simple, acyclic functions using a technique known as superoptimisation. ASP is used as a scalable computational engine for conducting searches over complex, non-regular do- mains. The experimental results suggest this is a viable approach to the optimisation problem and demonstrates the value of using parallel answer set solvers.</abstract><type>Conference contribution</type><journal>Proceedings of the 11th International Workshop on Non-Monotonic Reasoning</journal><volume/><journalNumber>IFL-06-04</journalNumber><paginationStart>258</paginationStart><paginationEnd>265</paginationEnd><publisher>Technische Universit&#xE4;t Clausthal</publisher><placeOfPublication>Lake District, UK</placeOfPublication><isbnPrint/><isbnElectronic/><issnPrint/><issnElectronic>1860-8477</issnElectronic><keywords></keywords><publishedDay>30</publishedDay><publishedMonth>5</publishedMonth><publishedYear>2006</publishedYear><publishedDate>2006-05-30</publishedDate><doi></doi><url></url><notes>11th International Workshop on Non-Monotonic Reasoning (NMR 2006)</notes><college>College of Arts and Humanities</college><department>School of Education</department><CollegeCode>CAAH</CollegeCode><DepartmentCode>EDUC</DepartmentCode><institution/><researchGroup>None</researchGroup><supervisor/><sponsorsfunders/><grantnumber/><degreelevel/><degreename>None</degreename><lastEdited>2018-10-15T15:01:29Z</lastEdited><Created>2018-09-12T08:16:54Z</Created><path><level id="1">College of Arts and Humanities</level><level id="2">College of Arts and Humanities</level></path><authors><author><firstname>Martin</firstname><surname>Brain</surname><orcid/><order>1</order></author><author><firstname>Tom</firstname><surname>Crick</surname><orcid>0000-0001-5196-9389</orcid><order>2</order></author><author><firstname>Marina</firstname><surname>De Vos</surname><orcid/><order>3</order></author><author><firstname>John</firstname><surname>Fitch</surname><orcid/><order>4</order></author></authors><documents><document><filename>0043778-12092018081829.pdf</filename><originalFilename>NMR-camera-ready.pdf</originalFilename><uploaded>2018-09-12T08:18:29Z</uploaded><type>Output</type><contentLength>91607</contentLength><contentType>application/pdf</contentType><version>AM</version><cronfaStatus>true</cronfaStatus><action>Updated Copyright</action><actionDate>15/10/2018</actionDate><embargoDate>2018-09-12T00:00:00</embargoDate><documentNotes/><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents></rfc1807>
spelling 2018-10-15T15:01:29Z v2 43778 2018-09-12 An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report Tom Crick Tom Crick true 0000-0001-5196-9389 false 200c66ef0fc55391f736f6e926fb4b99 9971fd6d74987b78a0d7fce128f8c721 z93Ri4T5hwMLTfh+6XG11n2HZhUyFASdV1DFdgIIhKs= 2018-09-12 EDUC Answer set programming (ASP) is a declarative problem-solving technique that uses the computation of answer set semantics to provide solutions. Despite comprehensive implementations and a strong theoretical basis, ASP has yet to be used for more than a handful of large-scale applications. This paper describes such a large-scale application and presents some preliminary results. The TOAST (Total Optimisation using Answer Set Technology) project seeks to generate optimal machine code for simple, acyclic functions using a technique known as superoptimisation. ASP is used as a scalable computational engine for conducting searches over complex, non-regular do- mains. The experimental results suggest this is a viable approach to the optimisation problem and demonstrates the value of using parallel answer set solvers. Conference contribution Proceedings of the 11th International Workshop on Non-Monotonic Reasoning IFL-06-04 258 265 Technische Universität Clausthal Lake District, UK 1860-8477 30 5 2006 2006-05-30 11th International Workshop on Non-Monotonic Reasoning (NMR 2006) College of Arts and Humanities School of Education CAAH EDUC None None 2018-10-15T15:01:29Z 2018-09-12T08:16:54Z College of Arts and Humanities College of Arts and Humanities Martin Brain 1 Tom Crick 0000-0001-5196-9389 2 Marina De Vos 3 John Fitch 4 0043778-12092018081829.pdf NMR-camera-ready.pdf 2018-09-12T08:18:29Z Output 91607 application/pdf AM true Updated Copyright 15/10/2018 2018-09-12T00:00:00 true eng
title An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report
spellingShingle An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report
Crick, Tom
title_short An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report
title_full An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report
title_fullStr An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report
title_full_unstemmed An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report
title_sort An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report
author_id_str_mv 200c66ef0fc55391f736f6e926fb4b99
author_id_fullname_str_mv 200c66ef0fc55391f736f6e926fb4b99_***_Crick, Tom
author Crick, Tom
author2 Martin Brain
Tom Crick
Marina De Vos
John Fitch
format Conference contribution
container_title Proceedings of the 11th International Workshop on Non-Monotonic Reasoning
container_issue IFL-06-04
container_start_page 258
publishDate 2006
institution Swansea University
issn 1860-8477
publisher Technische Universität Clausthal
college_str College of Arts and Humanities
hierarchytype
hierarchy_top_id collegeofartsandhumanities
hierarchy_top_title College of Arts and Humanities
hierarchy_parent_id collegeofartsandhumanities
hierarchy_parent_title College of Arts and Humanities
department_str College of Arts and Humanities{{{_:::_}}}College of Arts and Humanities{{{_:::_}}}College of Arts and Humanities
document_store_str 1
active_str 1
description Answer set programming (ASP) is a declarative problem-solving technique that uses the computation of answer set semantics to provide solutions. Despite comprehensive implementations and a strong theoretical basis, ASP has yet to be used for more than a handful of large-scale applications. This paper describes such a large-scale application and presents some preliminary results. The TOAST (Total Optimisation using Answer Set Technology) project seeks to generate optimal machine code for simple, acyclic functions using a technique known as superoptimisation. ASP is used as a scalable computational engine for conducting searches over complex, non-regular do- mains. The experimental results suggest this is a viable approach to the optimisation problem and demonstrates the value of using parallel answer set solvers.
published_date 2006-05-30T06:21:17Z
_version_ 1639462918358564864
score 10.827389