Professor George F. Luger
FEC 104
As of 1 July 2011 George Luger is the Interim Chairperson of the Department of Computer Science at UNM
277-3204

George Luger has been a Professor in the UNM Computer Science Department since 1979. His two master's degrees are in pure and applied mathematics. He received his PhD from the University of Pennsylvania in 1973, with a dissertation focusing on the computational modeling of human problem solving performance in the tradition of Allen Newell and Herbert Simon.

George Luger had a five year postdoctoral research appointment at the Department of Artificial Intelligence of the University of Edinburgh in Scotland. In Edinburgh he worked on several early expert systems, participated in development and testing of the Prolog computer language, and continued his research in the computational modeling of human problem solving performance.

At the University of New Mexico, George Luger has also been made a Professor in the Psychology and Linguistics Departments, reflecting his interdisciplinary research and teaching in these areas. His most recent National Science Foundation supported research is in diagnostic reasoning, where he has developed stochastic models, mostly in an extended form of Bayesian Belief Networks. His book Cognitive Science was published by Academic Press in 1994.

His AI book, Artificial Intelligence: Structures and Strategies for Complex Problem Solving (Addison-Wesley 2008) is now into its sixth edition. To get the software for any of Professor Luger's books, please select the FTP site address under the appropriate book below. For instructors using the Fourth through Sixth Edition of the AI book, an Instructors Guide and Power Point presentation slides are available from Addison Wesley and Pearson Education: www.aw.com/cs and www.pearsoneduc.com/computing.

Artificial Intelligence: 6th Ed web site (includes sample code, Chapter One, table of contents) and Errata (May 15, 2009) Watch the videos of the 28 Class Lectures from "Introduction to Artificial Intelligence" Course taught by Professor Luger

AI Algorithms, Data Structures and Idioms in Prolog, Lisp, and Java Preface, Chapter One, Prolog Chapters Intro II - Programming in Prolog CH2: Prolog - Representation CH3: Abstract Data Types and Search CH4: Depth-. Breadth-, and Best-first Search CH5: Meta-Linguistic Abstraction, Types, and Meta-Interpreters CH6: Three Meta-Intrepeters - Prolog in Prolog, EXSHELL, and a Planner CH7: Machine Learning Algorithms in Prolog CH8: Natural Language Processing in Prolog CH9: Dynamic Programming and the Earley Parser CH10: Prolog - Final Thoughts Lisp Chapters Intro to Part III - Programming in Lisp CH 11: S-expressions, The Syntax of Lisp CH 12: Lists and Recursive Search CH 13: Variables, Datatypes and Search CH 14: Higher-Order Functions and Flexible Search CH 15: Unification and Embedded Languages CH 16: Logic Programming in Lisp CH 17: Lisp-shell: An Expert System Shell in Lisp CH 18: Semantic Networks, Inheritance, and CLOS CH 19: Machine Learning in Lisp CH 20: Lisp: Final Thoughts Java Chapters AI Programming in Java CH 21: Java, Representation, and Object-Oriented Programming Ch 22: Problem Spaces and Search CH 23: Java Representation for Predicate Calculus and Unification CH 24: A Logic-Based Reasoning System CH 25: An Expert System Shell in Java CH 26: Case Studies: JESS and other Expert System Shells in Java CH 27: ID3: Learning from Examples CH 28: Genetic and Evolutionary Computing CH 29: Case Studies: Java Machine Learning Software Available on the Web CH 30: The Earley Parser: Dynamic Programming in Java CH 31: Case Studies: Java Natural Language Tools Available on the Web Master Programmer Conclusion

Artificial Intelligence: 5th Ed web site (includes sample code) Download the book (179KB, Tar GZ): includes sample code Artificial Intelligence: 4th Ed FTP site Read this book

Cognitive Science FTP site

Professor Luger has been funded by National Science Foundation for research in stochastic languages and modeling. To date this research has produced several papers describing their results, including the creation of an object-oriented stochastic modeling language and formalizing a stochastic lambda calculus. See publications below with co-author Dan Pless.

