One of the problems with contemporary semantic theories of natural language, such as Situation Semantics, Discourse Representation Theory and Dynamic Semantics, is that although they address similar semantic phenomena their widely diiering syntax and semantics make it diicult to compare their treatments of similar natural language semantic phenomena. It would be useful to describe these diieren...

We describe a recently launched project whose objective is to develop an advanced converter of natural language text to semantic structures. The project basically consists in enriching the ETAP-3 linguistic processor, developed by the Institute for Information Transmission Problems, Russian Academy of Sciences, with a new module – that of semantic analysis. An important feature of this module i...

A semantic formulation of Lindley and Stark’s >>-lifting is given. We first illustrate our semantic formulation of the >>-lifting in Set with several examples, and apply it to the logical predicates for Moggi’s computational metalanguage. We then abstract the semantic >>-lifting as the lifting of strong monads across bifibrations with lifted symmetric monoidal closed structures.

Extending the success of deep neural networks to natural language understanding and symbolic reasoning requires complex operations and external memory. Recent neural program induction approaches have attempted to address this problem, but are typically limited to differentiable memory, and consequently cannot scale beyond small synthetic tasks. In this work, we propose the Manager-ProgrammerCom...

One of the key goals of rewriting logic from its beginning has been to provide a semantic and logical framework in which many models of computation and languages can be naturally represented. There is by now very extensive evidence supporting the claim that rewriting logic is indeed a very exible and simple logical and semantic framework. From a language design point of view the obvious questio...

Abstract This paper explores ways in which applied semantics (coming out of Natural Semantic Metalanguage approach) can inform effective communicative strategies for action on climate change. After framing discussion, it presents three case studies, are intentionally disparate nature: contrastive the expressions ‘climate crisis’, emergency’, and catastrophe’; a semantically-enhanced examination...

This study examines four Japanese synonymous verbs that have the same equivalent in English, namely GIVE. These are ageru, kureru, kizou suru, and kifu suru. used a qualitative descriptive method. Example sentences for data were taken from Balance Corpus of Contemporary Written corpus data. The theories applied this argument structure theory Natural Semantic Metalanguage theory. Based on analys...