Zobrazeno 1 - 10
of 226
pro vyhledávání: '"Moot, Richard"'
This paper describes SPINDLE - an open source Python module implementing an efficient and accurate parser for written Dutch that transforms raw text input to programs for meaning composition, expressed as {\lambda} terms. The parser integrates a numb
Externí odkaz:
http://arxiv.org/abs/2302.12050
Autor:
Moot, Richard
Publikováno v:
End-to-End Compositional Models of Vector-Based Semantics, Aug 2022, Galway, Ireland
In this paper I will present a novel way of combining proof net proof search with neural networks. It contrasts with the 'standard' approach which has been applied to proof search in type-logical grammars in various different forms. In the standard a
Externí odkaz:
http://arxiv.org/abs/2211.04141
Autor:
Moot, Richard
We present a proof-theoretic analysis of the logic NL$\lambda$ (Barker \& Shan 2014, Barker 2019). We notably introduce a novel calculus of proof nets and prove it is sound and complete with respect to the sequent calculus for the logic. We study dec
Externí odkaz:
http://arxiv.org/abs/2010.12223
Publikováno v:
Proceedings of the 24th Conference on Computational Natural Language Learning (2020)
Linear logic and the linear {\lambda}-calculus have a long standing tradition in the study of natural language form and meaning. Among the proof calculi of linear logic, proof nets are of particular interest, offering an attractive geometric represen
Externí odkaz:
http://arxiv.org/abs/2009.12702
Autor:
Moot, Richard, Stevens-Guille, Symon
This paper explores proof-theoretic aspects of hybrid type-logical grammars , a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also present b
Externí odkaz:
http://arxiv.org/abs/2009.10387
In this chapter, we introduce a new dialogical system for first order classical logic which is close to natural language argumentation, and we prove its completeness with respect to usual classical validity. We combine our dialogical system with the
Externí odkaz:
http://arxiv.org/abs/2008.07138
Autor:
Moot, Richard
We will investigate proof-theoretic and linguistic aspects of first-order linear logic. We will show that adding partial order constraints in such a way that each sequent defines a unique linear order on the antecedent formulas of a sequent allows us
Externí odkaz:
http://arxiv.org/abs/2008.06351
Publikováno v:
Proceedings of The 12th Language Resources and Evaluation Conference (2020)
We present {\AE}THEL, a semantic compositionality dataset for written Dutch. {\AE}THEL consists of two parts. First, it contains a lexicon of supertags for about 900 000 words in context. The supertags correspond to types of the simply typed linear l
Externí odkaz:
http://arxiv.org/abs/1912.12635
Autor:
Moot, Richard
The short note describes the chart parser for multimodal type-logical grammars which has been developed in conjunction with the type-logical treebank for French. The chart parser presents an incomplete but fast implementation of proof search for mult
Externí odkaz:
http://arxiv.org/abs/1804.02286
Autor:
Moot, Richard
We present a proof net calculus for the Displacement calculus and show its correctness. This is the first proof net calculus which models the Displacement calculus directly and not by some sort of translation into another formalism. The proof net cal
Externí odkaz:
http://arxiv.org/abs/1606.01720