On the enumeration of sentences by compactness
Artificial Intelligence
2017-06-22 v1
Abstract
Presented is a Julia meta-program that discovers compact theories from data if they exist. It writes candidate theories in Julia and then validates: tossing the bad theories and keeping the good theories. Compactness is measured by a metric: such as the number of space-time derivatives. The underlying algorithm is applicable to a wide variety of combinatorics problems and compactness serves to cut down the search space.
Keywords
Cite
@article{arxiv.1706.06975,
title = {On the enumeration of sentences by compactness},
author = {Mark A. Stalzer},
journal= {arXiv preprint arXiv:1706.06975},
year = {2017}
}