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.

Interjection is a word used to express feelings or something spontaneously. In Indonesian there are many interjection words, but here what will be discussed an HA! which can in various spontaneous expressions. Not only that, have similarities and differences with interjections other languages. This study aims find the meaning of Ha! film "The sinking Van Der Wijck ship" work by famous writer fr...

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...

We present here a global view of the syntactic shapes of the elementary sentences of French. This paper constitutes a synthesis of the numerous observations made on a set of about 12,000 verbs studied in the framework of lexicon-grammar (M. Gross 1975; J.-P. Boons, A. Guillet, C. Leclère 1976; G. Gross 1989; A. Guillet, C. Leclère 1992). The point of view is strictly formal, according to the no...

We propose >>-lifting as a technique for extending operational predicates to Moggi’s monadic computation types, independent of the choice of monad. We demonstrate the method with an application to Girard-Tait reducibility, using this to prove strong normalisation for the computational metalanguage λml . The particular challenge with reducibility is to apply this semantic notion at computation t...

Starting form the analogy between a document tagged by a markup language (XML, SGML) and a source string generated by a BNF grammar, we argue that XML parsers should beneet from the addition of semantic attributes and functions. Currently XML only includes initialized lexical attributes. By our approach a XML parser would be extended into a syntax-directed translator. Deep transformations of a ...