Discourse Consistency and Many-Sorted Logic
Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Natural Language. Pages 633-634.
Abstract
We propose the use of a many-sorted logic based on a boolean lattice of sorts, with polymorphic functions and predicates, for natural language understanding. This type of logic provides a unified framework for various problems such as discourse consistency verification, polysemy and "abuses" of terms, syntactic ambiguity solving and anaphora resolution . In addition, this logic enables intelligent diagnosis of categorial constraint violations between predicates and arguments.
Jean Véronis. 1987. Discourse Consistency and Many-Sorted Logic. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 633–634. https://ijcai.org/proceedings/1987/125
Véronis, J. (1987). Discourse Consistency and Many-Sorted Logic. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87 (pp. 633–634). IJCAI. https://ijcai.org/proceedings/1987/125
@inproceedings{ijcai1987p125,
title = {Discourse Consistency and Many-Sorted Logic},
author = {Véronis, Jean},
booktitle = {Proceedings of the Tenth International Joint Conference on
Artificial Intelligence, {IJCAI-87}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John McDermott},
pages = {633--634},
year = {1987},
note = {Natural Language},
url = {https://ijcai.org/proceedings/1987/125},
}
TY - CPAPER TI - Discourse Consistency and Many-Sorted Logic AU - Véronis, Jean T2 - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87 PB - International Joint Conferences on Artificial Intelligence PY - 1987 SP - 633 EP - 634 UR - https://ijcai.org/proceedings/1987/125 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
