1 |
MOCKERY AND PROVOCATION FOR FUN: LEXICAL AND SEMANTIC REPRESENTATION IN THE RUSSIAN LANGUAGE ...
|
|
|
|
BASE
|
|
Show details
|
|
2 |
Formalization of AMR Inference via Hybrid Logic Tableaux ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Research compendium for Montero-Melis et al. (2021) "No evidence for embodiment: The motor system is not needed to keep action words in working memory" (Cortex) ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
AAA4LLL - Acquisition, Annotation, Augmentation for Lively Language Learning ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
Hy-NLI : a Hybrid system for state-of-the-art Natural Language Inference
|
|
|
|
BASE
|
|
Show details
|
|
8 |
Plurality and quantification in graph representation of meaning
|
|
|
|
BASE
|
|
Show details
|
|
9 |
Simulating Semantics: What Individual Differences in Motor Imagery Can Tell Us About Language Processing ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
The building blocks of meaning: Psycholinguistic evidence on the nature of verb argument structure
|
|
|
|
BASE
|
|
Show details
|
|
12 |
Multimodal conceptual knowledge influences lexical retrieval speed: evidence from object-naming and word-reading in healthy adults
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Formal analysis of natural language requirements for the design of cyber-physical systems ; Analyse formelle d'exigences en langue naturelle pour la conception de systèmes cyber-physiques
|
|
|
|
In: TALN 2018 - Conférence sur le Traitement Automatique des Langues Naturelles ; https://hal.inria.fr/hal-01970134 ; TALN 2018 - Conférence sur le Traitement Automatique des Langues Naturelles, May 2018, Rennes, France. pp.1-13 (2018)
|
|
Abstract:
National audience ; This paper focuses on the construction of formal representations of natural language texts. The mapping from a natural language to a logical representation is realized with a grammatical formalism, linking the syntactic analysis of the text to a semantic representation. We target the behavioral aspect of the specifications for cyber-physical systems, ie any type of system in which software components interact closely with a physical environment. In this way, the challenge would be to provide assistance to the designer. So, we could simulate and verify, by automatic or assisted methods, "systems" specifications expressed in natural language. This paper presents some existing contributions that could enable progress on this issue. ; Cet article explore la construction de représentations formelles d'énoncés en langue naturelle. Le passage d'un langage naturel à une représentation logique est réalisé avec un formalisme grammatical, reliant l'analyse syntaxique de l'énoncé à une représentation sémantique. Nous ciblons l'aspect comportemental des cahiers des charges pour les systèmes cyber-physiques, c'est-à-dire tout type de systèmes dans lesquels des composants logiciels interagissent étroitement avec un environnement physique. Dans ce cadre, l'enjeu serait d'apporter une aide au concepteur. Il s'agit de permettre de simuler et vérifier, par des méthodes automatiques ou assistées, des cahiers des charges "systèmes" ex-primés en langue naturelle. Cet article présente des solutions existantes qui pourraient être combinées en vue de la résolution de la problématique exposée.
|
|
Keyword:
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [INFO.INFO-IA]Computer Science [cs]/Computer Aided Engineering; [INFO]Computer Science [cs]; Categorial Grammar; Cyber-physical System; Grammaire catégorielle; Ingénierie des cahiers des charges; Modal Specification; MOTS-CLÉS : Formalisme grammatical; Représentation sémantique; Require-ments Engineering; Semantic Representation; Spécification modale KEYWORDS: Grammatical Formalism; Système cyber-physique
|
|
URL: https://hal.inria.fr/hal-01970134/document https://hal.inria.fr/hal-01970134 https://hal.inria.fr/hal-01970134/file/TALN%202018%20-%20Analyse%20exigences%20LN%20pour%20conception%20SCP.pdf
|
|
BASE
|
|
Hide details
|
|
14 |
UNSUPERVISED PARAPHRASE GENERATION FROM HIERARCHICAL LANGUAGE MODELS
|
|
|
|
BASE
|
|
Show details
|
|
15 |
A Rule-Based Reasoner for Underwater Robots Using OWL and SWRL
|
|
|
|
In: Sensors ; Volume 18 ; Issue 10 (2018)
|
|
BASE
|
|
Show details
|
|
16 |
The Structure of Process of Students' Learning the Visual-Semantic Representation of a Hieroglyphs ...
|
|
|
|
BASE
|
|
Show details
|
|
17 |
The Structure of Process of Students' Learning the Visual-Semantic Representation of a Hieroglyphs ...
|
|
|
|
BASE
|
|
Show details
|
|
18 |
Anna Wierzbicka, Semantic Decomposition, and the Meaning-Text Approach
|
|
|
|
In: Russian journal of linguistics: Vestnik RUDN, Vol 22, Iss 3, Pp 521-538 (2018) (2018)
|
|
BASE
|
|
Show details
|
|
19 |
Using EEG to decode semantics during an artificial language learning task
|
|
|
|
BASE
|
|
Show details
|
|
|
|