Grammar frameworks | Combinatory logic | Type theory

Combinatory categorial grammar

Combinatory categorial grammar (CCG) is an efficiently parsable, yet linguistically expressive grammar formalism. It has a transparent interface between surface syntax and underlying semantic representation, including predicate–argument structure, quantification and information structure. The formalism generates constituency-based structures (as opposed to dependency-based ones) and is therefore a type of phrase structure grammar (as opposed to a dependency grammar). CCG relies on combinatory logic, which has the same expressive power as the lambda calculus, but builds its expressions differently. The first linguistic and psycholinguistic arguments for basing the grammar on combinators were put forth by Steedman and Szabolcsi. More recent prominent proponents of the approach are Pauline Jacobson and Jason Baldridge. In these new approaches, the combinator B (the compositor) is useful in creating long-distance dependencies, as in "Who do you think Mary is talking about?" and the combinator W (the duplicator) is useful as the lexical interpretation of reflexive pronouns, as in "Mary talks about herself". Together with I (the identity mapping) and C (the permutator) these form a set of primitive, non-interdefinable combinators. Jacobson interprets personal pronouns as the combinator I, and their binding is aided by a complex combinator Z, as in "Mary lost her way". Z is definable using W and B. (Wikipedia).

Video thumbnail

Claire Amiot: Cluster algebras and categorification - Part 2

Abstract: In this course I will first introduce cluster algebras associated with a triangulated surface. I will then focus on representation of quivers, and show the strong link between cluster combinatorics and representation theory. The aim will be to explain additive categorification of

From playlist Combinatorics

Video thumbnail

Introduction to Combinatory Logic – #SoME2

This is Alexander Farrugia's and Giorgio Grigolo's submission to the second 3blue1brown Summer of Math Exposition. #some2 #mathematics #combinators #logic Music: Icelandic Arpeggios – DivKid

From playlist Summer of Math Exposition 2 videos

Video thumbnail

Claire Amiot: Cluster algebras and categorification - Part 3

Abstract: In this course I will first introduce cluster algebras associated with a triangulated surface. I will then focus on representation of quivers, and show the strong link between cluster combinatorics and representation theory. The aim will be to explain additive categorification of

From playlist Combinatorics

Video thumbnail

Claire Amiot: Cluster algebras and categorification - Part 1

Abstract: In this course I will first introduce cluster algebras associated with a triangulated surface. I will then focus on representation of quivers, and show the strong link between cluster combinatorics and representation theory. The aim will be to explain additive categorification of

From playlist Combinatorics

Video thumbnail

Combinatorial Identities via both Algebraic and Combinatorial Proof [Discrete Math Class]

This video is not like my normal uploads. This is a supplemental video from one of my courses that I made in case students had to quarantine. This is a follow up to previous a video introducing combinatorial objects (in particular k-permutations and k-subsets) and a video about the sum and

From playlist Discrete Mathematics Course

Video thumbnail

Nicolas Behr - Towards Executable Applied Category Theory in Coq

This talk will present the ”coreact.wiki” initiative, which aims to develop a novel form of wiki engine that will couple a database of human-readable mathematical knowledge with a database containing machine-readable and -executable representations of this knowledge in proof assistants suc

From playlist Combinatorics and Arithmetic for Physics: special days

Video thumbnail

DAT_210 - The Formal Analysis of Sentences (VLC Series #1)

In this short combinatory video (screencast plus e-lecture), Prof. Handke discusses the formal analysis of a sentences: First, in terms of its simple and phrasal categories and then by looking at the clausal structure. The sentence is: "Perhaps you will never find a job as a linguist, but

From playlist VLC107 - Syntax: Part II

Video thumbnail

Andrew Scott Marks: Descriptive graph combinatorics - Lecture 1

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Combinatorics

Video thumbnail

Pablo Shmerkin: Additive combinatorics methods in fractal geometry - lecture 1

In the last few years ideas from additive combinatorics were applied to problems in fractal geometry and led to progress on some classical problems, particularly on the smoothness of Bernoulli convolutions and other self-similar measures. We will introduce some of these tools from additive

From playlist Combinatorics

Video thumbnail

Alfred Geroldinger: A characterization of class groups via sets of lengths

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Combinatorics

Video thumbnail

History of Science and Technology Q&A (January 11, 2023)

Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram If you missed the original livestream of

From playlist Stephen Wolfram Ask Me Anything About Science & Technology

Video thumbnail

Mathilde Bouvel: Combinatorial specifications of permutation classes via their decomposition trees

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Combinatorics

Video thumbnail

Program Language Translation Using a Grammar-Driven Tree-to-Tree Model | TDLS

Toronto Deep Learning Series, 30 July 2018 For slides and more information, visit https://tdls.a-i.science/events/2018-07-30/ Paper Review: https://arxiv.org/abs/1807.01784 Speaker: Alex Hesammohseni Organizer: https://www.linkedin.com/in/amirfz/ Host: Microsoft Canada Paper abstract:

From playlist Natural Language Processing

Video thumbnail

DAT_013 - The Formal Analysis of Sentences (VLC Series #4)

In this short combinatory video (screencast plus e-lecture), Prof. Handke discusses the formal analysis of a sentence: First, in terms of its simple and phrasal categories and then by looking at the clausal structure. The sentence is: "Oh, what a beautiful house, and what a nicely laid cof

From playlist Data Analaysis - Sentences

Video thumbnail

Properties of Binomial Coefficients (1 of 2: Symmetry & Row Totals)

More resources available at www.misterwootube.com

From playlist Working with Combinatorics

Related pages

Lambda calculus | Categorial grammar | Head grammar | Indexed language | Natural deduction | Indexed grammar | Phrase structure grammar | Embedded pushdown automaton | Link grammar | Dependency grammar | Combinatory logic | Tree-adjoining grammar