Extending mechanics to minds: The mechanical foundations of psychology and economics

Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics

Volumn 9780521861977, Issue , 2006, Pages 1-453

  Doyle, Jon ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; HYBRID MATERIALS; HYBRID SYSTEMS; PHILOSOPHICAL ASPECTS;

BOUNDED RATIONALITY; DYNAMIC PROPERTY; HUMAN BODIES; MECHANICAL SYSTEMS; MENTAL MODEL; PHYSICAL SCIENCE; RATIONAL MECHANICS; TECHNICAL ANALYSIS;

MECHANICS;

EID: 84930704080     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1017/CBO9780511546952     Document Type: Book

References (314)

1. Abelson, H., and Sussman, G. J. 1985. Structure and Interpretation of Computer Programs. Cambridge, MA: MIT Press.
2. Abraham, R., and Marsden, J. E. 1978. Foundations of Mechanics. Reading, MA: Benjamin, second edition.
3. Ackley, D., Hinton, G., and Sejnowski, T. 1985. A learning algorithm for Boltzmann machines. Cognitive Science 9:147-169.
4. Aczel, P. 1988. Non-Well-Founded Sets. Stanford, CA: Center for the Study of Language and Information.
5. Akers, S. B. 1959. On a theory of Boolean functions. Journal of the Society for Industrial and Applied Mathematics 7:487-498.
6. Alur, R., Courcoubetis, C., Henzinger, T. A., and Ho, P.-H. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Grossman, R., Nerode, A., Ravn, A., and Rischel, H., eds., Hybrid Systems, Volume 736 of Lecture Notes in Computer Science, 209-229. Berlin: Springer-Verlag.
7. Andreski, S. 1972. Social Sciences as Sorcery. New York: St. Martin's Press.
8. Aristotle. 1962. Nichomachian Ethics. Indianapolis: Bobbs-Merrill. Translated by M. Ostwald.
9. Arrow, K. J., and Hahn, F. H. 1971. General Competitive Analysis. Amsterdam: North-Holland.
10. Arrow, K. J. 1963. Social Choice and Individual Values. New Haven, CT: Yale University Press, second edition.
11. Aubin, J. P., and Cellina, A. 1984. Differential Inclusions: Set-Valued Maps and Viability Theory. Berlin: Springer-Verlag.
12. Aumann, R. J. 1964. Markets with a continuum of traders. Econometrica 32:39-50.
13. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P., eds. 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge, UK: Cambridge University Press.
14. Bacchus, F., Grove, A. J., Halpern, J. Y., and Koller, D. 1996. From statistical knowledge bases to degrees of belief. Artificial Intelligence 87(1-2):75-143.
15. Baez, J. C., and Gilliam, J. W. 1994. An algebraic approach to discrete mechanics. Letters in Mathematical Physics 31:205-212.
16. Bell, J. S. 1966. On the problem of hidden variables in quantum mechanics. Review of Modern Physics 38:447-452.
17. Bell, J. S. 1987. Speakable and Unspeakable in Quantum Mechanics. Cambridge, UK: Cambridge University Press.
18. Belnap, N. D. 1976. How a computer should think. In Ryle, G., ed., Contemporary Aspects of Philosophy. Stocksfield: Oriel Press. 30-56.
19. Beltrametti, E. G., and Cassinelli, G. 1981. The Logic of Quantum Mechanics. Reading, MA: Addison-Wesley.
20. Benvenuto, E. 1991. An Introduction to the History of Structural Mechanics. New York: Springer-Verlag. In two volumes.
21. Birkhoff, G. 1967. Lattice Theory. Providence, RI: American Mathematical Society.
22. Blum, L., Cucker, F., Shub, M., and Smale, S. 1998. Complexity and Real Computation. New York: Springer-Verlag.
23. Bohm, D. 1952. A suggested interpretation of the quantum theory in terms of “hidden variables,” Parts I and II. Physical Review 85:166-179,180-193.
24. Bolles, R. C. 1975. Theory of motivation. New York: Harper & Row, second edition.
25. Boolos, G. 1979. The Unprovability of Consistency: An Essay in Modal Logic. Cambridge, UK: Cambridge University Press.
26. Boutilier, C., Dean, T., and Hanks, S. 1999. Decision theoretic planning: Structural as-sumptions and computational leverage. Journal of Artificial Intelligence Research 11:1-94.
27. Boyd, R., and Richerson, P. J. 1985. Culture and the Evolutionary Process. Chicago: University of Chicago Press.
28. Brams, S. J. 1980. Biblical Games: A Strategic Analysis of Stories in the Old Testament. Cambridge, MA: MIT Press.
29. Brams, S. J. 1983. Superior Beings: If They Exist, How Would We Know? Game-Theoretic Implications ofOmniscience, Omnipotence, Immortality, and Incomprehensibility. New York: Springer-Verlag.
30. Branicky, M. S. 1994. Analog computation with continuous ODEs. In Proceedings of the IEEE Workshop Physics and Computation, 265-274. New York: IEEE.
31. Branicky, M. S. 1995. Universal computation and other capabilities of hybrid and con-tinuous dynamical systems. Theoretical Computer Science 138(1):67-100. Special issue on hybrid systems.
32. Brentano, F. C. 1874. Psychologie vom empirischen Standpunkte. Leipzig: Duncker and Humblot.
33. Bressan, A. 1978. Relativistic Theories ofMaterials, Volume 29 of Springer Tracts in Natural Philosophy. Berlin: Springer-Verlag.
34. Brooks, R. A. 1991. Intelligence without representation. Artificial Intelligence 47:139159.
35. Burges, C. J. C., and Schdlkopf, B. 1997. Improving the accuracy and speed of support vector learning machines. In Mozer, M., Jordan, M., and Petsche, T., eds., Advances in Neural Information Processing Systems 9. Cambridge, MA: MIT Press. 375-381.
36. Burges, C. J. C. 1998. A tutorial on support vector machines for pattern recognition. Knowledge Discovery and Data Mining 2(2): 121-167.
37. Burgess, J. P. 1984. Synthetic mechanics. Journal of Philosophical Logic 13:379396.
38. Carbonell, J. G. 1986. Derivational analogy: A theory of reconstructive problem solving and expertise acquisition. In Michalski, R. S., Carbonell, J. G., and Mitchell, T. M., eds., Machine Learning: An Artificial Intelligence Approach, Volume 2. San Francisco, CA: Morgan Kaufmann. 371-392.
39. Carnap, R. 1950. Logical Foundations ofProbability. Chicago: University of Chicago Press.
40. Cass, D., and Shell, K. 1976. The Hamiltonian Approach to Dynamic Economics. New York: Academic Press.
41. Chaitin, G. J. 1975. A theory of program size formally identical to information theory. Journal of the ACM 22:329-340.
42. Cheng, J., and Wellman, M. 1998. The WALRAS algorithm: A convergent distributed implementation of general-equilibrium outcomes. Computational Economics 12:1-24.
43. Church, A. 1941. The Calculi of Lambda-Conversion. Number 6 in Annals of Mathematics Studies. Princeton, NJ: Princeton University Press.
44. Church, A. 1944. Introduction to Mathematical Logic, I. Number 13 in Annals of Mathematics Studies. Princeton, NJ: Princeton University Press. Based on notes taken by C. Truesdell.
45. Churchill, W. 1941. Radio broadcast of the 1941 University of Rochester Commencement Address. Rochester, NY: University of Rochester. http://hdl.handle. net/1802/2139.
46. Cobham, A. 1966. The recognition problem for the set of perfect squares. In Conference Record of the Seventh Annual Symposium on Switching and Automata Theory, 78-87. New York: IEEE.
47. Coolidge, J. L. 1909. The gambler's ruin. The Annals of Mathematics, 2nd Series 10(4): 181-192.
48. Coolidge, J. L. 1940. A History of Geometrical Methods. Oxford, UK: The Clarendon Press.
49. Copeland, B. J. 2002. Hypercomputation. Minds and Machines 12(4):461-502.
50. Cucker, F., and Smale, S. 2002. On the mathematical foundations of learning. Bulletin of the American Mathematical Society 39:1-49.
51. Davis, M. 1981. Obvious logical inferences. In Proceedings of the Seventh International Joint Conference on Artificial Intelligence, 530-531. San Francisco, CA: Morgan Kaufmann.
52. Davoren, J. M. 1998. Modal Logics for Continuous Dynamics. Ph.D. Dissertation, Cornell University.
53. de Kleer, J., Doyle, J., Steele Jr., G. L., and Sussman, G. J. 1977. AMORD: Explicit control of reasoning. In Proceedings of the ACM Symposium on Artificial Intelligence and Programming Languages, 116-125. New York: ACM.
54. de Witt, B. S., and Graham, N. 1973. The Many-Worlds Interpretation of Quantum Mechanics. Princeton, NJ: Princeton University Press.
55. Dieudonne, J. 1963. La Geometrie des Groupes Classiques, Volume 5 of Ergebnisse der Mathematik und ihrer Grenzgebiete. Berlin: Springer-Verlag, second edition.
56. Doyle, J., and Thomason, R. H. 1999. Background to qualitative decision theory. AI Magazine 20(2):55-68.
57. Doyle, J., and Wellman, M. P. 1990. Rational distributed reason maintenance for planning and replanning of large-scale activities. In Sycara, K., ed., Proceedings of the DARPA Workshop on Planning and Scheduling, 28-36. San Francisco, CA: Morgan Kaufmann.
58. Doyle, J., and Wellman, M. P 1991. Impediments to universal preference-based default theories. Artificial Intelligence 49(1-3):97-128.
59. Doyle, J., Shoham, Y., and Wellman, M. P. 1991. A logic of relative desire (preliminary report). In Ras, Z. W., and Zemankova, M., eds., Methodologies for Intelligent Systems, 6, Volume 542 of Lecture Notes in Artificial Intelligence, 16-31. Berlin: Springer-Verlag.
60. Doyle, J. 1976. The use of dependency relationships in the control of reasoning. Working Paper 133, MIT AI Laboratory.
61. Doyle, J. 1977. Truth maintenance systems for problem solving. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, 247. San Francisco, CA: Morgan Kaufmann.
62. Doyle, J. 1979. A truth maintenance system. Artificial Intelligence 12(2):231-272.
63. Doyle, J. 1980. A model for deliberation, action, and introspection. Technical Report AI-TR 581, MIT AI Laboratory.
64. Doyle, J. 1981. Three short essays on decisions, reasons, and logics. Technical Report 81-864, Computer Science Department, Stanford University.
65. Doyle, J. 1982a. The foundations of psychology. Technical Report 82-149, Department of Computer Science, Carnegie Mellon University.
66. Doyle, J. 1982b. What is Church's Thesis? An outline. Written at Carnegie Mellon University and privately circulated thereafter (eventually published as Doyle 2002b).
67. Doyle, J. 1983a. Admissible state semantics for representational systems. IEEE Computer 16(10): 119-123.
68. Doyle, J. 1983b. The ins and outs of reason maintenance. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, 349-351. San Francisco, CA: Morgan Kaufmann.
69. Doyle, J. 1983c. Methodological simplicity in expert system construction: The case of judgments and reasoned assumptions. AI Magazine 3(2):39-43.
70. Doyle, J. 1983d. A society of mind: Multiple perspectives, reasoned assumptions, and virtual copies. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, 309-314. San Francisco, CA: Morgan Kaufmann.
71. Doyle, J. 1983e. Some theories of reasoned assumptions: An essay in rational psy-chology. Technical Report 83-125, Department of Computer Science, Carnegie Mellon University.
72. Doyle, J. 1983f. What is rational psychology? Toward a modern mental philosophy. AI Magazine 4(3):50-53.
73. Doyle, J. 1985a. Expert systems and the “myth” of symbolic reasoning. IEEE Trans-actions on Software Engineering SE-11(11): 1386-1390.
74. Doyle, J. 1985b. Reasoned assumptions and Pareto optimality. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, 87-90.
75. Doyle, J. 1988a. Artificial intelligence and rational self-government. Technical Report CS-88-124, Department of Computer Science, Carnegie-Mellon University.
76. Doyle, J. 1988b. On universal theories of defaults. Technical Report CS-88-111, Department of Computer Science, Carnegie-Mellon University.
77. Doyle, J. 1989. Constructive belief and rational representation. Computational Intelli-gence 5(1): 1-11.
78. Doyle, J. 1990a. The foundations of psychology: A logico-computational inquiry into the concept of mind. In Cummins, R., and Pollock, J., eds., Philosophy andAI: Essays at the Interface, A Bradford Book. Cambridge, MA: MIT Press. Chapter 3, 39-77.
79. Doyle, J. 1990b. Rational belief revision. Presented at the Third International Workshop on Nonmonotonic Reasoning, Stanford Sierra Camp, CA.
80. Doyle, J. 1991. Rational belief revision (preliminary report). In Fikes, R. E., and Sande-wall, E., eds., Proceedings of the Second Conference on Principles of Knowledge Representation and Reasoning, 163-174. San Francisco, CA: Morgan Kaufmann.
81. Doyle, J. 1992a. Rationality and its roles in reasoning. Computational Intelligence 8(2):376-409.
82. Doyle, J. 1992b. Reason maintenance and belief revision: Foundations vs. coherence theories. In Gardenfors, P., ed., Belief Revision. Cambridge, UK: Cambridge Uni-versity Press. 29-51.
83. Doyle, J. 1994. Reasoned assumptions and rational psychology. Fundamenta Infor-maticae 20(1-3):35-73.
84. Doyle, J. 1996. Toward rational planning and replanning: Rational reason maintenance, reasoning economies, and qualitative preferences. In Tate, A., ed., Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Initiative. Menlo Park, CA: AAAI Press. 130-135.
85. Doyle, J. 1997. Final report on rational distributed reason maintenance for planning and replanning of large-scale activities (1991-1994). Technical Report TR-97-40, ADA328535, U.S. Air Force Research Laboratory.
86. Doyle, J. 2001. Matter, mind and mechanics: New models for dynamogenesis and rationality. Available via http://www.csc.ncsu.edu/faculty/doyle/.
87. Doyle, J. 2002a. A rational mechanics of reasoning (extended abstract of Doyle 2001).
88. Doyle, J. 2002b. What is Church's thesis? An outline. Minds and Machines 12(4):519- 520.
89. Doyle, J. 2004. Prospects for preferences. Computational Intelligence 20(2): 111-136.
90. Einstein, A. 1916. Die grundlage der allgemeinen relativitatstheorie. Annalen der Physik 49(4):769-822.
91. Elgot, C. C., and Robinson, A. 1964. Random access stored program machines, an approach to programming languages. Journal of the ACM 11(4):365-399.
92. Elster, J. 1979. Ulysses and the Sirens: Studies in Rationality and Irrationality. Cambridge, UK: Cambridge University Press.
93. Euler, L. 1750. Decouverte d'un nouveau principe de mechanique (Discovery of a new principle of mechanics). Memoires de l'Academie des Sciences, Berlin 6:185-217.
94. Euler, L. 1775. Nova methodus motum corporum rigidorum determinandi (A new method for determining the motion of a rigid body). Novi Commentarii Academiae Scientiarum Petropolitanae 20:208-238.
95. Everett III, H. 1957. “Relative state” formulation of quantum mechanics. Reviews of Modern Physics 29(3):454-462. Reprinted in de Witt & Graham (1973).
96. Fagin, R., Ullman, J. D., and Vardi, M. Y. 1983. On the semantics of updates in databases. In Proceedings of the Second ACM SIGACT-SIGMOD Conference on Principles of Database Systems, 352-365. New York: ACM.
97. Festinger, L. 1957. A Theory of Cognitive Dissonance. Stanford, CA: Stanford University Press.
98. Feynman, R. P. 1949. The theory of positrons. Physical Review 76:749-759.
99. Feynman, R. P. 1966. The development of the space-time view of quantum electrody-namics. Science 153(3737):699-708.
100. Fikes, R. E., and Nilsson, N. J. 1971. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2:189-208.
101. Finkelstein, D. 1996. Quantum Relativity. Heidelberg: Springer-Verlag.
102. Frank, M. P., and Knight, T. F. 1998. Ultimate theoretical models of nanocomputers. Nanotechnology 9(3):162-176.
103. Frank, M., Knight, T., and Margolus, N. 1998. Reversibility in optimally scalable computer architectures. In Unconventional Models of Computation (Auckland, 1998). Singapore: Springer. 165-182.
104. Frank, M. P 1999. Reversibility for Efficient Computing. Ph.D. Dissertation, Massachusetts Institute of Technology.
105. Frankfurt, H. 1971. Freedom of the will and the concept of a person. Journal of Philosophy 68:5-20.
106. Fredkin, E., and Toffoli, T. 1982. Conservative logic. International Journal of Theoretical Physics 21:219-253.
107. Freud, S. 1895. Project for a scientific psychology. In Strachey, J., ed., Standard Edition of the Complete Psychological Works of Sigmund Freud, Volume I. London: Hogarth Press. Reprinted in 1966.
108. Freyd, J. J. 1987. Dynamic mental representations. Psychological Review 94(4):427- 438.
109. Gandy, R. 1980. Church's thesis and principles for mechanisms. In Barwise, J., Keisler, H. J., and Kunen, K., eds., The Kleene Symposium. Amsterdam: North-Holland. 123-148.
110. Gardenfors, P., and Makinson, D. 1988. Revisions of knowledge systems using epis-temic entrenchment. In Vardi, M. Y., ed., Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, 83-95. San Francisco, CA: Morgan Kaufmann.
111. Gardenfors, P. 1988. Knowledge in Flux: Modeling the Dynamics of Epistemic States. Cambridge, MA: MIT Press.
112. Geertz, C. 1983. Common sense as a cultural system. In Local Knowledge. New York: Basic Books. 73-93.
113. Gilliam, J. W. 1996. Lagrangian and Symplectic Techniques in Discrete Mechanics. Ph.D. Dissertation, University of California, Riverside.
114. Ginsberg, M. L. 1996. Do computers need common sense? In Carlucci Aiello, L., Doyle, J., and Shapiro, S., eds., Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, 620-626. San Francisco, CA: Morgan Kaufmann.
115. Glimm, J., and Jaffe, A. 1981. Quantum Physics. New York: Springer.
116. Goadel, K. 1931. Ua ber formal unentscheidbar saatze der Principia Mathematica und verwandter system I. Monatshefte fur Mathematik und Physik 38:173-198.
117. Greenspan, D. 1972. A new explicit discrete mechanics with applications. Journal of the Franklin Institute 294:231-240.
118. Guo, H.-Y., and Wu, K. 2003. On variations in discrete mechanics and field theory. Journal of Mathemathical Physics 44(12):5978-6004.
119. Gurtin, M. E. 1981. An Introduction to Continuum Mechanics. New York: Academic Press.
120. Hamel, G. 1908. Uber die grundlagen der mechanik. Mathematische Annalen 66:350397.
121. Hamming, R. W. 1962. Numerical Methods for Scientists and Engineers. New York: McGraw-Hill.
122. Harman, G. 1986. Change in View: Principles of Reasoning. Cambridge, MA: MIT Press.
123. Hartmanis, J. 1973. On the problem of finding natural computational complexity mea-sures. Technical Report TR 73-175, Department of Computer Science, Cornell University.
124. Hartmanis, J. 1994. Turing award lecture on computational complexity and the nature of computer science. Communications of the ACM 37(10):37-43.
125. Hartwig, R. E., and Doyle, J. 2002. Solid motion of binary vectors. Unpublished manuscript.
126. Herbart, J. F. 1877. Possibility and necessity of applying mathematics in psychology. Journal of Speculative Philosophy 11:251-264.
127. Herbart, J. F. 1891. A Text-Book in Psychology: An Attempt to Found the Science of Psychology on Experience, Metaphysics, and Mathematics. New York: Appleton. Translation of the second revised edition of 1834 (Hamburg: Hartenstein, 1886). First edition 1816.
128. Hermann, R. 1990. A 'geometric' view of the dynamics of trajectories of computer programs. Acta Applicandae Mathematicae 18:145-182.
129. Hermann, R. 1991. Geometric Computing Science: First Steps, Volume 25 of Interdis-ciplinary Mathematics. Brookline, MA: Math Sci Press.
130. Hilbert, D. 1902. Mathematical problems. Bulletin of the American Mathematical Society 8:437-479. Lecture delivered before the 1900 International Congress of Mathematicians at Paris.
131. Hilbert, D. 1926. Uber das unendliche. Mathematische Annalen 95:161-190.
132. Hinton, G. E., Sejnowski, T. J., and Ackley, D. H. 1984. Boltzmann machines: Constraint satisfaction networks that learn. Technical Report CMU-CS-84-119, Department of Computer Science, Carnegie-Mellon University.
133. Hobbes, T. 1656. Elements of Philosophy. London, UK: Leybourn.
134. Horvitz, E. J., Cooper, G. F., and Heckerman, D. E. 1989. Reflection and action under scarce resources: Theoretical principles and empirical study. In Sridha-ran, N. S., ed., Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Volume 2. San Francisco, CA: Morgan Kaufmann 11211127.
135. Horvitz, E. J. 1987. Reasoning about beliefs and actions under computational resource constraints. In Proceedings of the Third AAAI Workshop on Uncertainty in Artificial Intelligence, 429-444. Menlo Park, CA: AAAI.
136. Irving, J., and Kirkwood, J. 1950. The statistical mechanical theory of transport processes. IV. The equations of hydrodynamics. Journal of Chemical Physics 18:817-829.
137. Iwasaki, Y., Farquhar, A., Saraswat, V., Bobrow, D., and Gupta, V. 1995. Modeling time in hybrid systems: How fast is 'instantaneous'? In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1773-1780. San Francisco, CA: Morgan Kaufmann.
138. Jackson, F. 1986. What Mary didn't know. The Journal of Philosophy 83(5):291-295.
139. Jaffe, A. M. 1984. Ordering the universe. SIAM Review 26(4):473-500.
140. James, W. 1890. The Principles of Psychology. New York: Henry Holt. In two volumes.
141. James, W. 1897. The Will to Believe and Other Essays in Popular Philosophy. New York: Longmans, Green.
142. James, W. 1920. The Letters of William James. Boston: Atlantic Monthly Press. Edited by Henry James, in two volumes.
143. Jost, R. 1965. The General Theory of Quantized Fields. Providence, RI: American Mathematical Society.
144. Kalman, R. E., Falb, P. L., and Arbib, M. A. 1969. Topics in Mathematical System Theory. New York: McGraw-Hill.
145. Kauffman, L. H., and Noyes, H. P. 1996. Discrete physics and the derivation of electro-magnetism from the formalism of quantum mechanics. Proceedings of the Royal Society of London, Series A 452(1944):81-95.
146. Klein, E., and Thompson, A. C. 1984. Theory of Correspondences: Including Applications to Mathematical Economics. New York: Wiley.
147. Knight, F. H. 1956. Statics and dynamics: Some queries regarding the mechanical analogy in economics. In On the History and Method of Economics. Chicago: University of Chicago Press. 179-201.
148. Knuth, D. E. 1976. Mathematics and computer science: Coping with finiteness. Science 194:1235-1242.
149. Kock, A. 1981. Synthetic Differential Geometry. Cambridge, UK: Cambridge University Press.
150. Kolmogorov, A. N. 1969. On the logical foundations of information theory and proba-bility theory. Problems of Information Transmission 5(3):1-4.
151. Krantz, D. H., Luce, R. D., Suppes, P., and Tversky, A. 1971. Foundations ofMeasure-ment. New York: Academic Press.
152. Kyburg, Jr., H. E. 1970. Probability and Inductive Logic. New York: Macmillan.
153. LaBudde, R. A., and Greenspan, D. 1974. Discrete mechanics-a general treatment. Journal of Computational Physics 15:134-167.
154. Laird, J. E., Newell, A., and Rosenbloom, P. S. 1987. SOAR: An architecture for general intelligence. Artificial Intelligence 33:1-64.
155. Lakoff, G., and NUnez, R. E. 2000. Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being. New York: Basic Books.
156. Lamport, L. 1978. Time, clocks and the ordering of events in a distributed system. Communications of the ACM 21(7):558-565.
157. Laplace, P.-S. 1814. Essais Philosophique sur les probabilites. Paris: Courcier.
158. Lawvere, F. W. 2002. Categorical algebra for continuum micro physics. Journal of Pure and Applied Algebra 175 (2002):267-287.
159. Le Bon, G. 1895. La Psychologie des Foules. Paris: F. Alcan.
160. Leibenstein, H. 1980. Beyond Economic Man: A New Foundation for Microeconomics. Cambridge, MA: Harvard University Press, second edition.
161. Lewin, K. 1951. Field Theory in Social Science. New York: Harper.
162. Lewis, D. 1973. Counterfactuals. Oxford, UK: Blackwell.
163. Lewis, D. 1980. A subjectivist's guide to objective chance. In Harper, W. L., Stalnaker, R., and Pearce, G., eds., Ifs. Dordrecht: Reidel. 267-297.
164. Loui, R. P. 1998. Process and policy: Resource-bounded nondemonstrative reasoning. Computational Intelligence 14(1): 1-38.
165. Mac Lane, S. 1986. Mathematics: Form and Function. New York: Springer-Verlag.
166. Manthey, M. J., and Moret, B. M. E. 1983. The computational metaphor and quantum physics. Communications of the ACM 26(2):137-145.
167. Marek, V. W., and Truszczynski, M. 1993. Nonmonotonic Logic: Context-Dependent Reasoning. Berlin: Springer-Verlag.
168. Margolus, N., and Levitin, L. B. 1997. The maximum speed of dynamical evolution. PhysicaD 120:188-195.
169. Margolus, N. 1984. Physics-like models of computation. Physica D 10(1-2): 81-95.
170. Marsden, J. E., and Hughes, T. J. R. 1983. Mathematical Foundations of Elasticity. Englewood Cliffs, NJ: Prentice-Hall.
171. Marshall, A. 1949. Principles ofEconomics. New York: Macmillan, eighth edition.
172. McAllester, D. A. 1980. An outlook on truth maintenance. Report AIM 551, MIT AI Laboratory.
173. McCarthy, J., and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. In Meltzer, B., and Michie, D., eds., Machine Intelligence 4. Edinburgh, UK: Edinburgh University Press. 463-502.
174. McCarthy, J., et al. 1965. Lisp 1.5 Programmer's Manual. Cambridge, MA: MIT Press, second edition.
175. McCarthy, J. 1958. Programs with common sense. In Proceedings of the Symposium on Mechanisation of Thought Processes, Volume 1. London: Her Majesty's Stationery Office. 77-84.
176. McDermott, D., and Doyle, J. 1980. Non-monotonic logic-I. Artificial Intelligence 13(1-2):41-72.
177. McKinsey, J. C. C., Sugar, A. C., and Suppes, P. 1953a. Axiomatic foundations of classical particle mechanics. Journal of Rational Mechanics and Analysis 2: 253-272.
178. McKinsey, J. C. C., Sugar, A. C., and Suppes, P. 1953b. Transformations of systems of classical particle mechanics. Journal of Rational Mechanics and Analysis 2: 273-289.
179. McShane, E. J. 1953. Order-Preserving Maps and Integration Processes. Number 31 in Annals of Mathematics Studies. Princeton, NJ: Princeton University Press. Reprinted by Kraus Reprint Corporation (1965).
180. Miller, G. A. 1986. Dismembering cognition. In Hulse, S. H., and Green, Jr., B. F., eds., One Hundred Years of Psychological Research in America. Baltimore: Johns Hopkins University Press. 277-298.
181. Milnor, J., and Husemoller, D. 1973. Symmetric Bilinear Forms. New York: Springer-Verlag.
182. Minsky, M., and Papert, S. 1969. Perceptrons: An Introduction to Computational Geometry. Cambridge, MA: MIT Press.
183. Minsky, M. 1963. Steps toward artificial intelligence. In Feigenbaum, E. A., and Feldman, J., eds., Computers and Thought. New York: McGraw-Hill. 406-450.
184. Minsky, M. 1965. Matter, mind, and models. In Information Processing: Proceedings of the IFIP Congress, 45-49. Amsterdam: North-Holland.
185. Minsky, M. 1967. Computation: Finite and Infinite Machines. Englewood Cliffs, NJ: Prentice-Hall.
186. Minsky, M. 1974. A framework for representing knowledge. AI Memo 306, MIT AI Laboratory. Reprinted in abbreviated form in Mind Design, J. Haugeland, ed., Cambridge, MA: MIT Press (1981). 95-128.
187. Minsky, M. 1980. K-lines: A theory of memory. Cognitive Science 4:117-133.
188. Minsky, M. 1986. The Society of Mind. New York: Simon & Schuster.
189. Minsky, N. H. 1988. Law-governed systems. Technical report, Computer Science Department, Rutgers University.
190. Mirowski, P. 1989. More Heat Than Light: Economics as Social Physics: Physics as Nature's Economics. Cambridge, UK: Cambridge University Press.
191. Misner, C. W., Thorne, K. S., and Wheeler, J. A. 1973. Gravitation. San Francisco: Freeman.
192. Mitchell, T. M., Keller, R. M., and Kedar-Cabelli, S. T. 1986. Explanation-based generalization: A unifying view. Machine Learning 1(1):47-80.
193. Miiller, K.-R., Mika, S., Ratsch, G., Tsuda, K., and Scholkopf, B. 2001. An introduction to kernel-based learning algorithms. IEEE Neural Networks 12(2): 181-201.
194. Myers, I. B., and Myers, P. B. 1980. Gifts differing. Palo Alto, CA: Consulting Psychologists Press.
195. Nelson, R. R., and Winter, S. G. 1982. An Evolutionary Theory of Economic Change. Cambridge, MA: Harvard University Press.
196. Nelson, E. 1966. Derivation of the Schrodinger equation from Newtonian mechanics. Physical Review 150(4):1079-1085.
197. Nelson, E. 1985. Quantum Fluctuations. Princeton, NJ: Princeton University Press.
198. Newell, A., Shaw, J. C., and Simon, H. A. 1960. Report on a general problem-solving program. In Proceedings of the International Conference on Information Processing, 256-264. Paris: UNESCO.
199. Newell, A. 1982. The knowledge level. Artificial Intelligence 18(1):87-127.
200. Newton, I. 1687. Philosophic Naturalis Principia Mathematica. London: Royal Society.
201. Nilsson, N. J. 1986. Probabilistic logic. Artificial Intelligence 28:71-87.
202. Noll, W., and Virga, E. G. 1988. Fit regions and functions of bounded variation. Archive for Rational Mechanics and Analysis 102:1-21.
203. Noll, W. 1955. Die herleitung der grundgleichungen der thermomechanik der kon-tinua aus der statischen mechanik. Journal of Rational Mechanics and Analysis 4: 627-646.
204. Noll, W. 1958. The foundations of classical mechanics in the light of recent advances in continuum mechanics. In L. Henkin, P. Suppes, and A. Tarski, eds., The Axiomatic Method, With Special Reference to Geometry and Physics. Proceedings of an International Symposium Held at the University of California, Berkeley, December 26, 1957-January 4, 1958. Studies in Logic and the Foundations of Mathematics, 266-281. Amsterdam: North-Holland. Reprinted in Noll (1974).
205. Noll, W. 1963. La mecanique classique, basee sur un axiome d'objectivite. In La Methode Axiomatique dans les Mecaniques Classiques et Nouvelles (Actes Quatrieme Colloque International de Logique et Philosophie des Sciences, Paris, 1959), 47-56. Paris: Gauthier-Villars. Reprinted in Noll (1974).
206. Noll, W. 1964. Euclidean geometry and Minkowskian chronometry. American Mathe-matical Monthly 71:129-144. Reprinted in Noll (1974).
207. Noll, W. 1972. A new mathematical theory of simple materials. Archive for Rational Mechanics and Analysis 48:1-50. Reprinted in Noll (1974).
208. Noll, W. 1973. Lectures on the foundations of continuum mechanics and thermody-namics. Archive for Rational Mechanics and Analysis 52:62-92. Reprinted in Noll (1974).
209. Noll, W. 1974. The Foundations of Mechanics and Thermodynamics: Selected Papers. Berlin: Springer-Verlag.
210. Noll, W. 1995. On material frame-indifference. Technical Report 95-NA-022, Department of Mathematics, Carnegie Mellon University.
211. Noyes, H. P. 1996. Some thoughts on discrete physics and the reconstruction of quantum mechanics. Technical Report SLAC-PUB-7145, Stanford Linear Accelerator.
212. Paris, J., and Harrington, L. 1977. A mathematical incompleteness in Peano arithmetic. In Barwise, J., ed., Handbook of Mathematical Logic, Volume 90 of Studies in Logic and the Foundations of Mathematics, Chapter D.8, 1133-1142. Amsterdam: North-Holland.
213. Pascal, B. 1962. Pensees sur la religion et sur quelques autres sujets. London: Harvill. Translated by M. Turnell, originally published 1662.
214. Pearl, J. 1988. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. San Francisco, CA: Morgan Kaufmann.
215. Pearl, J. 1990. System Z: A natural ordering of defaults with tractable applications to default reasoning. In Proceedings of TARK-90, 121-135. San Francisco, CA: Morgan Kaufmann.
216. Pearl, D. 1994. Stradivarius violin, lost years ago, resurfaces but new owner plays coy. The Wall Street Journal. October 17.
217. Penrose, R. 1989. The Emperor's New Mind: Concerning Computers, Minds, and The Laws of Physics. New York: Oxford University Press.
218. Post, H. R. 1974. Against Ideologies. Inaugural Lectures. London: Chelsea College.
219. Pour-El, M. B., and Richards, I. 1981. The wave equation with computable initial data such that its unique solution is not computable. Advances in Mathematics 39(3):215-239.
220. Pour-El, M. B., and Richards, J. I. 1989. Computability in Analysis and Physics. Berlin: Springer-Verlag.
221. Pratt, V. R., and Stockmeyer, L. J. 1976. A characterization of the power of vector machines. Journal of Computer and System Sciences 12(2): 198-221.
222. Pratt, V. R., Rabin, M. O., and Stockmeyer, L. J. 1974. A characterization of the power of vector machines. In STOC, Proceedings of the Sixth Annual ACM Symposium on Theory of Computing 122-134. New York: ACM.
223. Putnam, H. 1975. Philosophy and our mental life. In Mind, Language, and Reality. Cambridge, UK: Cambridge University Press. 291-303.
224. Quine, W. V., and Ullian, J. S. 1978. The Web of Belief. New York: Random House, second edition.
225. Rabin, M. O., and Scott, D. 1959. Finite automata and their decision problems. IBM Journal of Research and Development 3:114-125.
226. Rabin, M. O. 1976. Probabilistic algorithms. In Traub, J. F., ed., Algorithms and Com-plexity: New Directions and Recent Trends. New York: Academic Press. 22-39.
227. Ramadge, P. J., and Wonham, W. M. 1982. Supervisory Control of Discrete Event Processes. In Feedback Control of Linear and Nonlinear Systems (Bielefeld/Rome, 1981). Berlin: Springer. 202-214.
228. Ramadge, P. J., and Wonham, W. M. 1987. Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization 25(1):206-230.
229. Rashevsky, N. 1938. Mathematical Biophysics: Physico-Mathematical Foundations of Biology. Chicago: University of Chicago Press.
230. Reiter, R. 1980. A logic for default reasoning. Artificial Intelligence 13:81-132.
231. Reiter, R. 1988. On integrity constraints. In Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, 97-111. San Francisco, CA: Morgan Kaufmann.
232. Rescher, N. 1964. Hypothetical Reasoning. Amsterdam: North-Holland.
233. Roberts, F. S. 1979. Measurement Theory, With Applications to Decisionmaking, Utility, and the Social Sciences, Volume 7 of Encyclopedia of Mathematics and its Applications. Reading, MA: Addison-Wesley.
234. Robinson, A. 1974. Non-Standard Analysis. Amsterdam: North-Holland, revised edition.
235. Rohrlich, F. 1965. Classical Charged Particles: Foundations of Their Theory. Reading, MA: Addison-Wesley.
236. Rosenschein, S. J., and Kaelbling, L. P. 1986. The synthesis of machines with provable epistemic properties. In Halpern, J., ed., Proceedings of the Conference on Theoretical Aspects of Reasoning About Knowledge, 83-98. San Francisco, CA: Morgan Kaufmann.
237. Rubel, L. A. 1981. A universal differential equation. Bulletin of the American Mathe-matical Society (New Series) 4(3):345-349.
238. Russell, S. J., and Norvig, P. 2002. Artificial Intelligence: A Modern Approach. Engle-wood Cliffs, NJ: Prentice-Hall, second edition.
239. Russell, B. 1930. The Conquest ofHappiness. New York: Liveright.
240. Salomaa, A., and Soittola, M. 1978. Automata-Theoretic Aspects of Formal Power Series. New York: Springer-Verlag.
241. Samuelson, P. A. 1971. Maximum principles in analytical economics. Science 173(4001):991-997.
242. Savage, L. J. 1972. The Foundations of Statistics. New York: Dover, second edition.
243. Schank, R. C. 1982. Dynamic Memory: A Theory of Learning in People and Computers. Cambridge, UK: Cambridge University Press.
244. Schatz, J. A. 2003. Personal communication.
245. Schlechta, K., and Makinson, D. 1994. Local and global metrics for the semantics of counterfactual conditionals. Journal of Applied Non-Classical Logics 4(2): 129-140.
246. Schlechta, K. 1995. Logic, topology, and integration. Journal of Automated Reasoning 14(3):353-381.
247. Schlechta, K. 1997. Nonmonotonic Logics. Basic Concepts, Results, and Techniques, Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag.
248. Schdlkopf, B. 2000. Statistical learning and kernel methods. Technical Report MSR-TR 2000-23, Microsoft Research.
249. Schumpeter, J. A. 1934. The Theory of Economic Development: An Inquiry Into Profits, Capital, Credit, Interest, and the Business Cycle. Cambridge, MA: Harvard University Press. Translated by R. Opie.
250. Scott, D. 1973. Models for various type-free calculi. In Suppes, P., Henkin, L., Joja, A., and Moisil, G. C., eds., Logic, Methodology and Philosophy of Science IV. Amsterdam: North-Holland. 157-187.
251. Scott, D. 1976. Data types as lattices. SIAM Journal of Computing 5:522-587.
252. Scott, D. S. 1982. Domains for denotational semantics. In Nielsen, M., and Schmidt, E. M., eds., Automata, Languages, and Programming: Ninth Colloquium, Volume 140 of Lecture Notes in Computer Science, 577-613. Berlin: Springer-Verlag.
253. Scott, D. S. 1989. Domains and logics (extended abstract). In Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 4-5. Washington, DC: IEEE.
254. Sellers, Jr., F., Hsaio, M. Y., and Bearnson, L. W. 1968. Analyzing errors with the Boolean difference. IEEE Transactions on Computers C-17:676-683.
255. Shafer, G. 1976. A Mathematical Theory of Evidence. Princeton, NJ: Princeton University Press.
256. Shand, A. F. 1920. The Foundations of Character: Being a Study of the Tendencies of the Emotions and Sentiments. London: Macmillan, second edition.
257. Shannon, C. E. 1948. A mathematical theory of communication. Bell System Technical Journal 27:379-423, 623-656.
258. Simon, H. A. 1955. A behavioral model of rational choice. Quarterly Journal of Economics 69:99-118.
259. Simon, H. A. 1956. Rational choice and the structure of the environment. Psychological Review 63:129-138.
260. Simon, H. A. 1981. The Sciences of the Artificial. Cambridge, MA: MIT Press, second edition.
261. Simon, H. A. 1982. Models ofBounded Rationality: Behavioral Economics and Business Organization, Volume 2. Cambridge, MA: MIT Press.
262. Skinner, B. F. 1969. Contingencies of Reinforcement: A Theoretical Analysis. New York: Appleton-Century-Crofts.
263. Smale, S. 1978. Review of E. C. Zeeman's “Catastrophe Theory: Selected Papers 1972-1977.” Bulletin of the American Mathematical Society 84:1360-1368. Reprinted in Smale (1980).
264. Smale, S. 1980. The Mathematics of Time: Essays on Dynamical Systems, Economic Processes, and Related Topics. New York: Springer-Verlag.
265. Stallman, R. M., and Sussman, G. J. 1977. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence 9(2): 135-196.
266. Stalnaker, R. C. 1984. Inquiry. Cambridge, MA: MIT Press.
267. Streater, R. F., and Wightman, A. S. 1964. PCT, Spin and Statistics, and All That. New York: Benjamin.
268. Sussman, G. J., and Stallman, R. M. 1975. Heuristic techniques in computer-aided circuit analysis. IEEE Transactions on Circuits and Systems CAS-22(11): 857-865.
269. Sussman, G. J., and Steele Jr., G. L. 1980. CONSTRAINTS-A language for expressing almost-hierarchical descriptions. Artificial Intelligence 14:1-39.
270. Sussman, G. J., and Wisdom, J. 2001. Structure and Interpretation of Classical Me-chanics. Cambridge, MA: MIT Press. With Meinhard E. Mayer.
271. Sussman, G. J. 1996. The universality barrier. Talk presented at the Santa Fe Institute, March 29, 1996.
272. Thayse, A., and Davio, M. 1973. Boolean differential calculus and its application to switching theory. IEEE Transactions on Computers C-22(4):409-420.
273. Thom, R. 1975. Structural Stability and Morphogenesis: An Outline of a General Theory of Models. Reading, MA: Benjamin.
274. Toffoli, T., and Margolus, N. 1987. Cellular Automata Machines: A New Environment for Modeling. Cambridge, MA: MIT Press.
275. Toffoli, T., and Margolus, N. H. 1990. Invertible cellular automata: A review. Physca D 45(1-3):229-253.
276. Tolstoy, L. 1869. War and Peace. New York: Modern Library. English translation of 1904 by Constance Garnett.
277. Touretzky, D. S. 1986. The Mathematics of Inheritance Systems. San Francisco, CA: Morgan Kaufmann.
278. Truesdell, C., and Noll, W. 1992. The Non-Linear Field Theories of Mechanics. Berlin: Springer-Verlag, second edition.
279. Truesdell, C., and Toupin, R. 1960. The Classical Field Theories, In Volume III/1 of Encyclopedia of Physics, S. Fliigge, ed. Berlin: Springer-Verlag.
280. Truesdell, C. 1956. Bounded magic. Isis 47:59. Query No. 150.
281. Truesdell, C. 1958. Recent advances in rational mechanics. Science 127:729-739.
282. Truesdell, C. 1966. Six Lectures on Modern Natural Philosophy. Berlin: Springer-Verlag.
283. Truesdell, C. 1968a. The creation and unfolding of the concept of stress. In Essays in the History of Mechanics. Berlin: Springer-Verlag. 184-238.
284. Truesdell, C. 1968b. Essays in the History ofMechanics. Berlin: Springer-Verlag.
285. Truesdell, C. 1984a. The computer: Ruin of science and threat to mankind. In An Idiot's Fugitive Essays on Science: Methods, Criticism, Training, Circumstances. New York: Springer-Verlag. 594-631.
286. Truesdell, C. 1984b. Experience, theory, and experiment. In An Idiot's Fugitive Essays on Science: Methods, Criticism, Training, Circumstances. New York: Springer-Verlag. 3-20.
287. Truesdell, C. 1984c. An Idiot's Fugitive Essays on Science: Methods, Criticism, Training, Circumstances. New York: Springer-Verlag.
288. Truesdell, C. 1984d. Our debt to the French tradition: “Catastrophes” and our search for structure today. In An Idiot's Fugitive Essays on Science: Methods, Criticism, Training, Circumstances. New York: Springer-Verlag. 80-94.
289. Truesdell, C. 1984e. The role of mathematics in science as exemplified by the work of the Bernoullis and Euler. In An Idiot's Fugitive Essays on Science: Methods, Criticism, Training, Circumstances. New York: Springer-Verlag.
290. Truesdell, C. 1984f. Suppesian stews. In An Idiot's Fugitive Essays on Science: Methods, Criticism, Training, Circumstances. New York: Springer-Verlag.
291. Truesdell, III, C. A. 1991. A First Course in Rational Continuum Mechanics, Volume 1: General Concepts. New York: Academic Press, second edition.
292. Turing, A. M. 1936. On computable numbers with an application to the entscheidungs-problem. Proceedings of the London Mathematical Society Series 2 42: 230-265.
293. Turing, A. 1939. Systems of logic based on ordinals. Proceedings of the London Mathematical Society 45:161-228.
294. Turing, A. M. 1950. Computing machinery and intelligence. Mind 49:433-460.
295. Turing, A. M. 1952. The chemical basis of morphogenesis. Philosophical Transactions of the Royal Society of London 237:37-72.
296. Van Fraassen, B. C. 1980. A temporal framework for conditionals and chance. In Harper, W. L., Stalnaker, R., and Pearce, G., eds., Ifs. Dordrecht: Reidel. 323-340.
297. van Fraassen, B. C. 1991. Quantum Mechanics: An Empiricist View. Oxford, UK: Oxford University Press.
298. van Gelder, T. 1998. The dynamical hypothesis in cognitive science. Behavioral and Brain Sciences 21(5):615-665.
299. von Neumann, J., and Morgenstern, O. 1953. Theory of Games and Economic Behavior. Princeton, NJ: Princeton University Press, third edition.
300. von Neumann, J. 1932. Mathematische Grundlagen der Quantenmechanik. Berlin: Springer.
301. Weil, A. 1954. Mathematical teaching in universities. American Mathematical Monthly 61(1):34-36.
302. Wellman, M. P., and Doyle, J. 1991. Preferential semantics for goals. In Proceedings of the National Conference on Artificial Intelligence, 698-703. Menlo Park, CA: AAAI Press.
303. Wellman, M. P. 1993. A market-oriented programming environment and its application to distributed multicommodity flow problems. Journal of Artificial Intelligence Research 1:1-23.
304. Wendlandt, J. M., and Marsden, J. E. 1997. Mechanical integrators derived from a discrete variational principle. Physica D 106(3-4):223-246.
305. Whitehead, A. N., and Russell, B. 1910. Principia Mathematica. Cambridge, UK: Cambridge University Press.
306. Wightman, A. S. 1956. Quantum field theory in terms of vacuum expectation values. Physical Review (2) 101:860-866.
307. Willems, J. C. 1972a. Dissipative dynamical systems. I. General theory. Archive for Rational Mechanics and Analysis 45:321-351.
308. Willems, J. C. 1972b. Dissipative dynamical systems. II. Linear systems with quadratic supply rates. Archive for Rational Mechanics and Analysis 45:352-393.
309. Yanushkevich, S., Bochmann, D., Stankovic, R., Tosic, Z., and Shmerko, V. 2000. Logic differential calculus: Progress, tendencies and applications. Automation and Remote Control 61(6 part 2):1033-1047.
310. Yates, B. T. 1985. Self-Management: The Science and Art of Helping Yourself. Belmont, CA: Wadsworth.
311. Yessinin-Volpin, A. S. 1970. The ultra-intuitionistic criticism and the antitraditional program for foundations of mathematics. In Intuitionism and Proof Theory. Ams-terdam: North-Holland. 3-45.
312. Zadeh, L. 1975. Fuzzy logic and approximate reasoning. Synthese 30:407-428.
313. Zeeman, E. C. 1977. Catastrophe Theory: Selected Papers 1972-1977. London: Addison-Wesley.
314. Zipf, G. K. 1949. Human Behavior and the Principle of Least Effort: An Introduction to Human Ecology. Cambridge, MA: Addison-Wesley.