profile pic
Matthew Klenk (klenk.matt@gmail.com)
Member of the Research Staff
Embedded Reasoning Area
Palo Alto Research Center
Palo Alto, CA

Education

B.A. Computer Science, Emory University, May 2003
M.S. Computer Science, Northwestern University, December 2006
Ph.D. Computer Science, Northwestern University, June 2009

Research Interests

To increase the capabilities of artificial intelligence (AI) systems, it is necessary to think broadly about tasks requiring intelligent behavior. In my research, I design intelligent agents capable of carrying out human tasks (e.g., playing strategy simulations, learning to solve intelligence test questions, exploiting cross-domain analogies). When people perform these tasks, they draw on considerable knowledge and experiences. Consequently, my research explores possible forms of this knowledge, how it can be learned, and how it can be applied in new situations. The results of this research have applications in training simulations by creating more realistic participants, new interfaces for working through analogies, plans, and spatial concepts, and, finally, embedded reasoning in autonomous systems for domestic, workplace, and military applications. While beyond the capabilities of current AI systems, intelligent behavior across a range of tasks would not just increase the autonomy of existing systems, but would also enable human users to treat AI systems as collaborators drawing on shared experiences in a wide array of tasks, instead of merely as tools.

Toward this vision, my research focuses on the following areas:

[Curriculum Vitae]

Publications

  Conference (9)
  2014 (2)
Making Modelica Applicable for Formal Methods Klenk, M.; Bobrow, D.; de Kleer, J.; and Janssen, B. In Proceedings of the 10th International Modelica Conference, Lund, Sweden, 2014.
 [pdf]Paper   bibtex mark as read
Verification and design Exploration through Meta tool integration with OpenModelica Lattmann, Z.; Pop, A.; de Kleer, J.; Fritzson, P.; Janssen, B.; Neema, S.; Bapty, T.; Koutsoukos, X.; Klenk, M.; Bobrow, D.; Saha, B.; and Kurtoglu, T. In Proceedings of the 10th International Modelica Conference, Lund, Sweden, 2014.
bibtex mark as read
  2013 (1)
The Role of Context in Spatial Region Identification Lockwood, K.; Kelleher, J. D.; Klenk, M.; and Hawes, N. In Proceedings of Second Annual Conference on Advances in Cognitive Systems (Poster Collection), Baltimore, MD, 2013.
 [pdf]Paper   bibtex mark as read
  2012 (3)
DiscoverHistory: understanding the past in planning and execution Molineaux, M.; Kuter, U.; and Klenk, M. In International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes), page 989-996, 2012.
 [cfm?id=2343838]Link   bibtex mark as read
Guiding and Verifying Early Design Using Qualitative Simulation Klenk, M.; de Kleer, J.; Bobrow, D. G.; Yoon, S.; Hanley, J.; and Janssen, B. In Proceedings of the ASME 2012 IDETC and CIE, Chicago, IL, 2012.
 [pdf]Paper   bibtex mark as read
Towards a Cognitive System that Can Recognize Spatial Regions Based on Context Hawes, N.; Klenk, M.; Lockwood, K.; Horn, G. S.; and Kelleher, J. D. In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada, 2012.
 [pdf]Paper    [php/aaai/aaai12/paper/view/5061]Link   bibtex mark as read
  2010 (3)
Applying Goal Driven Autonomy to a Team Shooter Game Muñoz-Avila, H.; Aha, D. W.; Jaidee, U.; Klenk, M.; and Molineaux, M. In Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, May 19-21, 2010, Daytona Beach, Florida, 2010.
 [php/flairs/2010/paper/view/1307]Link   bibtex mark as read
Goal-Driven Autonomy in a Navy Strategy Simulation Molineaux, M.; Klenk, M.; and Aha, D. W. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010, 2010.
 [pdf]Paper    [php/aaai/aaai10/paper/view/1928]Link   bibtex mark as read
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects Molineaux, M.; Klenk, M.; and Aha, D. W. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010, 2010.
 [pdf]Paper    [php/aaai/aaai10/paper/view/1938]Link   bibtex mark as read
  2009 (1)
Persistent mappings in cross-domain analogical learning of physics domains Klenk, M.; and Forbus, K. In Sofia, Bulgaria, 2009.
 [pdf]Paper   bibtex mark as read
  2008 (2)
An integrated reasoning approach to moral decision-making Dehghani, M.; Tomai, E.; Forbus, K.; and Klenk, M. 1280--1286. 2008.
 [pdf]Paper   bibtex mark as read
MoralDM: a computational modal of moral decision-making Dehghani, M.; Tomai, E.; Forbus, K.; Iliev, R.; and Klenk, M. . 2008.
 [pdf]Paper   bibtex mark as read
  2007 (2)
Cognitive modeling of analogy events in physics problem solving from examples Klenk, M.; and Forbus, K. . 2007.
bibtex mark as read
Measuring the level of transfer learning by an AP Physics problem-solver Klenk, M.; and Forbus, K. 22(1):446. 2007.
bibtex mark as read
  2006 (1)
Cognitive processes in quantitative estimation: analogical anchors and causal adjustment Paritosh; K, P.; Klenk; and E, M. . 2006.
 [pdf]Paper   bibtex mark as read
  2005 (1)
Solving Everyday Physical Reasoning Problems by Analogy Using Sketches Klenk, M.; Forbus, K. D.; Tomai, E.; Kim, H.; and Kyckelhahn, B. In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, page 209-215, 2005.
 [pdf]Paper    [php]Link   bibtex mark as read
  Journal (3)
  2013 (2)
Exploiting persistent mappings in cross-domain analogical learning of physical domains Klenk, M.; and Forbus, K. D. Artificial Intelligence, 195:398-417. 2013.
 [002]Link   bibtex mark as read
GOAL-DRIVEN AUTONOMY FOR RESPONDING TO UNEXPECTED EVENTS IN STRATEGY SIMULATIONS Klenk, M.; Molineaux, M.; Aha; and W, D. Computational Intelligence, 29(2). 2013.
 [pdf]Paper   bibtex mark as read
  2011 (2)
Goal-driven autonomy Aha, D.; Molineaux„ M.; and Klenk, M. NRL Review, 154-155. 2011.
bibtex mark as read
Using analogical model formulation with sketches to solve Bennett Mechanical Comprehension Test problems Klenk, M.; Forbus, K. D.; Tomai, E.; and Kim, H. Journal of Experimental and Theoretical Artificial Intelligence, 23(3):299-327. 2011.
 [502312]Paper    [502312]Link   bibtex mark as read
  2009 (3)
Analogical model formulation for transfer learning in AP Physics Klenk, M.; and Forbus, K. Artificial Intelligence, 173(18):1615--1638. 2009.
 [003]Paper   bibtex mark as read
Companion cognitive systems: Design goals and lessons learned so far Forbus; D, K.; Klenk, M.; and Hinrichs, T. Intelligent Systems, IEEE, 24(4):36--46. 2009.
bibtex mark as read
Domain transfer via cross-domain analogy Klenk, M.; and Forbus, K. Cognitive Systems Research, 10(3):240--250. 2009.
 [pdf]Paper   bibtex mark as read
  Workshop (10)
  2013 (3)
Breadth of Approaches to Goal Reasoning: A Research Survey Vattam, S.; Klenk, M.; Molineaux, M.; Aha; and W, D. In Baltimore, MD, 2013.
 [pdf]Paper   bibtex mark as read
Dynamic Symbol Grounding: Changing Referents in Engineering Analysis and Spatial Environments Klenk, M.; and Bobrow, D. In Procceedings of the AAAI-13 Workshop on Space, Time, and Ambient Intelligence, Bellevue, WA, 2013.
 [pdf]Paper   bibtex mark as read
Using Modelica Models for Qualitative Reasoning Klenk, M.; de Kleer, J.; Bobrow; G, D.; and Janssen, B. In Proceedings of the 27th Annual Workshop on Qualitative Reasoning (QR13), Bremen, Germany, 2013.
 [pdf]Paper   bibtex mark as read
  2012 (3)
Challenges for qualitative reasoning for engineering design Bobrow; G, D.; Klenk, M.; de Kleer, J.; Janssen, B.; and Hanley, J. In Proceedings of the 26th Annual Workshop on Qualitative Reasoning (QR12), 2012.
 [pdf]Paper   bibtex mark as read
Placing Qualitative Reasoning in the Design Process Klenk, M.; Bobrow; G, D.; de Kleer, J.; Hanley, J.; and Janssen, B. In Proceedings of the 26th Annual Workshop on Qualitative Reasoning (QR12), 2012.
 [pdf]Paper   bibtex mark as read
Using Anchor Points to Define and Transfer Spatial Regions Based on Context Klenk, M.; Hawes, N.; Lockwood, K.; Horn; S, G.; Kelleher; and D, J. In Proceedings of the 26th Annual Workshop on Qualitative Reasoning (QR12), 2012.
 [pdf]Paper   bibtex mark as read
  2011 (3)
Representing And Reasoning with Functional Knowledge for Spatial Language Understanding Gupta; M, K.; Schneider; R, A.; Klenk, M.; Gillespie, K.; and Karneeb, J. In CogSci Workshop on Computational Models for Spatial Language Interpretation and Generation (CoSLI-2). Boston, MA., 2011.
bibtex mark as read
Representing and Reasoning About Spatial Regions Defined by Context Klenk, M.; Hawes, N.; and Lockwood, K. In AAAI Fall Symposium Series, 2011.
 [pdf]Paper   bibtex mark as read
What Just Happened? Explaining the Past in Planning and Execution Molineaux, M.; Kuter, U.; and Klenk, M. In Explanation-aware Computing, Papers from the 2011 IJCAI Workshop, Barcelona, Spain, July 16-17, 2011, page 31-40, 2011.
bibtex mark as read
  2010 (1)
Goal-driven autonomy in planning and acting Klenk, M. In Proceedings of the AAAI-10 Workshop on Goal-Directed Autonomy (GDA), 2010.
 [pdf]Paper   bibtex mark as read
  2009 (2)
Opponent modeling and spatial similarity to retrieve and reuse superior plays Laviers, K.; Sukthankar, G.; Klenk, M.; Aha; W, D.; and Molineaux, M. In Proceedings of the ICCBR Workshop on Case-Based Reasoning for Computer Games, 2009.
 [pdf]Paper   bibtex mark as read
Transfer as a benchmark for multi-representational architectures Klenk, M. In Multi-Representational Architectures for Human-Level Intelligence: Papers from the AAI Fall Symposium, 2009.
bibtex mark as read
  2008 (4)
Companion Cognitive Systems: Design Goals and Some Lessons Learned Forbus, K. D.; Klenk, M.; and Hinrichs, T. R. In AAAI Fall Symposium on Naturally-Inspired Artificial Intelligence, 2008.
bibtex mark as read
Learning modeling abstractions via generalization Klenk, M.; Friedman, S.; and Forbus, K. In Proceedings of the 22nd international workshop on qualitative reasoning, 2008.
 [pdf]Paper   bibtex mark as read
MoralDM: A Computational Modal of Moral Decision-Making Dehghani, M.; Tomai, E.; Forbus, K.; Illiev, R.; and Klenk, M. In Abstract accepted at the 2008 meeting of Society of Judge and Decision Making (SJDM), 2008.
bibtex mark as read
Order of Magnitude Reasoning in Modeling Moral Decision-Making Dehghani, M.; Tomai, E.; Forbus, K.; and Klenk, M. In Proceedings of the 22nd international workshop on qualitative reasoning, 2008.
 [pdf]Paper   bibtex mark as read
  2007 (2)
Corss domain analogies for learning domain theories Klenk, M.; and Forbus, K. In Analogies: Integrating Multiple Cognitive Abilities, volume 5, 2007. Publications of the Institute for Cognitive Science, University of Osnabruck
 [pdf]Paper   bibtex mark as read
Learning domain theories via analogical transfer Klenk, M.; Forbus; and D, K. In Proceedings of the 21st international workshop on qualitative reasoning, 2007.
bibtex mark as read
  2006 (1)
Analogical model formulation for AP Physics Problems Klenk, M.; Forbus; and D, K. In Proceedings of the 20th international workshop on qualitative reasoning, 2006.
 [pdf]Paper   bibtex mark as read
  2005 (1)
Solving everyday physical reasoning problems by analogy using sketches Klenk, M.; Forbus, K.; Tomai, E.; Kim, H.; and Kyckelhahn, B. In Proceedings of the 19th international workshop on qualitative reasoning, 2005.
 [pdf]Paper   bibtex mark as read
  2004 (1)
Open-domain sketch understanding: The nuSketch approach Forbus, K.; Lockwood, K.; Klenk, M.; Tomai, E.; and Usher, J. 58--63. 2004.
 [pdf]Paper   bibtex mark as read

Other Publications

  1. Klenk, M. (June 22nd, 2009) My Computer, My Collaborator. The AI Report on Fobres.com. Available at http://www.forbes.com/ai/