438,637 research outputs found
A computational framework for institutional agency
This paper provides a computational framework, based on Defeasible Logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-P\"orn account of organised interaction, which describes this interaction within a multi-modal logical setting. This work focuses in particular on the notions of counts-as link and on those of attempt and of personal and direct action to realise states of affairs. We show how standard Defeasible Logic can be extended to represent these concepts: the resulting system preserves some basic properties commonly attributed to them. In addition, the framework enjoys nice computational properties, as it turns out that the extension of any theory can be computed in time linear to the size of the theory itself
Approaches to causality and multi-agent paradoxes in non-classical theories
Causality and logic are both fundamental to our understanding of the universe, but our intuitions about these are challenged by quantum phenomena. This thesis reports progress in the analysis of causality and multi-agent logical paradoxes in quantum and post-quantum theories. Both these research areas are highly relevant for the development of quantum technologies such as quantum cryptography and computing.
Part I of this thesis focuses on causality. Firstly, we develop techniques for using generalised entropies
to analyse distinctions between classical and non-classical causal structures. We derive new properties of classical and quantum Tsallis entropies of systems that follow from the relevant causal structure, and apply these to obtain new necessary constraints for classicality in the Triangle causal structure. Supplementing the method with the post-selection technique, we provide evidence that Shannon and Tsallis entropic constraints are insufficient for detecting non-classicality in Bell scenarios with non-binary outcomes. This points to the need for better methods of characterising correlations in non-classical causal structures. Secondly, we investigate the relationships between causality and space-time by developing a framework for modelling cyclic and fine-tuned influences in non-classical theories. We derive necessary and sufficient conditions for such causal models to be compatible with a space-time structure and for ruling out operationally detectable causal loops. In particular, this provides an operational framework for analysing post-quantum theories admitting jamming non-local correlations.
In Part II of this thesis, we investigate multi-agent logical paradoxes, of which the quantum Frauchiger-Renner paradox has been the only example. We develop a framework for analysing such paradoxes in arbitrary physical theories. Applying this to box world, a post-quantum theory, we derive a stronger paradox that does not rely on post-selection. Our results reveal that reversible, unitary evolution of agents' memories is not necessary for deriving multi-agent logical paradoxes, rather that certain forms of contextuality could be
Framework for classifying logical operators in stabilizer codes
Entanglement, as studied in quantum information science, and non-local
quantum correlations, as studied in condensed matter physics, are fundamentally
akin to each other. However, their relationship is often hard to quantify due
to the lack of a general approach to study both on the same footing. In
particular, while entanglement and non-local correlations are properties of
states, both arise from symmetries of global operators that commute with the
system Hamiltonian. Here, we introduce a framework for completely classifying
the local and non-local properties of all such global operators, given the
Hamiltonian and a bi-partitioning of the system. This framework is limited to
descriptions based on stabilizer quantum codes, but may be generalized. We
illustrate the use of this framework to study entanglement and non-local
correlations by analyzing global symmetries in topological order, distribution
of entanglement and entanglement entropy.Comment: 20 pages, 9 figure
Recommended from our members
A modular hybrid simulation framework for complex manufacturing system design
For complex manufacturing systems, the current hybrid Agent-Based Modelling and Discrete Event Simulation (ABM–DES) frameworks are limited to component and system levels of representation and present a degree of static complexity to study optimal resource planning. To address these limitations, a modular hybrid simulation framework for complex manufacturing system design is presented. A manufacturing system with highly regulated and manual handling processes, composed of multiple repeating modules, is considered. In this framework, the concept of modular hybrid ABM–DES technique is introduced to demonstrate a novel simulation method using a dynamic system of parallel multi-agent discrete events. In this context, to create a modular model, the stochastic finite dynamical system is extended to allow the description of discrete event states inside the agent for manufacturing repeating modules (meso level). Moreover, dynamic complexity regarding uncertain processing time and resources is considered. This framework guides the user step-by-step through the system design and modular hybrid model. A real case study in the cell and gene therapy industry is conducted to test the validity of the framework. The simulation results are compared against the data from the studied case; excellent agreement with 1.038% error margin is found in terms of the company performance. The optimal resource planning and the uncertainty of the processing time for manufacturing phases (exo level), in the presence of dynamic complexity is calculated
Recommended from our members
Neurons and symbols: a manifesto
We discuss the purpose of neural-symbolic integration including its principles, mechanisms and applications. We outline a cognitive computational model for neural-symbolic integration, position the model in the broader context of multi-agent systems, machine learning and automated reasoning, and list some of the challenges for the area of
neural-symbolic computation to achieve the promise of effective integration of robust learning and expressive reasoning under uncertainty
ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra
Background: Many biological systems are modeled qualitatively with discrete
models, such as probabilistic Boolean networks, logical models, Petri nets, and
agent-based models, with the goal to gain a better understanding of the system.
The computational complexity to analyze the complete dynamics of these models
grows exponentially in the number of variables, which impedes working with
complex models. Although there exist sophisticated algorithms to determine the
dynamics of discrete models, their implementations usually require
labor-intensive formatting of the model formulation, and they are oftentimes
not accessible to users without programming skills. Efficient analysis methods
are needed that are accessible to modelers and easy to use. Method: By
converting discrete models into algebraic models, tools from computational
algebra can be used to analyze their dynamics. Specifically, we propose a
method to identify attractors of a discrete model that is equivalent to solving
a system of polynomial equations, a long-studied problem in computer algebra.
Results: A method for efficiently identifying attractors, and the web-based
tool Analysis of Dynamic Algebraic Models (ADAM), which provides this and other
analysis methods for discrete models. ADAM converts several discrete model
types automatically into polynomial dynamical systems and analyzes their
dynamics using tools from computer algebra. Based on extensive experimentation
with both discrete models arising in systems biology and randomly generated
networks, we found that the algebraic algorithms presented in this manuscript
are fast for systems with the structure maintained by most biological systems,
namely sparseness, i.e., while the number of nodes in a biological network may
be quite large, each node is affected only by a small number of other nodes,
and robustness, i.e., small number of attractors
- …