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

rss group by: generated by BibBase.org
 id_Conferenceunfolded.gif Conference (13)
 id_Conference_2012unfolded.gif 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. 2012. In Proceedings of the ASME 2012 IDETC and CIE, Chicago, IL.
Guiding and Verifying Early Design Using Qualitative Simulation [PDF] Guiding and Verifying Early Design Using Qualitative Simulation [bib]    
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. 2012. In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada.
Towards a Cognitive System that Can Recognize Spatial Regions Based on Context [http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5061] Towards a Cognitive System that Can Recognize Spatial Regions Based on Context [PDF] Towards a Cognitive System that Can Recognize Spatial Regions Based on Context [bib]    
DiscoverHistory: understanding the past in planning and execution. Molineaux, M.; Kuter, U.; and Klenk, M. 2012. In International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes), 989-996.
DiscoverHistory: understanding the past in planning and execution [http://dl.acm.org/citation.cfm?id=2343838] DiscoverHistory: understanding the past in planning and execution [bib]    
 id_Conference_2010unfolded.gif 2010 (3)
Applying Goal Driven Autonomy to a Team Shooter Game. Mu\ noz-Avila, H.; Aha, D. W.; Jaidee, U.; Klenk, M.; and Molineaux, M. 2010. In Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, May 19-21, 2010, Daytona Beach, Florida.
Applying Goal Driven Autonomy to a Team Shooter Game [http://www.aaai.org/ocs/index.php/FLAIRS/2010/paper/view/1307] Applying Goal Driven Autonomy to a Team Shooter Game [bib]    
Goal-Driven Autonomy in a Navy Strategy Simulation. Molineaux, M.; Klenk, M.; and Aha, D. W. 2010. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010.
Goal-Driven Autonomy in a Navy Strategy Simulation [http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1928] Goal-Driven Autonomy in a Navy Strategy Simulation [PDF] Goal-Driven Autonomy in a Navy Strategy Simulation [bib]    
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects. Molineaux, M.; Klenk, M.; and Aha, D. W. 2010. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010.
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects [http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1938] Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects [PDF] Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects [bib]    
 id_Conference_2009unfolded.gif 2009 (1)
Persistent mappings in cross-domain analogical learning of physics domains. Klenk, M., and Forbus, K. 2009. Sofia, Bulgaria.
Persistent mappings in cross-domain analogical learning of physics domains [PDF] Persistent mappings in cross-domain analogical learning of physics domains [bib]    
 id_Conference_2008unfolded.gif 2008 (2)
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] MoralDM: a computational modal of moral decision-making [bib]    
An integrated reasoning approach to moral decision-making. Dehghani, M.; Tomai, E.; Forbus, K.; and Klenk, M. 2008. 1280--1286.
An integrated reasoning approach to moral decision-making [PDF] An integrated reasoning approach to moral decision-making [bib]    
 id_Conference_2007unfolded.gif 2007 (2)
Cognitive modeling of analogy events in physics problem solving from examples. Klenk, M., and Forbus, K. 2007.
Cognitive modeling of analogy events in physics problem solving from examples [bib]
Measuring the level of transfer learning by an AP Physics problem-solver. Klenk, M., and Forbus, K. 2007. 22(1):446.
Measuring the level of transfer learning by an AP Physics problem-solver [bib]
 id_Conference_2006unfolded.gif 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] Cognitive processes in quantitative estimation: analogical anchors and causal adjustment [bib]    
 id_Conference_2005unfolded.gif 2005 (1)
