2000 character limit reached
Detecting truth, just on parts (1802.05875v2)
Published 16 Feb 2018 in cs.AI
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.
Collections
Sign up for free to add this paper to one or more collections.