---
title: "Discourse Consistency and Many-Sorted Logic"
authors:
  - "Jean Véronis"
doi: ""
url: "https://ijcai.org/proceedings/1987/125"
pdf: "https://ijcai.org/proceedings/1987/0125.pdf"
venue: "Proceedings of the Tenth International Joint Conference on Artificial Intelligence"
year: 1987
pages: "633-634"
track: "Natural Language"
keywords:
---

# Discourse Consistency and Many-Sorted Logic

Jean Véronis

*Proceedings of the Tenth International Joint Conference on Artificial Intelligence*, 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.