No Cover Image

Conference Paper/Proceeding/Abstract 817 views 96 downloads

An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report

Martin Brain, Tom Crick Orcid Logo, 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: Tom Crick Orcid Logo

Check full text

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
first_indexed 2018-09-12T12:59:42Z
last_indexed 2023-01-11T14:20:31Z
id cronfa43778
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-12-18T17:49:36.2142615</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><swanseaauthors><author><sid>200c66ef0fc55391f736f6e926fb4b99</sid><ORCID>0000-0001-5196-9389</ORCID><firstname>Tom</firstname><surname>Crick</surname><name>Tom Crick</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2018-09-12</date><deptcode>SOSS</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 Paper/Proceeding/Abstract</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/><publishedDay>30</publishedDay><publishedMonth>5</publishedMonth><publishedYear>2006</publishedYear><publishedDate>2006-05-30</publishedDate><doi/><url/><notes>11th International Workshop on Non-Monotonic Reasoning (NMR 2006)</notes><college>COLLEGE NANME</college><department>Social Sciences School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SOSS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2022-12-18T17:49:36.2142615</lastEdited><Created>2018-09-12T08:16:54.6274125</Created><path><level id="1">Faculty of Humanities and Social Sciences</level><level id="2">School of Social Sciences - Education and Childhood Studies</level></path><authors><author><firstname>Martin</firstname><surname>Brain</surname><order>1</order></author><author><firstname>Tom</firstname><surname>Crick</surname><orcid>0000-0001-5196-9389</orcid><order>2</order></author><author><firstname>Marina De</firstname><surname>Vos</surname><order>3</order></author><author><firstname>John</firstname><surname>Fitch</surname><order>4</order></author></authors><documents><document><filename>0043778-12092018081829.pdf</filename><originalFilename>NMR-camera-ready.pdf</originalFilename><uploaded>2018-09-12T08:18:29.2900000</uploaded><type>Output</type><contentLength>91607</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2018-09-12T00:00:00.0000000</embargoDate><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling 2022-12-18T17:49:36.2142615 v2 43778 2018-09-12 An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report 200c66ef0fc55391f736f6e926fb4b99 0000-0001-5196-9389 Tom Crick Tom Crick true false 2018-09-12 SOSS 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 Paper/Proceeding/Abstract 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 NANME Social Sciences School COLLEGE CODE SOSS Swansea University 2022-12-18T17:49:36.2142615 2018-09-12T08:16:54.6274125 Faculty of Humanities and Social Sciences School of Social Sciences - Education and Childhood Studies 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:29.2900000 Output 91607 application/pdf Accepted Manuscript true 2018-09-12T00:00:00.0000000 true eng
title An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report
spellingShingle An Application of Answer Set Programming: Superoptimisation -- A Preliminary Report
Tom Crick
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_***_Tom Crick
author Tom Crick
author2 Martin Brain
Tom Crick
Marina De Vos
John Fitch
format Conference Paper/Proceeding/Abstract
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 Faculty of Humanities and Social Sciences
hierarchytype
hierarchy_top_id facultyofhumanitiesandsocialsciences
hierarchy_top_title Faculty of Humanities and Social Sciences
hierarchy_parent_id facultyofhumanitiesandsocialsciences
hierarchy_parent_title Faculty of Humanities and Social Sciences
department_str School of Social Sciences - Education and Childhood Studies{{{_:::_}}}Faculty of Humanities and Social Sciences{{{_:::_}}}School of Social Sciences - Education and Childhood Studies
document_store_str 1
active_str 0
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-30T01:50:07Z
_version_ 1822093117161996288
score 11.048302

Similar Items