Формальная семантика

. This paper describes the implementation of a Japanese semantic parser based on glue ap- proach. The parser is designed as domain-independent, and produces fully scoped higher-order in- tensional logical …...

. It is well-known that an adjective is not a universal part of speech. As pointed out in the previous researches, many oceanic languages do not have a morphologically distinguished …...

We introduce two ways to detect entail- ment using distributional semantic repre- sentations of phrases. Our first experiment shows that the entailment relation between adjective-noun constructions and their head nouns …...

Studies of gender balance in academic com- puter science are typically based on statistics on enrollment and graduation. Going beyond these coarse measures of gender participation, we conduct a fine-grained …...

AbstractWe introduce a new approach to semantics which combines the benefits of distributional and formal logical semantics. Distributional models have been successful in modelling the meanings of content words, but …...

This paper investigates the formal seman- tics of reduplication in Cantonese, i.e. how the meaning of reduplicated forms are en- coded and computed with the given mean- ing from the …...

AbstractThe lexicon of any natural language encodes a huge number of distinct word meanings. Just to understand this article, you will need to know what thousands of words mean. The …...

Shared Task 1 of SemEval-2014 com- prised two subtasks on the same dataset of sentence pairs: recognizing textual en- tailment and determining textual similar- ity. We used an existing system …...

The interpretation of adjective-noun pairs plays a crucial role in tasks such as rec- ognizing textual entailment. Formal se- mantics often places adjectives into a taxonomy which should dictate adjec- …...

AbstractEllipsis is a natural language phenomenon where part of a sentence is missing and its information must be recovered from its surrounding context, as in “Cats chase dogs and so …...

Solving natural language inference (NLI) with formal semantics and automated theorem proving has the merit of high precision and interpretability. However, they suffer from non-logical inference such as lexical infer- …...