Enrage
发表于 2025-3-28 14:53:38
On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks constant flux, and conclude that MTS has some major advantages for linguistic description that have been overlooked. We briefly consider the issue of what natural languages in MTS terms, and touch on implications for parsing and acquisition.
INCH
发表于 2025-3-28 22:48:17
On Mixing Deduction and Substitution in Lambek Categorial Grammarsants of definition : in particular we show that deduction and substitution do not permute. We then consider a modified unification, here called ∥= -unification :we give a criterion for the existence and construction of ∥= -unifiers in terms of group issues.
Indecisive
发表于 2025-3-28 23:29:38
http://reply.papertrans.cn/59/5882/588126/588126_43.png
群居男女
发表于 2025-3-29 06:00:39
Combining Syntax and Pragmatic Knowledge for the Understanding of Spontaneous Spoken Sentencesompositions are mainly based on pragmatic contraints provided most of the time by the context of the application..We give here an account of the results obtained from a first series of tests. We also discuss the use of the same ideas for applications in well defined semantic domains such as database processing.
混乱生活
发表于 2025-3-29 09:37:37
http://reply.papertrans.cn/59/5882/588126/588126_45.png
Externalize
发表于 2025-3-29 11:50:23
On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks)an d model-theoretic syntax (MTS). They are based on very different mathematics. GES developed in the 1950s out of Post’s work on the syntactic side of logic. MTS arose somewhat later out of the semantic side of logic. We identify some distinguishing theoretical features of these frameworks, relati
Iniquitous
发表于 2025-3-29 18:32:31
http://reply.papertrans.cn/59/5882/588126/588126_47.png
闲逛
发表于 2025-3-29 20:00:18
An Algebraic Approach to French Sentence StructureMathematically speaking, the types are elements of the free “pregroup” (a generalization of a partially ordered group) generated by a partially ordered set of basic types. In particular, this partial order is carefully adjusted to account for the order of preverbal clitic pronouns in a sentence.
首创精神
发表于 2025-3-29 23:58:27
Deductive Parsing of Visual Languages communication, in particular, two-dimensional graphical notations such as mathematical notation, choreography notation, organizational charts and electrical circuit diagrams. We can term such multi-dimensional symbolic notations, .. Like textual languages, many of these notations have a well define
无能的人
发表于 2025-3-30 06:47:53
Consistent Identification in the Limit of Any of the Classes ,-Valued Is NP-hardit was shown that some of the classes based on these procedures are learnable (in the technical sense of ). In it was shown that learning some of these classes by means of a consistent learning function is NP-hard..The complexity of learning classes from one particular family, Gk-value