Name
Abstract | ||
|---|---|---|
We discuss a new implementation of, and new experiments with, Fajtlowicz's Dalmatian conjecture-making heuristic. Our program makes conjectures about relations of real number invariants of mathematical objects. Conjectures in matrix theory, number theory, and graph theory are reported, together with an experiment in using conjectures to automate game play. The program can be used in a way that, by design, advances mathematical research. These experiments suggest that automated conjecture-making can be a useful ability in the design of machines that can perform a variety of tasks that require intelligence. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1016/j.artint.2015.10.002 | Artificial Intelligence |
Keywords | Field | DocType |
Automated conjecturing,Automated conjecture-making,Mathematical discovery,Automated scientific discovery,Dalmatian heuristic | Graph theory,Discrete mathematics,Independence number,Heuristic,Variable neighborhood search,Matrix (mathematics),Computer science,Invariant (mathematics),Artificial intelligence,Real number,Number theory | Journal |
Volume | Issue | ISSN |
231 | 1 | 0004-3702 |
Citations | PageRank | References |
0 | 0.34 | 34 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Craig E. Larson | 1 | 15 | 4.55 |
| Nicolas Van Cleemput | 2 | 0 | 1.01 |