Results 1  10
of
157
Computability and Evolutionary Complexity: Markets as Complex Adaptive Systems
 CAS). Economic Journal 115 (504) (2005), F159–F192. Available online at SSRN: http://ssrn.com/abstract=745578
"... Few will argue that the epiphenomena of biological systems and socioeconomic systems are anything but complex. The purpose of this Feature is to examine critically and contribute to the burgeoning multidisciplinary literature on markets as complex adaptive systems (CAS). The new sciences of compl ..."
Abstract

Cited by 37 (9 self)
 Add to MetaCart
(Show Context)
Few will argue that the epiphenomena of biological systems and socioeconomic systems are anything but complex. The purpose of this Feature is to examine critically and contribute to the burgeoning multidisciplinary literature on markets as complex adaptive systems (CAS). The new sciences of complexity, the principles of selforganisation and emergence along with the methods of evolutionary computation and artificially intelligent agent models have been developed in a multidisciplinary fashion. The cognoscenti here consider that complex systems whether natural or artificial, physical, biological or socioeconomic can be characterised by a unifying set of principles. Further, it is held that these principles mark a paradigm shift from earlier ways of viewing such phenomenon. The articles in this Feature aim to provide detailed insights and examples of both the challenges and the prospects for economics that are offered by the new methods of the complexity sciences. The applicability or not of the optimisation framework of conventional economics depends on the domain of the problem and in particular the modern theories behind noncomputability are outlined to explain why adaptive or emergent methods of computation and agentbased
An analog characterization of the Grzegorczyk hierarchy
 Journal of Complexity
, 2002
"... We study a restricted version of Shannon's General . . . ..."
Abstract

Cited by 36 (16 self)
 Add to MetaCart
We study a restricted version of Shannon's General . . .
Partial Functions in ACL2
 Journal of Automated Reasoning
"... We describe a macro for introducing \partial functions" into ACL2, i.e., functions not dened everywhere. The function \denitions" are actually admitted via the encapsulation principle. We discuss the basic issues surrounding partial functions in ACL2 and illustrate theorems that can be ..."
Abstract

Cited by 35 (7 self)
 Add to MetaCart
(Show Context)
We describe a macro for introducing \partial functions" into ACL2, i.e., functions not dened everywhere. The function \denitions" are actually admitted via the encapsulation principle. We discuss the basic issues surrounding partial functions in ACL2 and illustrate theorems that can be proved about such functions.
Decidability and undecidability results for planning with numerical state variables
 Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling
, 2002
"... These days, propositional planning can be considered a quite wellunderstood problem. Good algorithms are known that can solve a wealth of very different and sometimes challenging planning tasks, and theoretical computational properties of both general STRIPSstyle planning and the bestknown benchm ..."
Abstract

Cited by 34 (1 self)
 Add to MetaCart
(Show Context)
These days, propositional planning can be considered a quite wellunderstood problem. Good algorithms are known that can solve a wealth of very different and sometimes challenging planning tasks, and theoretical computational properties of both general STRIPSstyle planning and the bestknown benchmark problems have been established. However, propositional planning has a major drawback: The formalism is too weak to allow for the easy encoding of many genuinely interesting planning problems, specifically those involving numbers. A recent effort to enhance the PDDL planning language to cope with (among other additions) numerical state variables, to be used at the third international planning competition, has increased interest in these issues. In this contribution, we analyze “STRIPS with numbers” from a theoretical point of view. Specifically, we show that the introduction of numerical state variables makes the planning problem undecidable in the general case and many restrictions thereof and identify special cases for which we can provide decidability results.
The Structure of Complete Degrees
, 1990
"... This paper surveys investigations into how strong these commonalities are. More concretely, we are concerned with: What do NPcomplete sets look like? To what extent are the properties of particular NPcomplete sets, e.g., SAT, shared by all NPcomplete sets? If there are are structural differences ..."
Abstract

Cited by 29 (3 self)
 Add to MetaCart
This paper surveys investigations into how strong these commonalities are. More concretely, we are concerned with: What do NPcomplete sets look like? To what extent are the properties of particular NPcomplete sets, e.g., SAT, shared by all NPcomplete sets? If there are are structural differences between NPcomplete sets, what are they and what explains the differences? We make these questions, and the analogous questions for other complexity classes, more precise below. We need first to formalize NPcompleteness. There are a number of competing definitions of NPcompleteness. (See [Har78a, p. 7] for a discussion.) The most common, and the one we use, is based on the notion of mreduction, also known as polynomialtime manyone reduction and Karp reduction. A set A is mreducible to B if and only if there is a (total) polynomialtime computable function f such that for all x, x 2 A () f(x) 2 B: (1) 1
Quantum Information Theory and the Foundations of Quantum Mechanics
, 2004
"... This thesis is a contribution to the debate on the implications of quantum information theory for the foundational problems of quantum mechanics. In Part I an attempt is made to shed some light on the nature of information and quantum information theory. It is emphasized that the everyday notion of ..."
Abstract

