Sökning: id:"swepub:oai:gup.ub.gu.se/295604" >
A logic with measur...
A logic with measurable spaces for natural language semantics
-
- Bernardy, Jean-Philippe, 1978 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science
-
- Blanck, Rasmus, 1982 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science
-
- Maskharashvili, Aleksandre, 1987 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science
-
(creator_code:org_t)
- 2020
- 2020
- Engelska.
-
Ingår i: Applied Mathematics, Informatics And Mechanics. - 1512-0074. ; 2020, s. 31-44
- Relaterad länk:
-
https://gup.ub.gu.se...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Språkteknologi (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Language Technology (hsv//eng)
- NATURVETENSKAP -- Matematik -- Algebra och logik (hsv//swe)
- NATURAL SCIENCES -- Mathematics -- Algebra and Logic (hsv//eng)
Publikations- och innehållstyp
- vet (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas