James R. Slagle
Home * People * James R. Slagle
James R. Slagle [1] James Robert Slagle, (born March 1, 1934)
an American mathematician, computer scientist, and since 1984 Distinguished Professor of Computer Science at the University of Minnesota, Minneapolis, with former appointments at Johns Hopkins University, National Institutes of Health, Bethesda, Maryland, Naval Research Laboratory, Lawrence Radiation Laboratory, University of California and Massachusetts Institute of Technology. As Freshman Calculus Student and Ph.D. candidate at MIT, supervised by Marvin Minsky [2] in 1961, he wrote his dissertation entitled Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus, Symbolic Automatic Integrator (Saint) [3], which is acknowledged as first Expert system [4]. His further research interests covers heuristic Theorem-Proving and as application heuristic search.
President Dwight D. Eisenhower, in 1959, presented him with five hundred dollars, awarded by Recording for the Blind Inc., for outstanding work as a blind student [5].
Theorem-Proving
Abstract of Experiments With a Multipurpose, Theorem-Proving Heuristic Program. [8]:
M & N procedure
Abstract of Experiments with the M & N Tree-Searching Program [9]:
Selected Publications
1959
- James R. Slagle (1959). Formal integration on a digital computer. 14th national meeting of the Association for Computing Machinery
1960 …
- James R. Slagle (1961). A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus, Symbolic Automatic Integrator (Saint). pdf
- James R. Slagle (1963). A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus. Journal of the ACM, Vol. 10, No. 4
- James R. Slagle (1963). Game Trees, M & N Minimaxing, and the M & N alpha-beta procedure. Artificial Intelligence Group Report 3, UCRL-4671, University of California
- James R. Slagle (1964). An Efficient Algorithm for Finding Certain Minimum-Cost Procedures for Making Binary Decisions. Journal of the ACM, Vol. 11, No. 3
- James R. Slagle (1964). On an algorithm for minimum-cost procedures. Communications of the ACM, Vol. 7, No. 11
- James R. Slagle (1965). A multipurpose Theorem Proving Heuristic Program that learns. IFIP Congress 65, Vol. 2
- James R. Slagle (1965). Experiments with a deductive question-answering program. Communications of the ACM, Vol. 8, No. 12
- James R. Slagle (1967). Automatic Theorem Proving With Renamable and Semantic Resolution. Journal of the ACM, Vol. 14, No. 4
- James R. Slagle, Philip Bursky (1968). Experiments With a Multipurpose, Theorem-Proving Heuristic Program. Journal of the ACM, Vol. 15, No. 1 [14]:
- James R. Slagle, John K. Dixon (1969). Experiments With Some Programs That Search Game Trees. Journal of the ACM, Vol. 16, No. 2, pdf, pdf
- James R. Slagle, Chin-Liang Chang, Richard C. T. Lee (1969). Completeness Theorems for Semantic Resolution In Consequence-Finding. IJCAI-69, pdf
1970 …
- James R. Slagle, Chin-Liang Chang, Richard C. T. Lee (1970). A New Algorithm for Generating Prime Implicants. IEEE Transactions on Computers, Vol. 19, No. 4
- James R. Slagle, John K. Dixon (1970). Experiments with the M & N Tree-Searching Program. Communications of the ACM, Vol. 13, No. 3
- James R. Slagle (1971). Artificial Intelligence: The Heuristic Programming Approach. McGraw-Hill, New York. amazon
- James R. Slagle, Carl D. Farell (1971). Experiments in automatic learning for a multipurpose hueristic program. Communications of the ACM, Vol. 14, No. 2
- James R. Slagle, Richard C. T. Lee (1971). Application of game tree searching techniques to sequential pattern recognition. Communications of the ACM, Vol. 14, No. 2
- Chin-Liang Chang, James R. Slagle (1979). Using Rewriting Rules for Connection Graphs to Prove Theorems. Artificial Intelligence
1980 …
- James R. Slagle, John K. Dixon (1980). Finding a good figure that approximately passes through given points. Pattern Recognition, 1980
- John K. Dixon, Herbert A. Johnson, James R. Slagle (1980). The Prospect of an Under Water Naval Robot. Naval Engineers Journal, Vol. 92, No. 1
- John K. Dixon, Susan A. Bouchard, William G. Kennedy, James R. Slagle (1981). MARK I Robot. IJCAI'1981, pdf
- James R. Slagle, John K. Dixon (1984). Freedom descriptions: A way to find figures that approximate given points. Pattern Recognition, 1984
- Henry Hamburger, James R. Slagle (1986). Heterogeneous discrete expenditure for diminishing returns. Naval Research Logistics Quarterly, Vol. 33, No. 2
- Erach A. Irani, John P. Matts, John M. Long, James R. Slagle, POSCH group (1989). Using Artificial Neural Nets for Statistical Discovery: Observations after Using Backpropogation, Expert Systems, and Multiple-Linear Regression on Clinical Trial Data. University of Minnesota, Minneapolis, MN 55455, USA, Complex Systems 3, pdf
1990 …
- Erach A. Irani, James R. Slagle, John M. Long, John P. Matts (1990). Formulating an approach to develop a system for the temporal analysis of clinical trial data: The POSCH AI project. Annals of Mathematics and Artificial Intelligence, Volume 2, Numbers 1-4
- James R. Slagle, Zbigniew Wieckowski a.k.a. Bishak (1994). Ideas for Intelligent User Interface Design.
2000 …
- Dean F. Hougen, Maria Gini, James R. Slagle (2000). An Integrated Connectionist Approach to Reinforcement Learning for Robotic Control. ICML ‘00 Proceedings of the Seventeenth International Conference on Machine Learning
- Pamela McCorduck (2004). Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence. A. K. Peters (25th anniversary edition)
External Links
- James Robert Slagle from Wikipedia
- James Robert Slagle (born 1934), American computer science educator | Prabook
- The Mathematics Genealogy Project - James Robert Slagle
- Winners of Past Over-The-Board Tournaments, United States Braille Chess Association
- Slagle, who is blind, received the Class A trophy, The Free Lance-Star February 01, 1971, from Google news
- Elected AAAI Fellows
- Expert Systems with Applications - Editorial Board, pdf
References
- ↑ Jet, January 22, 1970, pp 21
- ↑ Personal page for Marvin Minsky
- ↑ The Mathematics Genealogy Project - James Robert Slagle
- ↑ SAINT (Inventions) - what-when-how (states James R. Slagle died in 1994)
- ↑ Education: Their Best, Time, June 01, 1959
- ↑ Terasem Journal of Personal Cyberconsciousness - Marvin Lee Minsky discussing his book, The Emotion Machine
- ↑ Marvin Minsky’s Home Page
- ↑ James R. Slagle, Philip Bursky (1968). Experiments With a Multipurpose, Theorem-Proving Heuristic Program. Journal of the ACM, Vol. 15, No. 1
- ↑ James R. Slagle, John K. Dixon (1970). Experiments with the M & N Tree-Searching Program. Communications of the ACM, Vol. 13, No. 3
- ↑ JACM Authors - James R. Slagle
- ↑ ICGA Reference Database
- ↑ dblp: James R. Slagle
- ↑ Bibliography for Artificial Intelligence: A Modern Approach
- ↑ David C. Cooper (1970). Review: James R. Slagle, Philip Bursky, Experiments with a Multipurpose, Theorem-Proving Heuristic Program. Journal of Symbolic Logic, Vol. 35, No. 4