Solving Everyday Physical Reasoning Problems by Analogy Using Sketches. Klenk, M.; Forbus, K. D.; Tomai, E.; Kim, H.; and Kyckelhahn, B. 2005. In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, 209-215.
Solving Everyday Physical Reasoning Problems by Analogy Using Sketches [http://www.aaai.org/Library/AAAI/2005/aaai05-034.php] Solving Everyday Physical Reasoning Problems by Analogy Using Sketches [PDF] Solving Everyday Physical Reasoning Problems by Analogy Using Sketches [bib]    
 id_Journalunfolded.gif Journal (7)
 id_Journal_2013unfolded.gif 2013 (2)
GOAL-DRIVEN AUTONOMY FOR RESPONDING TO UNEXPECTED EVENTS IN STRATEGY SIMULATIONS. Klenk, M.; Molineaux, M.; Aha; and W, D. 2013. Computational Intelligence, 29(2):.
GOAL-DRIVEN AUTONOMY FOR RESPONDING TO UNEXPECTED EVENTS IN STRATEGY SIMULATIONS [PDF] GOAL-DRIVEN AUTONOMY FOR RESPONDING TO UNEXPECTED EVENTS IN STRATEGY SIMULATIONS [bib]    
Exploiting persistent mappings in cross-domain analogical learning of physical domains. Klenk, M., and Forbus, K. D. 2013. Artificial Intelligence, 195:398-417.
Exploiting persistent mappings in cross-domain analogical learning of physical domains [http://dx.doi.org/10.1016/j.artint.2012.11.002] Exploiting persistent mappings in cross-domain analogical learning of physical domains [bib]    
 id_Journal_2011unfolded.gif 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. 2011. Journal of Experimental and Theoretical Artificial Intelligence, 23(3):299-327.
Using analogical model formulation with sketches to solve Bennett Mechanical Comprehension Test problems [http://dx.doi.org/10.1080/0952813X.2010.502312] Using analogical model formulation with sketches to solve Bennett Mechanical Comprehension Test problems [http://www.tandfonline.com/doi/abs/10.1080/0952813X.2010.502312] Using analogical model formulation with sketches to solve Bennett Mechanical Comprehension Test problems [bib]    
Goal-driven autonomy. Aha, D.; Molineaux„ M.; and Klenk, M. 2011. NRL Review154-155.
Goal-driven autonomy [bib]
 id_Journal_2009unfolded.gif 2009 (3)
Domain transfer via cross-domain analogy. Klenk, M., and Forbus, K. 2009. Cognitive Systems Research, 10(3):240--250.
Domain transfer via cross-domain analogy [PDF] Domain transfer via cross-domain analogy [bib]    
Analogical model formulation for transfer learning in AP Physics. Klenk, M., and Forbus, K. 2009. Artificial Intelligence, 173(18):1615--1638.
Analogical model formulation for transfer learning in AP Physics [doi:10.1016/j.artint.2009.09.003] Analogical model formulation for transfer learning in AP Physics [bib]    
Companion cognitive systems: Design goals and lessons learned so far. Forbus; D, K.; Klenk, M.; and Hinrichs, T. 2009. Intelligent Systems, IEEE, 24(4):36--46.
Companion cognitive systems: Design goals and lessons learned so far [bib]
 id_Workshopunfolded.gif Workshop (19)
 id_Workshop_2013unfolded.gif 2013 (1)
Dynamic Symbol Grounding: Changing Referents in Engineering Analysis and Spatial Environments. Klenk, M., and Bobrow, D. 2013. In Procceedings of the AAAI-13 Workshop on Space, Time, and Ambient Intelligence, Bellevue, WA.
Dynamic Symbol Grounding: Changing Referents in Engineering Analysis and Spatial Environments [PDF] Dynamic Symbol Grounding: Changing Referents in Engineering Analysis and Spatial Environments [bib]    
 id_Workshop_2012unfolded.gif 2012 (3)
Challenges for qualitative reasoning for engineering design. Bobrow; G, D.; Klenk, M.; de Kleer, J.; Janssen, B.; and Hanley, J. 2012. In Proceedings of the 26th Annual Workshop on Qualitative Reasoning (QR12).
Challenges for qualitative reasoning for engineering design [PDF] Challenges for qualitative reasoning for engineering design [bib]    
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. 2012. In Proceedings of the 26th Annual Workshop on Qualitative Reasoning (QR12).
Using Anchor Points to Define and Transfer Spatial Regions Based on Context [PDF] Using Anchor Points to Define and Transfer Spatial Regions Based on Context [bib]    
Placing Qualitative Reasoning in the Design Process. Klenk, M.; Bobrow; G, D.; de Kleer, J.; Hanley, J.; and Janssen, B. 2012. In Proceedings of the 26th Annual Workshop on Qualitative Reasoning (QR12).
Placing Qualitative Reasoning in the Design Process [PDF] Placing Qualitative Reasoning in the Design Process [bib]    
 id_Workshop_2011unfolded.gif 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. 2011. In CogSci Workshop on Computational Models for Spatial Language Interpretation and Generation (CoSLI-2). Boston, MA..
Representing And Reasoning with Functional Knowledge for Spatial Language Understanding [bib]
Representing and Reasoning About Spatial Regions Defined by Context. Klenk, M.; Hawes, N.; and Lockwood, K. 2011. In AAAI Fall Symposium Series.
Representing and Reasoning About Spatial Regions Defined by Context [PDF] Representing and Reasoning About Spatial Regions Defined by Context [bib]    
What Just Happened? Explaining the Past in Planning and Execution. Molineaux, M.; Kuter, U.; and Klenk, M. 2011. In Explanation-aware Computing, Papers from the 2011 IJCAI Workshop, Barcelona, Spain, July 16-17, 2011, 31-40.
What Just Happened? Explaining the Past in Planning and Execution [bib]
 id_Workshop_2010unfolded.gif 2010 (1)
Goal-driven autonomy in planning and acting. Klenk, M. 2010. In Proceedings of the AAAI-10 Workshop on Goal-Directed Autonomy (GDA).
Goal-driven autonomy in planning and acting [PDF] Goal-driven autonomy in planning and acting [bib]    
 id_Workshop_2009unfolded.gif 2009 (2)
Transfer as a benchmark for multi-representational architectures. Klenk, M. 2009. In Multi-Representational Architectures for Human-Level Intelligence: Papers from the AAI Fall Symposium.
Transfer as a benchmark for multi-representational architectures [bib]
Opponent modeling and spatial similarity to retrieve and reuse superior plays. Laviers, K.; Sukthankar, G.; Klenk, M.; Aha; W, D.; and Molineaux, M. 2009. In Proceedings of the ICCBR Workshop on Case-Based Reasoning for Computer Games.
Opponent modeling and spatial similarity to retrieve and reuse superior plays [PDF] Opponent modeling and spatial similarity to retrieve and reuse superior plays [bib]    
 id_Workshop_2008unfolded.gif 2008 (4)
Companion Cognitive Systems: Design Goals and Some Lessons Learned. Forbus, K. D.; Klenk, M.; and Hinrichs, T. R. 2008. In AAAI Fall Symposium on Naturally-Inspired Artificial Intelligence.
Companion Cognitive Systems: Design Goals and Some Lessons Learned [bib]
Learning modeling abstractions via generalization. Klenk, M.; Friedman, S.; and Forbus, K. 2008. In Proceedings of the 22nd international workshop on qualitative reasoning.
Learning modeling abstractions via generalization [PDF] Learning modeling abstractions via generalization [bib]    
MoralDM: A Computational Modal of Moral Decision-Making. Dehghani, M.; Tomai, E.; Forbus, K.; Illiev, R.; and Klenk, M. 2008. In Abstract accepted at the 2008 meeting of Society of Judge and Decision Making (SJDM).
MoralDM: A Computational Modal of Moral Decision-Making [bib]
Order of Magnitude Reasoning in Modeling Moral Decision-Making. Dehghani, M.; Tomai, E.; Forbus, K.; and Klenk, M. 2008. In Proceedings of the 22nd international workshop on qualitative reasoning.
Order of Magnitude Reasoning in Modeling Moral Decision-Making [PDF] Order of Magnitude Reasoning in Modeling Moral Decision-Making [bib]    
 id_Workshop_2007unfolded.gif 2007 (2)
Corss domain analogies for learning domain theories. Klenk, M., and Forbus, K. 2007. In Analogies: Integrating Multiple Cognitive Abilities, Volume 5, Publications of the Institute for Cognitive Science, University of Osnabruck.
Corss domain analogies for learning domain theories [PDF] Corss domain analogies for learning domain theories [bib]    
Learning domain theories via analogical transfer. Klenk, M.; Forbus; and D, K. 2007. In Proceedings of the 21st international workshop on qualitative reasoning.
Learning domain theories via analogical transfer [bib]
 id_Workshop_2006unfolded.gif 2006 (1)
Analogical model formulation for AP Physics Problems. Klenk, M.; Forbus; and D, K. 2006. In Proceedings of the 20th international workshop on qualitative reasoning.
Analogical model formulation for AP Physics Problems [PDF] Analogical model formulation for AP Physics Problems [bib]    
 id_Workshop_2005unfolded.gif 2005 (1)
Solving everyday physical reasoning problems by analogy using sketches. Klenk, M.; Forbus, K.; Tomai, E.; Kim, H.; and Kyckelhahn, B. 2005. In Proceedings of the 19th international workshop on qualitative reasoning.
Solving everyday physical reasoning problems by analogy using sketches [PDF] Solving everyday physical reasoning problems by analogy using sketches [bib]    
 id_Workshop_2004unfolded.gif 2004 (1)
Open-domain sketch understanding: The nuSketch approach. Forbus, K.; Lockwood, K.; Klenk, M.; Tomai, E.; and Usher, J. 2004. 58--63.
Open-domain sketch understanding: The nuSketch approach [PDF] Open-domain sketch understanding: The nuSketch approach [bib]    
Statistics: ? unique visitors, ? downloads | Link To This Page.

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/