Further development of our first-order and Turing-complete stochastic modeling language was funded by the US Navy. Our application area was the diagnosis of failures in helicopter rotor systems. With support from the US Air Force we have developed a weather prognosis application, receiving data from multiple parallel sensors. For information on these applications see papers co-authored by Chakrabarti, Rammohan, and Sakhanenko. The latest version of the Generalized Loopy Logic software is available here

Professor Luger has also been funded by NASA (NASA-00043 and NMSGC) to assist in the development of TOFU, a program to recognize and interpret space phenomena, such as sun spots and solar flares.

In the Madcat project, a Nomad robot is used with an extension of the Copycat cognitive architecture to explore, map out, and use a previously unknown physical domain. Details may be found in papers below co-authored with Joseph Lewis.

Professor Luger has also been funded by the Department of Energy through Sandia National Laboratories for research in collaboration with the UNM MIND Research Network to identify, using fMRI, areas of human cortex associated with different problem solving skills. This research is still under way.

Professor Luger is but one of a number of faculty at UNM involved in the various research aspects of Artificial Intelligence.

Current computer science classes taught at UNM

Current PhD Students

• Chayan Chakrabarti
• Peiyou Song
• Benjamin Gordon
• Sunny Fugate

Alumni

• Kshanti Greene
• Roshan Rammohan
• Nikita Sakhanenko
• Daniel Pless
• Carl Stern
• Joseph Lewis

Principal Publications of the Last 20 Years

