Ron Petrick's Webpages


Word cloud generated from publication title words
[ A word cloud generated from the title words in my publications ]

My current research is in cognitive robotics, specifically in the areas of knowledge representation and reasoning and automated planning. I am particularly interested in problems related to:

  • Modelling an agent's knowledge for planning or high-level agent control, especially in logical languages like the situation calculus,
  • Representing sensing or knowledge-producing actions in domains where an agent has incomplete information about its environment,
  • Tractable reasoning mechanisms with formal semantics for use in practical systems, such as software agents or robots,
  • Designing and implementing planning systems,
  • Applications of planning to natural language generation and dialogue.

For more information about my research, please visit my publications page, invited talks and tutorials page, or software page.


I have been involved in a number of research projects funded by the European Commission and EPSRC. Here's a list of some of my current and past projects: