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 (3)
Qualitative Reasoning with Modelica Models Klenk, M.; de Kleer, J.; Bobrow, D.; and Janssen, B. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, Quebec City, Quebec, Canada, 2014.
Qualitative Reasoning with Modelica Models [pdf]Paper   bibtex   7 downloads
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.
Making Modelica Applicable for Formal Methods [pdf]Paper   bibtex   4 downloads
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
  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.
The Role of Context in Spatial Region Identification [pdf]Paper   bibtex   2 downloads
  2012 (3)
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.
Guiding and Verifying Early Design Using Qualitative Simulation [pdf]Paper   bibtex   2 downloads
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.
Towards a Cognitive System that Can Recognize Spatial Regions Based on Context [pdf]Paper   Towards a Cognitive System that Can Recognize Spatial Regions Based on Context [link]Link   bibtex   2 downloads
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), pages 989-996, 2012.
DiscoverHistory: understanding the past in planning and execution [link]Link   bibtex
  2010 (3)
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.
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects [pdf]Paper   Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects [link]Link   bibtex
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.
Goal-Driven Autonomy in a Navy Strategy Simulation [pdf]Paper   Goal-Driven Autonomy in a Navy Strategy Simulation [link]Link   bibtex
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.
Applying Goal Driven Autonomy to a Team Shooter Game [link]Link   bibtex
  2009 (1)
Persistent mappings in cross-domain analogical learning of physics domains Klenk, M.; and Forbus, K. In Sofia, Bulgaria, 2009.
Persistent mappings in cross-domain analogical learning of physics domains [pdf]Paper   bibtex
  2008 (2)
An integrated reasoning approach to moral decision-making Dehghani, M.; Tomai, E.; Forbus, K.; and Klenk, M. 1280--1286. 2008.
An integrated reasoning approach to moral decision-making [pdf]Paper   bibtex
MoralDM: a computational modal of moral decision-making Dehghani, M.; Tomai, E.; Forbus, K.; Iliev, R.; and Klenk, M. . 2008.
MoralDM: a computational modal of moral decision-making [pdf]Paper   bibtex
  2007 (2)
Measuring the level of transfer learning by an AP Physics problem-solver Klenk, M.; and Forbus, K. 22(1):446. 2007.
bibtex
Cognitive modeling of analogy events in physics problem solving from examples Klenk, M.; and Forbus, K. . 2007.
bibtex
  2006 (1)
Cognitive processes in quantitative estimation: analogical anchors and causal adjustment Paritosh; K, P.; Klenk; and E, M. . 2006.
Cognitive processes in quantitative estimation: analogical anchors and causal adjustment [pdf]Paper   bibtex
  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, pages 209-215, 2005.
Solving Everyday Physical Reasoning Problems by Analogy Using Sketches [pdf]Paper   Solving Everyday Physical Reasoning Problems by Analogy Using Sketches [link]Link   bibtex   1 download
  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.
Exploiting persistent mappings in cross-domain analogical learning of physical domains [link]Link   bibtex
GOAL-DRIVEN AUTONOMY FOR RESPONDING TO UNEXPECTED EVENTS IN STRATEGY SIMULATIONS Klenk, M.; Molineaux, M.; Aha; and W, D. Computational Intelligence, 29(2). 2013.
GOAL-DRIVEN AUTONOMY FOR RESPONDING TO UNEXPECTED EVENTS IN STRATEGY SIMULATIONS [pdf]Paper   bibtex
  2011 (2)
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.
Using analogical model formulation with sketches to solve Bennett Mechanical Comprehension Test problems [link]Paper   Using analogical model formulation with sketches to solve Bennett Mechanical Comprehension Test problems [link]Link   bibtex   1 download
Goal-driven autonomy Aha, D.; Molineaux„ M.; and Klenk, M. NRL Review, 154-155. 2011.
bibtex
  2009 (3)
Analogical model formulation for transfer learning in AP Physics Klenk, M.; and Forbus, K. Artificial Intelligence, 173(18):1615--1638. 2009.
Analogical model formulation for transfer learning in AP Physics [link]Paper   bibtex
Domain transfer via cross-domain analogy Klenk, M.; and Forbus, K. Cognitive Systems Research, 10(3):240--250. 2009.
Domain transfer via cross-domain analogy [pdf]Paper   bibtex
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
  Workshop (10)
  2013 (3)
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.
Using Modelica Models for Qualitative Reasoning [pdf]Paper   bibtex
Breadth of Approaches to Goal Reasoning: A Research Survey Vattam, S.; Klenk, M.; Molineaux, M.; Aha; and W, D. In Baltimore, MD, 2013.
Breadth of Approaches to Goal Reasoning: A Research Survey [pdf]Paper   bibtex
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.
Dynamic Symbol Grounding: Changing Referents in Engineering Analysis and Spatial Environments [pdf]Paper   bibtex
  2012 (3)
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.
Placing Qualitative Reasoning in the Design Process [pdf]Paper   bibtex   2 downloads
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.
Challenges for qualitative reasoning for engineering design [pdf]Paper   bibtex   1 download
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.
Using Anchor Points to Define and Transfer Spatial Regions Based on Context [pdf]Paper   bibtex
  2011 (3)
Representing and Reasoning About Spatial Regions Defined by Context Klenk, M.; Hawes, N.; and Lockwood, K. In AAAI Fall Symposium Series, 2011.
Representing and Reasoning About Spatial Regions Defined by Context [pdf]Paper   bibtex
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
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, pages 31-40, 2011.
bibtex
  2010 (1)
Goal-driven autonomy in planning and acting Klenk, M. In Proceedings of the AAAI-10 Workshop on Goal-Directed Autonomy (GDA), 2010.
Goal-driven autonomy in planning and acting [pdf]Paper   bibtex
  2009 (2)
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
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.
Opponent modeling and spatial similarity to retrieve and reuse superior plays [pdf]Paper   bibtex
  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
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
Learning modeling abstractions via generalization Klenk, M.; Friedman, S.; and Forbus, K. In Proceedings of the 22nd international workshop on qualitative reasoning, 2008.
Learning modeling abstractions via generalization [pdf]Paper   bibtex
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.
Order of Magnitude Reasoning in Modeling Moral Decision-Making [pdf]Paper   bibtex
  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
Corss domain analogies for learning domain theories [pdf]Paper   bibtex
Learning domain theories via analogical transfer Klenk, M.; Forbus; and D, K. In Proceedings of the 21st international workshop on qualitative reasoning, 2007.
bibtex
  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.
Analogical model formulation for AP Physics Problems [pdf]Paper   bibtex
  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.
Solving everyday physical reasoning problems by analogy using sketches [pdf]Paper   bibtex   1 download
  2004 (1)
Open-domain sketch understanding: The nuSketch approach Forbus, K.; Lockwood, K.; Klenk, M.; Tomai, E.; and Usher, J. 58--63. 2004.
Open-domain sketch understanding: The nuSketch approach [pdf]Paper   bibtex

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/