• Paul De Palma, George Luger, Caroline Smith, and Chuck Wooters, 2012. Bypassing words in automatic speech recognition. Proceedings of the 23rd Midwest Artificial Intelligence and Cognitive Science Conference, MAICS2012, Cincinnati, Ohio. Available here.
• Chayan Chakrabarti and George Luger, 2012. A semantic architecture for artificial conversations. Proceedings of the 6th International Conference on Soft Computing and Intelligent Systems and 13th International Symposium on Advanced Intelligent Systems, Kobe Japan. Available here.
• Benjamin M. Gordon and George F. Luger, 2012. English for spoken programming. Proceedings of the 6th International Conference on Soft Computing and Intelligent Systems and 13th International Symposium on Advanced Intelligent Systems, Kobe Japan. (Received the "Best Student Paper" award for the conference). Available here.
• Chayan Chakrabarti, George F. Luger, Angela R. Laird, and Jessica A. Turner, 2012. Automated annotation of abstracts for cognitive experiments. Bio-Ontologies 2012. Long Beach, CA. July 2012. Available here.
• George F. Luger, 2012. Alan Turing at 100: Artificial Intelligence and an Epistemological Stance. Submitted for publication. Available here.
• George F, Luger, 2012. Epistemology, access, and computational models. In The Complex Mind, McFarland, Stenning, and McGonigle Chalmbers, editors. London: Palgrave Macmillan. Available here.
• George F. Luger, 2012. Can Artificial Intelligence Improve Human Reasoning? A review in Computing in Science and Engineering July/August 2012 of Robert Kowalski, Computational Logic and Human Thinking: How to be Artificially Intelligent, Cambridge University Press, 2011. Available here.
• Paul De Palma, George Luger, 2010. Metathesis in English and Hebrew: A computational account of usage-based phonology. Poster. Proceedings of the 32nd Annual Meeting of the Cognitive Science Society, Portland, August, 2010. Paper available here.
• Kshanti A. Greene, Joseph M. Kniss, George F. Luger, Carl R. Stern. Satisficing the masses: Applying game theory to large-scale,democratic decision problems, IEEE Social Computing Conference, Social Intelligence in Applied Gaming workshop. Also available as CS report TR-CS-2009-08
• Kshanti A. Greene, George F. Luger Agreeing to disagree: Leveraging consensus and divergence in Bayesian belief aggregation, AAAI Spring Symposium, Technosocial Predictive Analytics workshop 2009. Also available as CS report TR-CS-2008-15
• Luger, George F. Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 6th edition, Boston: Addison-Wesley Pearson Education, 2009.
• Luger, George F. and Stubblefield, William. A. AI Algorithms, Data Structures, and Idioms in Prolog, Lisp, and Java. Boston: Addison-Wesley Pearson Education. 2009.
• Sakhanenko, N.A., Rammohan, R.R., Luger, G. F. Stern, C.R. "A New Approach to Model-Based Diagnosis Using Probabilistic Logic," in Proceedings of the 21st International Florida Artificial Intelligence Research Society Conference (FLAIRS-21), Palo Alto: AAAI Press, 2008. Also available as CS report TR-CS-2008-04
• Sakhanenko, N. A., Rammohan, R. R., Luger, G. F., and Stern, C. R. "A Context-Partitioned Stochastic Modeling System with Causally Informed Context Management and Model Induction". in Proceedings of the 3rd Indian International Conference on Artificial Intelligence (IICAI-07), pp 2172-2191, 2007. Also available as CS tech report TR-CS-2007-09
• Luger, G.F. and Chakrabarti, C., "From Expert Systems to Graphical Models". A chapter in Handbook of Probability: Theory and Applications, T. Rudas (ed). Sage Publications, 2008. CS Tech Report TR-CS-2009-10
• Ritthaler, M., Luger, G. F., Young, R., McGraw, J. and Zimmer, P. "Bayesian Belief Networks for Astronomical Object Recognition and Classification in CTI-II". In Astronomical Data Analysis Software and Systems XVI, ASP Conference Series, Vol XXX, 2006. Conference Abstract
• Chakrabarti, C., Pless, D. J., Rammohan, R., and Luger, G. F. "Diagnosis Using a First-Order Stochastic Language That Learns." In Expert Systems with Applications. Elsevier Press. 32 (3). June 2007. (to appear). See Link
• Sakhanenko, N.A., Luger,G.F., Stern C. R. 2007. "Managing Dynamic Contexts Using Failure-Driven Stochastic Models." In Proceedings of FLAIRS Conference, AAAI Press.
• Luger, G.F., 2006. Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 5th edition, Chinese Translation. Pearson Education (UK).
• Sakhanenko, N.A., Luger, G.F., Makaruk, H.E., Aubrey, J.B. and Holtkamp, D.B., 2006. "Shock Physics Data Reconstruction Using Support Vector Regression." In International Journal of Modern Physics C, (17), 9. World Scientific. PDF (Tech Report Version)
• Pless, D. J., Chakrabarti, C., Rammohan, R., and Luger, G. F. "The Design and Testing of a First-Order Stochastic Modeling Language." In International Journal on Artificial Intelligence Tools, Vol. 15, No. 6 (2006) 979-1005. World Scientific Publishing Company. See Link. Published version.
• Chakrabarti, C., Rammohan, R., and Luger, G. F. "A First-Order Stochastic Prognostic System for the Diagnosis of Helicopter Rotor Systems for the US Navy". In Proceedings of the 2nd Indian International Conference on Artificial Intelligence. Pune, India. December 2005. Elsevier Publications. See Link
• Kanglin Xu and George Luger. "Properties of the Affinity Matrix for Multiple Closed Contour Segmentation." In Proceedings of the 12th International IEEE Conference on Advanced Robotics, July 18-20, 2005, Seattle, Washington. See Link
• Chakrabarti, C., Rammohan, R., and Luger., G. F. "A First-Order Stochastic Modeling Language for Diagnosis" In the 18th International FLAIRS Conference, Clearwater Beach, FL 2005. AAAI Press. See Link
• Luger, G.F. Artificial Intelligence: Structures and Strategies for Complex Problem Solving, London: Addison-Wesley, 850 pages, Fourth Edition, 2002, Fifth Edition, 2005.
• Xu, Kanglin and Luger, George F. "A Tool for Kinematic Error Analysis of Robots/Active Vision Systems" In 10th International Conference on Robotics and Remote Systems for Hazardous Environments, American Nuclear Society, March 2004. See UNM Computer Science Technical Report TR-CS-2003-50
• Pless, D., and Luger, G., "EM Learning of Product Distributions in a First-Order Stochastic Logic Language." Artificial Intelligence and Soft Computing: Proceedings of the IASTED International Conference. IASTED/ACTA Press, 2003. See UNM Computer Science Technical Report TR-CS-2001-37
• Luger, George F., Lewis, Joseph A., and Stern, Carl "Problem Solving as Model Refinement: Towards a Constructivist Epistemology" In Brain, Behavior, and Evolution, Winter 2001. See UNM Computer Science Technical Report TR-CS-2001-37
• Harrison, Carol D. and Luger, George F. Data Mining Using Web Spiders, Submitted for publication, 2002. See UNM Computer Science Technical Report TR-CS-2001-34
• Pless, Dan and Luger, George F. "Toward General Analysis of Recursive Probability Models", Published in the Proceedings of the Uncertainty in Artificial Intelligence Conference-2001, San Francisco: Morgan Kaufmann, 2001. See UNM Computer Science Technical Report TR-CS-2001-04
• Lewis, J.A. and Luger, G.F. "A Learning Architecture for Intelligent Behavior in a Robot ". Submitted to Advances in Intelligent Data Analysis Symposium (AIDA 2001) at the Computational Intelligence Modeling and Applications Conference ( CIMA 2001) of the International Computer Science Conventions in Bangor, Wales, UK from June 19-22, 2001 (2001).
  See UNM Computer Science Technical Report TR-CS-2000-54
