4 |
Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems
|
|
|
|
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01947518 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, Type-theoretical approaches to lexical semantics, 5 (2), pp.229-272. ⟨10.15398/jlm.v5i2.145⟩ (2017)
|
|
BASE
|
|
Show details
|
|
5 |
Copredication in homotopy type theory
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01628150 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
8 |
Copredication In Homotopy Type Theory ...
|
|
|
|
Abstract:
This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume di erent requirements for their arguments are asserted for one single entity, e.g., “the lunch was delicious but took forever”. This paper is particularly concerned with copredication sentences with quanti cation, i.e., cases where the two predicates impose distinct criteria of quanti cation and individuation, e.g., “Fred picked up and mastered three books.” In our solution developed in homotopy type theory and using the rule of existential closure following Heim analysis of inde nites, common nouns are modeled as identi cations of their aspects using HoTT identity types, e.g., the common noun book is modeled as identi cations of its physical and informational aspects. The previous treatments of copredication in systems of semantics which are based on simple type theory and dependent type ...
|
|
Keyword:
Type Theory, Formal Semantics, Copredication, Homotopy Type Theory, Agda
|
|
URL: https://dx.doi.org/10.5281/zenodo.1040953 https://zenodo.org/record/1040953
|
|
BASE
|
|
Hide details
|
|
11 |
Empirische Studien zum Zustandspassiv: Bedeutungsstrukturen und ihre Verarbeitung ...
|
|
|
|
BASE
|
|
Show details
|
|
12 |
Towards efficient string processing of annotated events ; Proceedings of the 13th Joint ISO-ACL Workshop on Interoperable Semantic Annotation (ISA-13)
|
|
|
|
BASE
|
|
Show details
|
|
14 |
Empirische Studien zum Zustandspassiv: Bedeutungsstrukturen und ihre Verarbeitung
|
|
|
|
BASE
|
|
Show details
|
|
|
|