Generating Optimal Code Using Answer Set Programming

被引：1

作者：

Crick, Tom ^{[1
]}

Brain, Martin ^{[1
]}

De Vos, Marina ^{[1
]}

Fitch, John ^{[1
]}

机构：

[1] Univ Bath, Dept Comp Sci, Bath BA2 7AY, Avon, England

来源：

LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS | 2009年 / 5753卷

关键词：

D O I：

10.1007/978-3-642-04238-6_57

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper presents the Total Optimisation using Answer Set Technology (TOAST) system, which can be used to generate optimal code sequences for machine architectures via if technique known as superoptimisation. Answer set programming (ASP) is utilised as the modelling and computational framework for searching over the large. complex search spaces and for proving the functional equivalence of two code sequences. Experimental results are given showing the progress made in solver performance over the previous few years, along with an Outline Of future developments to the system and applications within compiler toolchanis.

引用

页码：554 / 559

页数：6

共 50 条

[1] Generating explanations for answer set programming applications
Trieu, Ly Ly
Son, Tran Can
Pontelli, Enrico
Balduccini, Marcello
[J]. ARTIFICIAL INTELLIGENCE AND MACHINE LEARNING FOR MULTI-DOMAIN OPERATIONS APPLICATIONS III, 2021, 11746
[2] Generating Commonsense Ontologies with Answer Set Programming
Jakob, Stefan
Jahl, Alexander
Baraki, Harun
Geihs, Kurt
[J]. ICAART: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2, 2021, : 538 - 545
[3] Learning Optimal Chain Graphs with Answer Set Programming
Sonntag, Dag
Jarvisalo, Matti
Pena, Jose M.
Hyttinen, Antti
[J]. UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 2015, : 822 - 831
[4] Using criticalities as a heuristic for answer set programming
Sabuncu, O
Alpaslan, FN
Akman, V
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 234 - 246
[5] Role mining using answer set programming
Ye, Wei
Li, Ruixuan
Gu, Xiwu
Li, Yuhua
Wen, Kunmei
[J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2016, 55 : 336 - 343
[6] Explainable Planning Using Answer Set Programming
Van Nguyen
Vasileiou, Stylianos Loukas
Son, Tran Cao
Yeoh, William
[J]. KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 662 - 666
[7] Answer Set Programming
Marek, Victor W.
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2020, 20 (03) : 432 - 434
[8] Answer Set Programming
Janhunen, Tomi
[J]. KUNSTLICHE INTELLIGENZ, 2018, 32 (2-3): : 125 - 131
[9] Answer Set Programming
Schaub, Torsten
[J]. Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012), 2012, : 2 - 2
[10] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming
Banbara, Mutsunori
Inoue, Katsumi
Kaneyuki, Hiromasa
Okimoto, Tenda
Schaub, Torsten
Soh, Takehide
Tamura, Naoyuki
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, 2017, 10377 : 265 - 278

← 1 2 3 4 5 →