Results 31 to 40 of about 91,249 (288)
Parts of speech systems as a basic typological parameter. [PDF]
, 2004 This paper argues that the word order possibilities of a language are partly determined by the parts-of-speech system of that language. In languages in which lexical items are specialized for certain functionally defined syntactic slots (e.g.
Siewierska, A.M. +6 more
core +1 more source
Formalising Type-Logical Grammars in Agda
CoRR, 2015 In 1st Workshop on Type Theory and Lexical Semantics at ESSLLI'15, Barcelona, Spain, August ...
openaire +3 more sources
Proof-Theoretic Aspects of Hybrid Type-Logical Grammars [PDF]
, 2019 This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also present a proof net calculus for hybrid type-logical grammars.
Richard Moot, Symon Jory Stevens-Guille
openaire +1 more source
Концепт: философия, религия, культура, 2021 The question of the nature of speech modalization has been repeatedly considered in linguistics from various positions, which is partially reflected in the text of the article.
I. A. Shipova, N. V. Badaeva
doaj +1 more source
What exactly is Universal Grammar, and has anyone seen it? [PDF]
, 2015 Universal Grammar (UG) is a suspect concept. There is little agreement on what exactly is in it; and the empirical evidence for it is very weak.
Dabrowska, Ewa +3 more
core +1 more source
Henkin semantics for reasoning with natural language
Journal of Language Modelling, 2016 The frequency of intensional and non-first-order definable operators in natural languages constitutes a challenge for automated reasoning with the kind of logical translations that are deemed adequate by formal semanticists.
Michael Hahn, Frank Richter
doaj +1 more source
LLM‐Integrated Human–Robot Interaction System for Microrobots
Advanced Robotics Research, EarlyView.This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley +1 more source
Some biological aspects of Aristotle's glottology [PDF]
Južnoslovenski Filolog, 2008 Greek philosopher Aristotle (384-322 B. C) was for a long time an authority on ancient grammatical theory. His formulations of word categories supplemented by abundant logical and rhetorical considerations, made foundations for traditional linguistic ...
Maricki-Gađanski Ksenija
doaj +1 more source
Automated generative process synthesis via transformer‐based dual‐loop simulation and optimization
AIChE Journal, EarlyView.Abstract This study presents a novel framework for automated generative process synthesis, addressing the complexity of simultaneously optimizing discrete topologies and continuous operating variables. To overcome conventional superstructure limitations, we propose a dual‐loop architecture integrating generative transformers with rigorous process ...
Yeong Woo Son +4 more
wiley +1 more source
Definiteness-indefiniteness category and logical quantification
Cognitive Studies | Études cognitives, 2015 Definiteness-indefiniteness category and logical quantification This work has been written within the “Logic and Language” project, realized under a cooperation agreement between the Institute of Slavic Studies of the Polish Academy of Sciences and the
Violetta Koseska-Toszewa
doaj +1 more source