Cited by 28 (7 self)
 Add to MetaCart
This thesis is a contribution to the debate on the implications of quantum information theory for the foundational problems of quantum mechanics. In Part I an attempt is made to shed some light on the nature of information and quantum information theory. It is emphasized that the everyday notion of information is to be firmly distinguished from the technical notions arising in information theory; noun, hence does not refer to a particular or substance. The popular claim ‘Information is Physical ’ is assessed and it is argued that this proposition faces a destructive dilemma. Accordingly, the slogan may not be understood as an ontological claim, but at best, as a methodological one. A novel argument is provided against Dretske’s (1981) attempt to base a semantic notion of information on ideas from information theory. The function of various measures of information content for quantum systems is explored and the applicability of the Shannon information in the quantum context maintained against the challenge of Brukner and Zeilinger (2001). The phenomenon of quantum teleportation is then explored as a case study serving to emphasize the value of
Lowness properties and approximations of the jump
 Proceedings of the Twelfth Workshop of Logic, Language, Information and Computation (WoLLIC 2005). Electronic Lecture Notes in Theoretical Computer Science 143
, 2006
"... ..."
Routines, hierarchies of problems , procedural behavior: some evidence from experiments
 THE RATIONAL FOUNDATIONS OF ECONOMIC BEHAVIOR, MACMILLAN, IN
, 1994
"... A laboratory experiment was performed as replication of the original one created by M. Cohen and P. Bacdayan at Michigan University. It consists in a twopersons card game played by a large number of pairs, whose actions are stored in a computer's memory. In order to achieve the final goal each ..."
Abstract

Cited by 24 (3 self)
 Add to MetaCart
A laboratory experiment was performed as replication of the original one created by M. Cohen and P. Bacdayan at Michigan University. It consists in a twopersons card game played by a large number of pairs, whose actions are stored in a computer's memory. In order to achieve the final goal each player must discover his subgoals, and must coordinate his action with the partner's one. The game therefore involves the division of knowledge and cooperation among players, and gives rise to the emergence of organizational routines. It is suggested that the organizational routines, i.e. the sequences of patterned actions which lead to the realization of the final goal, cannot be fully memorized because of their variety and number. It is shown that players do not possess all the knowledge needed by an hypothetical supervisor to play the best strategy: they generally explore only a limited part of the the space of the potential rules, and therefore learn and memorize a simple, bounded set of &quot;personal &quot; metarules. These metarules, also called &quot;production rules &quot; in standard Cognitive Science's language, are of the form. Each &quot;Condition &quot; can concern either the game configurations or the partner's action. In the former case the identification of an appropriate &quot;Action &quot; depends on the subgoals exploration. In the latter it depends on the recognition (or discovery) of interaction rules; in this eventuality the production rule embodies a dynamic and possibly cooperative reaction to the partner's action. Organizational procedures (routines) therefore emerge as the outcome of a distributed process generated by &quot;personal &quot; production rules. These routines, as in von Hayek's view, &quot;can be understood as if it were made according to a single plan, although nobody has planned it. &quot; (Hayek, 1980, p. 54). Empirical evidence is provided to support the above statements.
Computation and Hypercomputation
 MINDS AND MACHINES
, 2003
"... Does Nature permit the implementation of behaviours that cannot be simulated computationally? We consider the meaning of physical computationality in some detail, and present arguments in favour of physical hypercomputation: for example, modern scientific method does not allow the specification o ..."
Abstract

Cited by 23 (5 self)
 Add to MetaCart
Does Nature permit the implementation of behaviours that cannot be simulated computationally? We consider the meaning of physical computationality in some detail, and present arguments in favour of physical hypercomputation: for example, modern scientific method does not allow the specification of any experiment capable of refuting hypercomputation. We consider the implications of relativistic algorithms capable of solving the (Turing) Halting Problem. We also reject as a fallacy the argument that hypercomputation has no relevance because noncomputable values are indistinguishable from sufficiently close computable approximations. In addition to
Arbitrary Precision Real Arithmetic: Design and Algorithms
, 1996
"... this article the second representation mentioned above. We first recall the main properties of computable real numbers. We deduce from one definition, among the three definitions of this notion, a representation of these numbers as sequence of finite Badic numbers and then we describe algorithms fo ..."
Abstract

Cited by 20 (0 self)
 Add to MetaCart
this article the second representation mentioned above. We first recall the main properties of computable real numbers. We deduce from one definition, among the three definitions of this notion, a representation of these numbers as sequence of finite Badic numbers and then we describe algorithms for rational operations and transcendental functions for this representation. Finally we describe briefly the prototype written in Caml. 2. Computable real numbers