12 papers · ranked by Valyu relevance
Ivan Vegner, Sydelle de Souza, Valentin Forch, Martha Lewis + 1 more
A core aspect of compositionality, systematicity is a desirable property in ML models as it enables strong generalization to novel contexts. This has led to numerous studies proposing benchmarks to assess systematic generalization, as well as models and training regimes designed to enhance it. Many of these efforts are…
Tiffany Duneau
The DisCoCirc framework for natural language processing allows the construction of compositional models of text, by combining units for individual words together according to the grammatical structure of the text. The compositional nature of a model can give rise to two things: compositional generalisation - the…
Caterina Puca, Amar Hadzihasanovic, Fabrizio Genovese, Bob Coecke
Compositionality is at the heart of computer science and several other areas of applied category theory such as computational linguistics, categorical quantum mechanics, interpretable AI, dynamical systems, compositional game theory, and Petri nets. However, the meaning of the term seems to vary across the many…
Baihan Lin, Djallel Bouneffouf, Irina Rish
The field of compositional generalization is currently experiencing a renaissance in AI, as novel problem settings and algorithms motivated by various practical applications are being introduced, building on top of the classical compositional generalization problem. This article aims to provide a comprehensive review…
Bob Coecke
There are different meanings of the term "compositionality" within science: what one researcher would call compositional, is not at all compositional for another researcher. The most established conception is usually attributed to Frege, and is characterised by a bottomup flow of meanings: the meaning of the whole can…
Dieuwke Hupkes, Verna Dankers, Mathijs Mul, Elia Bruni
Despite a multitude of empirical studies, little consensus exists on whether neural networks are able to generalise compositionally, a controversy that, in part, stems from a lack of agreement about what it means for a neural model to be compositional. As a response to this controversy, we present a set of tests that…
Benjamin Lion, Farhad Arbab, Carolyn Talcott
We propose a component-based semantic model for Cyber-Physical Systems (CPSs) wherein the notion of a component abstracts the internal details of both cyber and physical processes, to expose a uniform semantic model of their externally observable behaviors expressed as sets of sequences of observations. We introduce…
Christoph Herrmann, Holger Krahn, Bernhard Rumpe⋆, Martin Schindler + 1 more
'Steven Völkel'] Abstract. Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a single model. Instead many models are developed that provide several complementary views on the system to be…
Lucién Hardy
We develop a theory for describing composite objects in physics. These can be static objects, such as tables, or things that happen in spacetime (such as a region of spacetime with fields on it regarded as being composed of smaller such regions joined together). We propose certain fundamental axioms which, it seems…
Bilal Kanso, Omar Chebaro
The contribution of this paper is threefold: first, it defines a framework for modelling component-based systems, as well as a formalization of integration rules to combine their behaviour. This is based on finite state machines (FSM). Second, it studies compositional conformance testing i.e. checking whether an…
Marcin Łyczak
Atomism is the view that everything is composed of atoms. The view within the framework of the contemporary formal approach is expressed on the ground of mereology with the use of the primitive notion of being a part as every object has at least one atomic part [2, 48], [3, 145], [17, 42], or using mereological fusion…
Robert E. Kent
This chapter discusses the institutional approach for organizing and maintaining ontologies. The theory of institutions was named and initially developed by Joseph Goguen and Rod Burstall. This theory, a metatheory based on category theory, regards ontologies as logical theories or local logics. The theory of…