• Klein, W.B., Stern, C.R., Luger, G.F., and Pless, D. "Teleo-Reactive Control for Accelerator Beamline Tuning". In Proceedings of the IASTED International Conference. Zurich: IASTED/ACTA Press (2000).
  See UNM Computer Science Technical Report TR-CS-2000-43
• Lewis, J.A. and Luger, G.F. "A Constructivist Model of Robot Perception and Performance". In Proceedings of the Conference of the Cognitive Science Society, Hillsdale NJ: Lawrence Earlbaum (2000).
  See UNM Computer Science Technical Report TR-CS-2000-22
• Pless, D., Luger, G.F., and Stern, C.R. "A new Object-Oriented Stochastic Modeling Language". In Proceedings of the IASTED International Conference. Zurich: IASTED/ACTA Press (2000).
  See UNM Computer Science Technical Report TR-CS-2000-36
• Rogati,M., Lewis, J., and Luger G. "A Deformable Semantic Network as a Tool for Context-Based Ambiguity Resolution", Presented at the 2nd Annual PURSUE Student Conference at UNM, (2000).
  See UNM Computer Science Technical Report TR-CS-2000-56
• Claiborne, A., Fricke, M., Lopes, L., Lewis, J., and Luger, G. "Emergent Representation in a Robot Control Architecture", Presented at 2nd Annual PURSUE Student Conference at UNM, (2000).
  See UNM Computer Science Technical Report TR-CS-2000-55
