artifact
active
artifact:2022-08-21-prabros-act2022-slides2022-08-21 Prabros ACT2022 slides
Slide presentation on quantum compositional intelligence by Bob Coecke at ACT2022
Neighborhood — ranked by edge-count
Thinkers (6)
thinker
- Bob CoeckeauthoredmentionsLead presenter and primary author of the compositional intelligence framework; affiliated with Quantinuum and Oxford; key figure in quantum diagrammatics and compositional AI theory.
- StevementionsCollaborator with Bob Coecke on compositional AI, mentioned in slides as part of UCL/BBC team
- GiovannimentionsCollaborator with Bob Coecke on photonics and DisCoCirc implementation, associated with Vienna
- HarnymentionsCollaborator with Bob Coecke on ZXW-theory and PsiQ
- DimitrimentionsCollaborator with Bob Coecke on beyond NLP and lambeq
- KonstantinosmentionsCollaborator with Bob Coecke on hardware aspects of compositional AI
Frameworks (4)
framework
- Complete CompositionalityintroducesStrongest form of compositional theory requiring full decomposability and meaningful parts.
- LEGO CompositionalityintroducesVariant of compositional theory mentioned in summary; represents rigid, modular composition model.
- BobCatintroducesTool/framework for compositionality developed by Bob Coecke's group, possibly for categorical reasoning
- ZXW-theorymentionsExtension of ZX-calculus with W nodes, enhancing expressive power
Concepts (11)
concept
- CompositionalitymentionsCentral concept: how meaning of wholes depends on meanings of parts and their structural arrangement; multiple formulations explored (Frege, Schrödinger, Whitehead, LEGO).
- DisCoCircintroducesCompositional framework for circuits and diagrammatic reasoning; developed at UCL/BBC.
- Schrödinger Compositional TheoryintroducesProcess theory variant where composition is non-trivial (whole cannot be decomposed meaningfully) and all ingredients have clear ontological counterparts in reality.
- Whitehead-Compositional TheoryintroducesProcess theory where all ingredients have clear meaningful ontological counterparts in reality
- ZX-CalculusmentionsQuantum diagrammatic formalism (2007); mentioned as non-example of complete compositionality due to lack of clear ontological counterparts.
- DisCoPyintroducesSoftware implementation of compositional theory; tool for working with compositional diagrams.
- lambeqintroducesFramework for compositional AI beyond NLP; developed by team including Steve and others.
- Bottom-up meaning flowmentionsMeaning constructed from parts to whole, directly following Frege compositionality
- Canonical statement of Frege compositionality principle in formal linguistics; foundational to paper's analysis.
- Statement of Frege's context principle; shows tension with strict compositional bottom-up approach.
- Top-down meaning flowmentionsMeaning inferred from context down to words, following Frege's context principle
Claims (4)
claim
- Summary claim listing four types of compositionality distinguished in the talk
- Defining requirement of Whitehead compositional theory
- Defining property of Schrödinger compositional theory
- Claim that ambiguity in quantum systems surpasses linguistic ambiguity
Artifacts (2)
artifact
- DisCoSpeedintroducesPerformance-optimized tool or framework for compositional reasoning.
- Q-GloveintroducesTool for quantum compositional reasoning or representation.
Communities (1)
community
- Process Theoryintroduces