基于紧凑性的句子枚举
人工智能
2017-06-22 v1
摘要
本文展示了一个Julia元程序，该程序在数据存在时从中发现紧凑理论。它用Julia编写候选理论，然后进行验证：抛弃坏理论，保留好理论。紧凑性由一个度量来衡量，例如时空导数的数量。底层算法适用于广泛的组合问题，而紧凑性有助于缩减搜索空间。
引用
@article{arxiv.1706.06975,
title = {On the enumeration of sentences by compactness},
author = {Mark A. Stalzer},
journal= {arXiv preprint arXiv:1706.06975},
year = {2017}
}