Old or Heavy? Decaying Gracefully with Age/Weight Shapes

被引：8

作者：

Rawson, Michael ^{[1
]}

Reger, Giles ^{[1
]}

机构：

[1] Univ Manchester, Manchester, Lancs, England

来源：

AUTOMATED DEDUCTION, CADE 27 | 2019年 / 11716卷

关键词：

D O I：

10.1007/978-3-030-29436-6_27

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Modern saturation theorem provers are based on the given-clause algorithm, which iteratively selects new clauses to process. This clause selection has a large impact on the performance of proof search and has been the subject of much folklore. The standard approach is to alternate between selecting the oldest clause and the lightest clause with a fixed, but configurable age/weight ratio (AWR). An optimal fixed value of this ratio is shown to produce proofs significantly more quickly on a given problem, and further that varying AWR during proof search can improve upon a fixed ratio. Several new modes for the Vampire prover which vary AWR according to a "shape" during proof search are developed based on these observations. The modes solve a number of new problems in the TPTP benchmark set.

引用

页码：462 / 476

页数：15

共 50 条

[1] GROWING OLD GRACEFULLY - AGE CONCEALMENT AND GENDER
HARRIS, MB
[J]. JOURNALS OF GERONTOLOGY, 1994, 49 (04): : P149 - P158
[2] Growing Old Gracefully: The Role of Old Age Pension in Lesotho
Tanga, Pius T.
[J]. PERSPECTIVES ON GLOBAL DEVELOPMENT AND TECHNOLOGY, 2015, 14 (05) : 567 - 583
[3] Growing old gracefully: social dance in the third age
Cooper, L
Thomas, H
[J]. AGEING AND SOCIETY, 2002, 22 : 689 - 708
[4] Growing old gracefully
Lefler, MJ
[J]. NEW SCIENTIST, 2004, 181 (2435) : 30 - 31
[5] GROWING OLD GRACEFULLY
BARRY, HC
[J]. MEDICAL JOURNAL OF AUSTRALIA, 1962, 2 (21) : 850 - &
[6] Growing old gracefully
Cleevely, ST
[J]. MATERIALS WORLD, 2004, 12 (02) : 18 - 19
[7] GROWING OLD GRACEFULLY
BATTEN, LW
[J]. BRITISH MEDICAL JOURNAL, 1977, 2 (6099): : 1418 - 1419
[8] Growing old gracefully
Letonturier, P
[J]. PRESSE MEDICALE, 2002, 31 (25): : 1173 - 1173
[9] Growing old gracefully
Alison Abbott
[J]. Nature, 2004, 428 : 116 - 118
[10] GROWING OLD GRACEFULLY
PITTMAN, T
[J]. BYTE, 1989, 14 (12): : 40 - 40

← 1 2 3 4 5 →