English
Related papers

Related papers: Introduction to Dialectical Nets

200 papers

We introduce evolving networks where new vertices preferentially connect to the more central parts of a network. This makes such networks compact. Finite networks grown under the preferential compactness mechanism have complex…

Disordered Systems and Neural Networks · Physics 2007-05-23 M. J. Alava , S. N. Dorogovtsev

A correspondence is established between the elements of logic reasoning systems (knowledge bases, rules, inference and queries) and the hardware and dynamical operations of neural networks. The correspondence is framed as a general…

Disordered Systems and Neural Networks · Physics 2007-05-23 Joao Martins , R. Vilela Mendes

An important goal in studying the relations between unitary VOAs and conformal nets is to prove the equivalence of their ribbon categories. In this article, we prove this conjecture for many familiar examples. Our main idea is to construct…

Quantum Algebra · Mathematics 2021-04-06 Bin Gui

CP-nets and their variants constitute one of the main AI approaches for specifying and reasoning about preferences. CI-nets, in particular, are a CP-inspired formalism for representing ordinal preferences over sets of goods, which are…

Artificial Intelligence · Computer Science 2016-11-10 Martin Diller , Anthony Hunter

Causal nets (CNs) are Petri nets where causal dependencies are modelled via inhibitor arcs. They play the role of occurrence nets when representing the behaviour of a concurrent and distributed system, even when reversibility is considered.…

Logic in Computer Science · Computer Science 2025-06-11 Hernán Melgratti , Claudio Antares Mezzina , G. Michele Pinna

The ubiquity of neural networks (NNs) in real-world applications, from healthcare to natural language processing, underscores their immense utility in capturing complex relationships within high-dimensional data. However, NNs come with…

Machine Learning · Computer Science 2024-07-08 Chang Yue , Niraj K. Jha

In one perspective, the main theme of this research revolves around the inverse problem in the context of general rough sets that concerns the existence of rough basis for given approximations in a context. Granular operator spaces and…

Logic · Mathematics 2018-12-06 A. Mani

We present a unified framework for categorical systems theory which packages a collection of open systems, their interactions, and their maps into a symmetric monoidal loose right module of systems over a symmetric monoidal double category…

Category Theory · Mathematics 2025-05-30 Sophie Libkind , David Jaz Myers

Petri nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a satisfactory causally reversible semantics. We develop…

Logic in Computer Science · Computer Science 2023-06-22 Hernán Melgratti , Claudio Antares Mezzina , Irek Ulidowski

A lively research field has recently emerged that uses experimental methods to probe the linguistic behavior of modern deep networks. While work in this tradition often reports intriguing results about the grammatical skills of deep nets,…

Computation and Language · Computer Science 2022-03-25 Marco Baroni

This document gives a specification for the model used in [1]. It presents a simple way of optimizing mutual information between some input and the attractors of a (noisy) network, using a genetic algorithm. The nodes of this network are…

Neurons and Cognition · Quantitative Biology 2020-09-18 Robert Prentner

We present a new approach to credal nets, which are graphical models that generalise Bayesian nets to imprecise probability. Instead of applying the commonly used notion of strong independence, we replace it by the weaker notion of…

Artificial Intelligence · Computer Science 2012-08-07 Jasper De Bock , Gert de Cooman

This paper introduces a network architecture, called dynoNet, utilizing linear dynamical operators as elementary building blocks. Owing to the dynamical nature of these blocks, dynoNet networks are tailored for sequence modeling and system…

Machine Learning · Computer Science 2021-04-21 Marco Forgione , Dario Piga

Residual deep neural networks (ResNets) are mathematically described as interacting particle systems. In the case of infinitely many layers the ResNet leads to a system of coupled system of ordinary differential equations known as neural…

Analysis of PDEs · Mathematics 2022-05-11 M. Herty , A. Thuenen , T. Trimborn , G. Visconti

The biased net paradigm was the first general and empirically tractable scheme for parameterizing complex patterns of dependence in networks, expressing deviations from uniform random graph structure in terms of latent ``bias events,''…

Methodology · Statistics 2024-05-30 Carter T. Butts

Petri Nets (PN) are a central, theoretically sound model for concurrent or distributed systems but, at least in their classical definition, not expressive enough to represent dynamic reconfiguration capabilities. On the other side,…

Logic in Computer Science · Computer Science 2021-11-17 Lorenzo Capra

This paper is part of a project that is based on the notion of dialectical system, introduced by Magari as a way of capturing trial and error mathematics. In previous work, we investigated the expressive and computational power of…

Logic · Mathematics 2018-10-17 Jacopo Amidei , Uri Andrews , Duccio Pianigiani , Luca San Mauro , Andrea Sorbi

A linking system of difference sets is a collection of mutually related group difference sets, whose advantageous properties have been used to extend classical constructions of systems of linked symmetric designs. The central problems are…

Combinatorics · Mathematics 2018-04-23 Jonathan Jedwab , Shuxing Li , Samuel Simon

The rich and varied ways that genetic material can be passed between species has motivated extensive research into the theory of phylogenetic networks. Features that align with biological processes, or with desirable mathematical…

Populations and Evolution · Quantitative Biology 2025-08-12 Andrew Francis

We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and precisely characterise those system specifications which can be…

Logic in Computer Science · Computer Science 2015-07-01 Rob J. van Glabbeek , Ursula Goltz , Jens-Wolfhard Schicke-Uffmann