Problems for Type-theoretic Dependency Semantics
Some remarks on proof theoretic semantics
... “constant” • to be such a thing in favour of a view that leads to strong normalisation results. The second part is a commentary on the flattened version of Modus Ponens, and its relationship with rules of type ...
15
A Quantum Theoretic Approach to Distributional Semantics
... School of Informatics, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9AB [email protected], [email protected], [email protected] Abstract In this paper we explore the potential of quantum theory as ...
11
Sketch of a Proof-Theoretic Semantics for Necessity
... Σ are the deductions of the formulas in Γ. A maximal formula of type Γ 2A can only occur in the context on the left, unless Γ ` A is discharged vacuously by 2E, in which case its removal is trivial. The only thing ...
7
Learning Dependency Based Compositional Semantics
... In addition to the statistical viewof DCS as a semantic representation, it is use- ful to think about DCS from the perspective of programming language design. Two programming languages can be equally expressive, but what ...
59
Effect of Minimal Semantics on Dependency Parsing
... 3. Semantic Tags The semantic tagset that we use in our experiments have been selected based on their closeness to the dependency labels that the parser is supposed to identify. In the Paninian framework all ...
5
Learning Dependency Based Compositional Semantics
... It also allows us to easily add new lexical triggers without becoming mired in the semantic formalism. Quantifiers and superlatives significantly compli- cate scoping in lambda calculus, and often type rais- ing ...
10
A Context Theoretic Framework for Compositionality in Distributional Semantics
... this type of entailment is not our initial aim because we are interested in foundational issues, and doing well at this task poses major engineering challenges beyond the scope of our ...
31
Context theoretic Semantics for Natural Language: an Overview
... Moreover the time is ripe for such a theory: never has there been such an abundance of immediately available textual data (in the form of the world- wide web) or cheap computing power to enable vector-based ...
8
The semantics and pragmatics of polysemy: a relevance-theoretic account
... same type of sense ...general problems with Pustejovsky’s generative account of polysemy, which I will not get back into ...information type as well as an organisation, which may be called a ...
295
Proof theoretic semantics, a problem with negation and prospects for modality
... of type 1 or 2, with E/I-rules determined from an I/E rule in the way to be specified, and there are no conditions on the application of the ...of type 1, the I-rules specify the meanings of the logical ...
16
Dependency Schemes in QBF Calculi: Semantics and Soundness
... by dependency schemes. One of the main problems in this area is to un- derstand for which dependency schemes the resulting calculi are ...of dependency schemes called full exhibition that is ...
18
Adding multi-layer semantics to the Greek Dependency Treebank
... The type and subtype attributes were then encoded for each verbal predicate of the lexical resource updating the frameset ...each type and subtype of the ontology, it further clarifies the event trigger and ...
6
Encoding Generalized Quantifiers in Dependency-based Compositional Semantics
... Although it has been recognized that it is impor- tant to encode GQs for solving textual entailment problems, this remains a big challenge. MacCart- ney et al. (2006), for example, tried to capture the use of GQs ...
10
Questions in Dependent Type Semantics
... proof-theoretic semantics where the meaning of a sentence is given in terms of inference ...to semantics and natural language inference; we use Combinatory Categorial Grammar (CCG; Steedman (1996)) ...
11
MoL 2013 27: Towards a Proof Theoretic Semantics for Dynamic Logics
... each type lives on a par with any ...each type is a rst-class citizen, as we will see shortly, four types of structures will be dened, and the turnstile symbol in the sequents of this calculus will be ...
75
Aligning Packed Dependency Trees: A Theory of Composition for Distributional Semantics
... Another advantage of using A PT composition in paraphrase recognition, over some other syntax-driven proposals, is that the same structure is used to represent words, phrases, and sentences. Provided that the head node ...
35
The syntax and semantics of quantitative type theory
... use Type Theory as a general purpose programming language, type dependency appears to ac- tively encourage inefficient ...by Type Theory’s use of variables for two purposes: as information to ...
10
A Vector Model for Type Theoretical Semantics
... lexical semantics, namely distributional se- mantics (Lenci, 2008; Baroni et ...formal semantics based on dependent type the- ory (Ranta, 1994; Luo, ...related problems of lexical ...
9
Mink: An Incremental Data-Driven Dependency Parser with Integrated Conversion to Semantics
... and dependency type, the dependency types of its leftmost and right- most dependents, the input token (NEXT), and its part-of-speech tag and dependency type, and the part- of-speech of ...
6
A Set Theoretic Approach to Lexical Semantics
... A SET THEORETIC APPROACH TO LEXICAL SEMANTICS A SET THmRErlC APPROACH TO LEXICAL ~ D L f f O 1 T MEMODATA 23 r m d e s a o u f i ~ 14000 C a ~ F r m ~ RESUME UNE APPRO~tE ENSEMBLtSIE DU ~ ~ r,bus pr~n[.] ...
6