Detecting truth, just on parts
Artificial Intelligence
2018-03-28 v2
Abstract
We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some relevant collections of instances. A rigorous, algorithmic criterion is presented for detecting such cases, and its performance is exemplified through the implementation of this test on the dynamic geometry program GeoGebra.
Cite
@article{arxiv.1802.05875,
title = {Detecting truth, just on parts},
author = {Zoltán Kovács and Tomás Recio and M. Pilar Vélez},
journal= {arXiv preprint arXiv:1802.05875},
year = {2018}
}
Comments
18 pages, 5 figures