Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

A Logic with Measurable S… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

A Logic with Measurable Spaces for Natural Language Semantics

Konferensbidrag (offentliggjort, men ej förlagsutgivet)
Författare Jean-Philippe Bernardy
Rasmus Blanck
Aleksandre Maskharashvili
Publicerad i TbiLLC 2019: Thirteenth International Tbilisi Symposium on Language, Logic and Computation,16-20 September 2019.
Publiceringsår 2019
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Språk en
Länkar events.illc.uva.nl/Tbilisi/Tbilisi2...
Ämnesord Logic, Language, Computation, Probability, Measure, Types, Spaces, Decidability, Semantics, Inference
Ämneskategorier Lingvistik, Datorlingvistik, Språkteknologi (språkvetenskaplig databehandling), Matematisk logik, Logik

Sammanfattning

We present a Logic with Measurable Spaces (LMS) and argue that it is suitable to represent the semantics of many natural language phenomena. LMS draws inspiration from several sources. It is decidable (like description logics). It features Sigma spaces (like Martin-Löf type-theory). It internalises the notion of the cardinality (in fact, here, measures) of spaces and ratios thereof, allowing to capture the notion of event probability. In addition, LMS is arguably a concise system. Thanks to all these qualities, we hope that LMS can play a role in the foundations of natural language semantics.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?