38,590 research outputs found
Algebraic processing of programming languages
AbstractCurrent methodology for compiler construction evolved in small increments over a long period of time. Its heritage is machine-dependent and derived from sequential Von Neumann machines. There is a growing emphasis on increasingly abstract paradigms for new programming languages. At the same time today's high performance distributed/parallel computing facilities depart from Von Neumann machines and provide a much more intricate execution environment. Therefore current methodology is being stretched beyond its intrinsic capacity in order to accommodate these two accelerating trends. We develop an alternative compiler construction methodology whose fundamental principles are: 1.(1) decomposition of programming languages into simpler components2.(2) development of machine independent specification and implementation tools for each language component3.(3) mathematical integration of language component processing algorithms into an algebraic compiler.
This allows the specification and implementation of provably correct (commercial) compilers. This paper is a tutorial dedicated to presenting the infrastructure of an algebraic compiler in a do-it-yourself manner
Occam's Quantum Strop: Synchronizing and Compressing Classical Cryptic Processes via a Quantum Channel
A stochastic process's statistical complexity stands out as a fundamental
property: the minimum information required to synchronize one process generator
to another. How much information is required, though, when synchronizing over a
quantum channel? Recent work demonstrated that representing causal similarity
as quantum state-indistinguishability provides a quantum advantage. We
generalize this to synchronization and offer a sequence of constructions that
exploit extended causal structures, finding substantial increase of the quantum
advantage. We demonstrate that maximum compression is determined by the
process's cryptic order---a classical, topological property closely allied to
Markov order, itself a measure of historical dependence. We introduce an
efficient algorithm that computes the quantum advantage and close noting that
the advantage comes at a cost---one trades off prediction for generation
complexity.Comment: 10 pages, 6 figures;
http://csc.ucdavis.edu/~cmg/compmech/pubs/oqs.ht
On The Foundations of Digital Games
Computers have lead to a revolution in the games we play, and, following this, an interest for computer-based games has been sparked in research communities. However, this easily leads to the perception of a one-way direction of influence between that the field of game research and computer science. This historical investigation points towards a deep and intertwined relationship between research on games and the development of computers, giving a richer picture of both fields. While doing so, an overview of early game research is presented and an argument made that the
distinction between digital games and non-digital games may be counter-productive to game research as a whole
von Neumann-Morgenstern and Savage Theorems for Causal Decision Making
Causal thinking and decision making under uncertainty are fundamental aspects
of intelligent reasoning. Decision making under uncertainty has been well
studied when information is considered at the associative (probabilistic)
level. The classical Theorems of von Neumann-Morgenstern and Savage provide a
formal criterion for rational choice using purely associative information.
Causal inference often yields uncertainty about the exact causal structure, so
we consider what kinds of decisions are possible in those conditions. In this
work, we consider decision problems in which available actions and consequences
are causally connected. After recalling a previous causal decision making
result, which relies on a known causal model, we consider the case in which the
causal mechanism that controls some environment is unknown to a rational
decision maker. In this setting we state and prove a causal version of Savage's
Theorem, which we then use to develop a notion of causal games with its
respective causal Nash equilibrium. These results highlight the importance of
causal models in decision making and the variety of potential applications.Comment: Submitted to Journal of Causal Inferenc
The Algorithmic Origins of Life
Although it has been notoriously difficult to pin down precisely what it is
that makes life so distinctive and remarkable, there is general agreement that
its informational aspect is one key property, perhaps the key property. The
unique informational narrative of living systems suggests that life may be
characterized by context-dependent causal influences, and in particular, that
top-down (or downward) causation -- where higher-levels influence and constrain
the dynamics of lower-levels in organizational hierarchies -- may be a major
contributor to the hierarchal structure of living systems. Here we propose that
the origin of life may correspond to a physical transition associated with a
shift in causal structure, where information gains direct, and
context-dependent causal efficacy over the matter it is instantiated in. Such a
transition may be akin to more traditional physical transitions (e.g.
thermodynamic phase transitions), with the crucial distinction that determining
which phase (non-life or life) a given system is in requires dynamical
information and therefore can only be inferred by identifying causal
architecture. We discuss some potential novel research directions based on this
hypothesis, including potential measures of such a transition that may be
amenable to laboratory study, and how the proposed mechanism corresponds to the
onset of the unique mode of (algorithmic) information processing characteristic
of living systems.Comment: 13 pages, 1 tabl
Digital Genesis: Computers, Evolution and Artificial Life
The application of evolution in the digital realm, with the goal of creating
artificial intelligence and artificial life, has a history as long as that of
the digital computer itself. We illustrate the intertwined history of these
ideas, starting with the early theoretical work of John von Neumann and the
pioneering experimental work of Nils Aall Barricelli. We argue that
evolutionary thinking and artificial life will continue to play an integral
role in the future development of the digital world.Comment: Extended abstract of talk presented at the 7th Munich-Sydney-Tilburg
Philosophy of Science Conference: Evolutionary Thinking, University of
Sydney, 20-22 March 2014. Presentation slides from talk available at
http://www.tim-taylor.com/papers/digital-genesis-presentation.pd
- …