• Stern, CR. And Luger, G.F. "Integrating Model-Based diagnosis and Control Automation". In Proceedings of the Intelligent Ships Symposium III. Philadelphia PA: ASNE Press (1999).
• Klein, W.B., Westervelt, R.T., and Luger G.F. "A general purpose intelligent control system for particle accelerators". In Journal of Intelligent and Fuzzy Systems. New York: John Wiley (1999).
• Luger, G.F., and Stubblefield, W.A. "Artificial Intelligence: Structures and Stratergies for Complex Problem Solving." (Third Edition), London: Addison-Wesley, 850 pages (1998).
• Luger, G.F (ed). Proceedings: Artificial Intelligence and Manufacturing. Cambridge: AAAI/MIT Press (1998).
• Stern, C.R., Olsson, E., Kroupa, M., Westervelt, R., Luger, G., and Klein, W. "A Control System for Accelerators Combining Adaptive Plan Execution with Online Learning". In Proceedings of ICALEPCS. Beijing (1997).
• Klein, W.B., Stern, C., Luger, G., and Olsson, E. "An intelligent control architecture for accelerator beamline tuning." In Proceedings of Innovative Applications of Artificial Intelligence. Cambridge: MIT Press (1997).
• Klein, W.B., Stern, C., Luger G., and Olsson, E. "Designing a portable architecture for intelligent particle accelerator control." Particle Accelerator Conference IEEE. Vancouver, BC (1997).
• Klein, W.B., Stern, C., Kroupa, M., Westervelt, R., Luger G., and Olsson, E. "Tuning and optimization at Brookhaven and Argonne: Results of recent experiments." Particle Accelerator Conference (1997).
• Matek, J., and Luger G.F. "An expert system controller for gas chromatograhy automation." Instrumentation Science and Technology. New York: Marcel Dekker (1997).
• Stern, C.R., Luger, G.F. "Abduction and Abstraction: A Schema Based Account." In 'Expertise in Context', edited by Paul J. Feltovich et al. Cambridge, MA: AAAI/MIT Press (1997).
• Luger, G.F (ed). "Proceedings: Artificial Intelligence and Manufacturing." Cambridge: AAAI/MIT Press (1996).
• Stubblefield, W.A. and Luger G.F. "Source Selection for Analogical Reasoning: An Empirical Approach." Proceedings of the American Association of Aritificial Intelligence. Cambridge MA: AAAI/MIT Press (1996).
• Kleban, S.D., Luger G.F., and Watkins R.D. "Expert system support for environmental assessment of manufacturing products and facilities." Journal of Intelligent Manufacturing. London: Chapman & Hall (1996).
• Klein, W.B., Stern, C.R., Westervelt, R.T., and Luger, G.F. "Adaptive control using model construction operators." Computational Accelerator Physics Conference, American Institute of Physics Williamsburg, VA(1996).
• Stern, C.R., Klein, W.B., Luger, G.F., and Kroupa M. "Abductive model refinement for accelerator control" Computational Accelerator Physics Conference 1996, American Institute of Physics. Williamsburg, VA (1996).
• Watkins, R.D., Kleban, S.D., and Luger G.F. "Expert system support for environmentally conscious manufacturing." International Journal of Environmentally Conscious Manufacturing. Albuquerque: ECM Press (1995).
• Luger, G.F.(ed). "Computation and Intelligence: Collected Readings.", Cambridge: AAAI/MIT Press (1995).
• Westervelt, R.T., Klein, W.B., and Luger, G.F., "Framework for a General Purpose, Intelligent Control System for Particle Accelerators." In Proceedings for International Conference for High Energy Accelerators, Dallas (1995)
• Luger, G.F. (with Johnson, P., Stern, C., Newman, J. and Yeo, R.). Cognitive Science: The Science of Intelligent Systems. Boston, MA: Academic Press (1994).
• Luger, G.F. Artificial Intelligence and the Design of Expert Systems. A four-day short course for Learning Group International, Los Angeles, CA. First published 1983; revised annually to 1994.
• Luger, G.F. Forward for Expert Systems: Design and Development, John Durkin, ed. New York, NY: Macmillan (1994).
• Ballance, R.A., Giancola, A.J., Luger, G.F., and Ross, T.J. "A framework-based environment for object-oriented codes." Scientific Programming. New York, NY: John Wiley (1994).
• Skinner, J.M., and Luger, G.F. "Contributions of a case based reasoner to an integrated reasoning system." Journal of Intelligent Systems. London, U.K.: Freund (1994).
• Ballance, R.A., Giancola, A.J., Luger, G.F., and Ross, T.J. "A framework-based environment for object-oriented scientific codes." Proceedings of Object-Oriented Numerics Conference-SKI 93. A SIAM Conference, April 1993.
• Parkinson, W.J., Shalek, P.D., Luger, G.F., Duerre, K.H., and Jamshidi, M. "Two intelligent control systems for silicon carbide whisker production." Journal of Intelligent and Fuzzy Systems, Vol. I (1993), pp. 199-214. New York, NY: John Wiley & Sons, Inc.
• Parkinson, W.J., Osowaski, J.J., Luger, G.F., and Bretz, B. "Expert system for selecting enhanced oil recovery methods." Computers and Electrical Engineering, Special Edition on Artificial Intelligence and Expert Systems, Winter 1993.
• Luger, G.F. and Skinner, J.M. "An integrated reasoner for diagnosis in satellite control." Proceedings of Conference on Applications of Artificial Intelligence XI: Knowledge Based Systems in Aerospace and Industry, 1993.
• Luger, G.F. and Stern, C. "A model for abductive problem solving based on explanation templates and lazy evaluation." International Journal of Expert Systems, Vol. 4, 1993.
• Luger, G.F. and Stern, C. "Towards a sign-based theory of abduction." International Journal of Artificial Intelligence, 1993.
• Luger, G.F. and Stubblefield, W.A. Artificial Intelligence: Structures and Strategies for Complex Problem Solving. Palo Alto, CA: Benjamin Cummings, 2nd Ed. (1993).
• Luger, G.F., Ross, T., and Wagner, L. "Object-oriented Programming for scientific codes I: Thoughts and concepts." J. Computing in Civil Engineering, Vol. 6, No. 4 (1992), pp. 480-496.
• Luger, G.F., Ross, R., and Wagner, L. "Object-oriented programming for scientific codes II: Examples in C++." J. Computing in Civil Engineering, Vol. 6, No. 4 (1992), pp. 497-514.
• Luger, G.F., Ross, T.J., Morrow, J.P., and Wagner, L.R. "Two paradigms for object-oriented programming models for scientific applications." Proceedings of the 8th Conference of Computing in Civil Engineering. New York, NY: American Society of Civil Engineers Publications (1992), pp. 535-542.
• Luger, G.F. and Schluter, L. Expert Systems to Aid in Wind Farm Operations. Engineering for a Sustained Environment Conference, sponsored by The American Society of Mechanical Engineers, January 1992.
• Luger, G.F. and Skinner, J.M. "An architecture for integrating reasoning paradigms." In Principles of Knowledge Representation and Reasoning, B. Nobel, C. Rich, W. Swartout, eds. San Mateo, CA: Morgan-Kaufmann (1992).
• Luger, G.F. and Stubblefield, W.A. "Rule based expert systems." In Computer Engineering Handbook, C.H. Chen, ed. New York, NY: McGraw-Hill (1992).
• Luger, G.F. and Stern, C. "Expert systems and the abductive circle." In Cognition and Semiotics, R. Jorna, ed. Berlin: de Gruyter Verlag (1992). This was an invited paper in Conference on Semiotics and Systems, Groningen, the Netherlands, December 1991.
• Luger, G.F., Parkinson, W.J. et al. "Screening enhanced oil recovery methods with fuzzy logic." In Third International Reservoir Characterization Technical Conference, sponsored by National Institute for Petroleum and Energy Research, November 1991.
• Luger, G.F. and Parkinson, W.J. "Three CLIPS based expert systems for solving engineering problems." In Proceedings of First CLIPS Conference, sponsored by NASA, Johnson Space Center, Houston, 1991.
• Luger, G.F. and Skinner, J.M. "A synergistic approach to reasoning for autonomous satellites." In Proceedings for NATO Conference of the Advisory Group for Aerospace Research and Development, Portugal, 1991.
• Luger, G.F. and Stubblefield, W.A. "Artificial intelligence." In MacMillan Encyclopedia of Computer Science. New York, NY: MacMillan (1991).