Titlebook: Logical Aspects of Computational Linguistics; 4th International Co Philippe Groote,Glyn Morrill,Christian Retoré Conference proceedings 200

Enrage

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

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

群居男女

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.

混乱生活

Externalize

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

闲逛

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.

首创精神

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

无能的人

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 [Gol67]). In [CF00] 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