1. |
- Bernardy, Jean-Philippe, 1978, et al.
(författare)
-
A logic with measurable spaces for natural language semantics
- 2020
-
Ingår i: Applied Mathematics, Informatics And Mechanics. - 1512-0074. ; 2020, s. 31-44
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- We present a Logic with Measurable Spaces (LMS) and argue that it is suitable to represent the semantics of a number of natural lan- guage phenomena. LMS draws inspiration from several sources. It is decidable (like descriptive logics). It features Sigma spaces (like Martin-Lf type-theory). It internalises the notion of the cardinality (in fact, here, measures) of spaces and ratios thereof, allow- ing to capture the notion of event probability. In addition to being a powerful system, it is also concise and has a precise semantics in terms of integrals. Thanks to all these qualities, we hope that LMS can play a role in the foundations of natural language semantics.
|
|