-
1
Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics
Published 2013“…This thesis shows how this approach can be theoretically extended and practically implemented to produce concrete compositional distributional models of natural language semantics. It furthermore demonstrates that such models can perform on par with, or better than, other competing approaches in the field of natural language processing. …”
Thesis -
2
Category-theoretic quantitative compositional distributional models of natural language semantics
Published 2013“…This thesis shows how this approach can be theoretically extended and practically implemented to produce concrete compositional distributional models of natural language semantics. It furthermore demonstrates that such models can perform on par with, or better than, other competing approaches in the field of natural language processing.…”
Thesis -
3
Natural language variables: variable-based semantic theories of pronouns and proper names
Published 2012“…<p>Semanticists, philosophers and logicians have standardly analyzed a range of natural language expressions on the model of the variables of formal languages. …”
Thesis -
4
A formal refinement framework for the systems modeling language
Published 2015“…We do so by utilising CSP as a semantic domain for reasoning about SysML behavioural aspects: activities, state machines and interactions are given a formal process-algebraic semantics. …”
Thesis -
5
On robustness for natural language processing
Published 2023“…<p>As a discipline, machine learning has contributed to significant breakthroughs in Natural Language Processing (NLP), aiming to design algorithms to manipulate text and produce insights, such as classification and summarization, comparable to those of humans. …”
Thesis -
6
Categorical tools for natural language processing
Published 2022“…This thesis develops the translation between category theory and computational linguistics as a foundation for natural language processing. The three chapters deal with syntax, semantics and pragmatics. …”
Thesis -
7
-
8
Structural foundations for probabilistic programming languages
Published 2021“…Not only do they share a similar goal, namely to act as an accessible, high-level interface to statistics, but synthetic probability theories are also the natural semantic domains for probabilistic programs. …”
Thesis -
9
Keyword query processing interface model of ontological natural language manipulation
Published 2010“…Less work is performed in the direction of enhancing expressiveness, supporting lengthy queries and answering the queries with relevance oriented ranking.We are concerned with enhancing the keyword query processing model in terms of handling expressive keyword queries and syntactic questions that incorporates quantifier restrictions and AND-OR semantics on RDF knowledge bases. The process of manipulating both type of natural language (NL) queries are supported by Ontologies. …”
Get full text
Thesis -
10
-
11
Language models for ontology engineering
Published 2024“…Meanwhile, modern deep learning-based language models (LMs) represent a significant milestone in the field of Natural Language Processing (NLP), as they incorporate substantial background knowledge from the vast and complex distribution of textual data. …”
Thesis -
12
-
13
-
14
Clefts, relatives, and language dynamics: the case of Japanese
Published 2013“…These two classes are uniformly modelled as an outcome of incremental semantic-tree growth. The analysis is corroborated by naturally-occurring data extracted from the Corpus of Spontaneous Japanese (CSJ). …”
Thesis -
15
-
16
An examination of certain counterpart accounts
Published 2022“…First, Lewis presents a formal first-order theory, counterpart theory. Second, Lewis provides a method for translating natural language modal claims into sentences of the language of counterpart theory. …”
Thesis -
17
A Framework for Modular, Extensible, Equivalence-Preserving Compilation
Published 2022“…This is made possible by an inductive formulation of equivalence preservation that supports the addition of new rules to the source language, target language, and compiler. Pyrosome defines a formal, deeply embedded notion of programming languages with semantics given by sorted equational theories, so all compiler-correctness proofs boil down to type-checking and equational reasoning. …”
Get full text
Thesis -
18
-
19
Theory of meaning
Published 1994“…<p>This thesis examines Michael Dummett's form of a theory of meaning for natural language. I argue that Dummett's extension of Frege's formal techniques to the semantics of natural language, based on the categories of sense, force and tone, and the centrality of truth, provides an inadequate theoretical account of linguistic competence.…”
Thesis -
20