Loading in 2 Seconds...
Loading in 2 Seconds...
Foundations of Boundedly Rational Choices and Satisficing Decisions. Reviving a Simon Tradition K. Vela Velupillai Department of Economics University of Trento Via Inama 5 381 00 Trento Italy “If we hurry, we can catch up to Turing on the path he pointed out to us so many years ago.”
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Reviving a Simon Tradition
K. Vela Velupillai
Department of Economics
University of Trento
Via Inama 5
381 00 Trento
“If we hurry, we can catch up to Turing on the path he pointed out to us so many years ago.”
Herbert Simon, 1996
Herbert Simon, Letter to the author, 25 May 2000.
Formally, the orthodox rational agent's `Olympian' choices [Herbert A Simon (1983), Reason in Human Affairs, Basil Blackwell, Oxford. p.19) are made in a static framework. However, a formalization of consistent choice, underpinned by computability, suggests satisficingin a boundedly rational framework is not only more general than the model of `Olympian' rationality; it is also consistently dynamic. This kind of naturally process-oriented approach to the formalization of consistent choice can be interpreted and encapsulated within the framework of decision problems -- in the formal sense of metamathematics and mathematical logic -- which, in turn, is the natural way of formalizing the notion of Human Problem Solving in the Newell-Simon sense.
“[T]he Olympian model [of rationality], postulates a heroic man making comprehensive choices in an integrated universe. The Olympian view serves, perhaps, as a model of the mind of God, but certainly not as a model of the mind of man.”
Simon, 1983, p.34.
My staring point, in all my endeavours, has always been a Simonian modification of the way Kant broke up his central question: What is Man? – into three ostensibly more circumscribed questions (formulated against the backdrop of his codification of the battle cry of the Renaissance: SapereAude!):
Whatever knowledge is, it is algorithmic; therefore we must strive to obtain it algorithmically; and we obtain it to solve algorithmically formulated problems – whether they be those of a spontaneous mind’s curiosity [mathematics], those arising out of the needs of survival, reproduction or whatever.
"The term 'computing methods' is, of course, to be interpreted broadly as the mathematical specification of algorithms for arriving at a solution (optimal or descriptive), rather than in terms of precise programming for specific machines. Nevertheless, we want to stress that solutions which are not effectively computable are not properly solutions at all. Existence theorems and equations which must be satisfied by optimal solutions are useful tools toward arriving at effective solutions, but the two must not be confused. Even iterative methods which lead in principle to a solution cannot be regarded as acceptable if they involve computations beyond the possibilities of present-day computing machines.”
Arrow, Kenneth J, Samuel Karlin & Herbert Scarf (1958), The Nature and Structure of Inventory Problems, in: Studies in the Mathematical Theory of Inventory and Production, edited by Kenneth J Arrow, Samuel Karlin and Herbert Scarf, Stanford University Press, Stanford, California, p.17.
"The formalists have forgotten that numbers are needed, not only for doing sums, but for counting. .... The formalists are like a watchmaker who is so absorbed in making his watches look pretty that he has forgotten their purpose of telling the time, and has therefore omitted to insert any works
There is another difficulty in the formalist position, and that is as regards existence. Hilbert assumes that if a set of axioms does not lead to a contradiction, there must be some set of objects which satisfies the axioms; accordingly, in place of seeking to establish existence theorems by producing an instance, he devotes himself to methods of proving the self-consistency of his axioms. ... Here, again, he has forgotten that arithmetic has practical uses. There is no limit to the systems of non-contradictory axioms that might be invented. Our reasons for being specially interested in the axioms that lead to ordinary arithmetic lie outside arithmetic, and have to do with the application of number to empirical material. This application itself forms no part of either logic or arithmetic; but a theory which makes it a priori impossible cannot be right. ....
The intuitionist theory, represented first by Brouwer and later by Weyl, is a more serious matter. ... The essential point here is the refusal to regard a proposition as either true or false unless some method exists of deciding the alternative. Brouwer denies the law of the excluded middle where no such method exists. ... Consequently large parts of analysis, which for centuries have been thought well established, are rendered doubtful."
"Even those who like algorithms have remarkably little appreciation of the thoroughgoing algorithmic thinking that is required for a constructive proof. This is illustrated by the nonconstructive nature of many proofs in books on numerical analysis, the theoretical study of practical numerical algorithms. I would guess that most realist mathematicians are unable even to recognize when a proof is constructive in the intuitionist's sense.
It is a lot harder than one might think to recognize when a theorem depends on a nonconstructive argument. One reason is that proofs are rarely self-contained, but depend on other theorems whose proofs depend on still other theorems. These other theorems have often been internalized to such an extent that we are not aware whether or not nonconstructive arguments have been used, or must be used, in their proofs. Another reason is that the law of excluded middle [LEM] is so ingrained in our thinking that we do not distinguish between different formulations of a theorem that are trivially equivalent given LEM, although one formulation may have a constructive proof and the other not.”
Richman, Fred (1990), Intuitionism As Generalization, Philosophia Mathematica, Vol.5, pp.124-128.
"I often hear mention of what must be `thrown out' if one insists that mathematics needs to be algorithmic. What if one is throwing out error? Wouldn't that be a good thing rather than the bad thing the verb `to throw out' insinuates? I personally am not prepared to argue that what is being thrown out is error, but I think one can make a very good case that a good deal of confusion and lack of clarity are being thrown out. .....
How can anyone who is experienced in serious computation consider it important to conceive of the set of all real numbers as a mathematical `object' that can in some way be `constructed' using pure logic? .... Let us agree with Kronecker that it is best to express our mathematics in a way that is as free as possible from philosophical concepts. We might in the end find ourselves agreeing with him about set theory. It is unnecessary.”
Harold Edwards: Kronecker's Algorithmic Mathematics, The Mathematical Intelligencer, Vol. 31, Number 2, Spring, p. 14; bold emphases added.
In mathematics everything is algorithm and nothing is meaning; even when it doesn't look like that because we seem to be using words to talk about mathematical things. Even these words are used to construct an algorithm.
Wittgenstein, Ludwig (1974), Philosophical Grammar, Basil Blackwell, Oxford, p. 468.
It is in this context that one must recall Brouwer's famous first act of intuitionism, with its uncompromising requirement for constructive mathematics -- which is intrinsically algorithmic -- to be independent of `theoretical logic' and to be 'languageless':
"FIRST ACT OF INTUITIONISM Completely separating mathematics from mathematical language and hence from the phenomena of language described by theoretical logic, recognizing that intuitionistic mathematics is an essentially languageless activity of the mind having its origin in the perception of a move of time.“
Brouwer, Luitzen E.J (1981), Brouwer's Cambridge Lectures on Intuitionism, edited by D. van Dalen, Cambridge University Press, Cambridge., p.4.
"Quite probably, with the development of the modern computing technique it will be clear that in very many cases it is reasonable to conduct the study of real phenomena avoiding the intermediary stage of stylizing them in the spirit of the ideas of mathematics of the infinite and the continuous, and passing directly to discrete models. This applies particularly to the study of systems with a complicated organization capable of processing information. In the most developed such systems the tendency to discrete work was due to reasons that are by now sufficiently clarified. It is a paradox requiring an explanation that while the human brain of a mathematician works essentially according to a discrete principle, nevertheless to the mathematician the intuitive grasp, say, of the properties of geodesics on smooth surfaces is much more accessible than that of properties of combinatorial schemes capable of approximating them.
Using the brain, as given by the Lord, a mathematician may not be interested in the combinatorial basis of his work. But the artificial intellect of machines must be created by man, and man has to plunge into the indispensable combinatorial mathematics. For the time being it would still be premature to draw final conclusions about the implications for the general architecture of the mathematics of the future.“
Kolmogorov, Andrei Nikolaevich (1983), Combinatorial Foundations of Information Theory and the Calculus of Probabilities, Russian Mathematical Surveys, Vol. 38, #4, pp. 30-1.
The Ideal Mechanism for Computing: A Turing Machine
"By a decision procedure for a given formalized theory T we understand a method which permits us to decide in each particular case whether a given sentence formulated in the symbolism of T can be proved by means of the devices available in T (or, more generally, can be recognized as valid in T). The decision problem for T is the problem of determining whether a decision procedure for T exists (and possibly for exhibiting such procedure). A theory T is called decidable or undecidable according as the solution of the decision problem is positive or negative.“
Tarski, Alfred, (in collaboration with) Andrzej Mostowski and Raphael M. Robinson (1953), Undecidable Theories, North-Holland Publishing Company, Amsterdam p.3; italics in the original.
A decision problem asks whether there exists an algorithm to decide whether a mathematical assertion does or does not have a proof; or a formal problem does or does not have a solution. Thus the characterization must make clear the crucial role of an underpinning model of computation; secondly, the answer is in the form of a yes/no response. Of course, there is the third alternative of `undecidable‘ – ‘don’t know’ - too.
Remark: Decidable-Undecidable,Solvable-Unsolvable, Computable-Uncomputable, etc., are concepts that are given content algorithmically.
The three most important classes of decision problems that almost characterise the subject of computational complexity theory, underpinned by a model of computation, are the P, NP and NP-Complete classes.
Concisely, but not quite precisely, they can be described as follows:
In his fascinating and, indeed, provocative and challenging chapter, titled What is Bounded Rationality (cf: Gigerenzer, Gerd & Reinhard Selten (2001; editors), Bounded Rationality: The Adaptive Toolbox, The MIT Press, Cambridge, Massachusetts., chapter 2, p.35), Reinhard Selten first wonders what bounded rationality is,a nd then goes on to state that an answer to the question `cannot be given' now:
"What is bounded rationality? A complete answer to this question cannot be given at the present state of the art. However, empirical findings put limits to the concept and indicate in which direction further inquiry should go."
In a definitive sense - entirely consistent with the computational underpinnings Simon always sought - I try to give a `complete answer' to Selten's finessed question. I go further and would like to claim that the `limits to the concept' derived from current `empirical findings' cannot point the direction Simon would have endorsed for `further inquiry' to go - simply because current frameworks are devoid of the computable underpinnings that were the hallmark of Simon's behavioural economics.
Herbert Simon to Bertrand Russell, 9 September, 1957
“I am also delighted by your exact demonstration of the old saw that wisdom is not the same thing as erudition.”
Bertrand Russell to Herbert Simon, 21 September, 1957