Reasoning about distances
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 1275-1281.
Abstract
The paperpresents a novel expressive logic-based formalism intended for reasoning about numerical di stances. We investigate its computational properties (in particular, show that it is EXPTIMEcomplete) and devise a tableau-based satisfiabilitychecking algorithm. To be able to express knowledge about implicit or unknown distances, we then extend the language with variables ranging over distances and prove that the resulting logic is decidable as well.
Frank Wolter, and Michael Zakharyaschev. 2003. Reasoning about distances. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. IJCAI, 1275–1281. https://ijcai.org/proceedings/2003/181
Wolter, F., & Zakharyaschev, M. (2003). Reasoning about distances. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03 (pp. 1275–1281). IJCAI. https://ijcai.org/proceedings/2003/181
@inproceedings{ijcai2003p181,
title = {Reasoning about distances},
author = {Wolter, Frank and Zakharyaschev, Michael},
booktitle = {Proceedings of the Eighteenth International Joint Conference on
Artificial Intelligence, {IJCAI-03}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Georg Gottlob},
pages = {1275--1281},
year = {2003},
url = {https://ijcai.org/proceedings/2003/181},
}
TY - CPAPER TI - Reasoning about distances AU - Wolter, Frank AU - Zakharyaschev, Michael T2 - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03 PB - International Joint Conferences on Artificial Intelligence PY - 2003 SP - 1275 EP - 1281 UR - https://ijcai.org/proceedings/2003/181 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
