Yves Lespérance

Professor Emeritus

Associate Editor of Artificial intelligence Journal 2017-24.

Associate Editor of the Journal of Artificial intelligence Research (JAIR) 2016-22.

Associate Editor of Autonomous Agents and Multi-Agent Systems Journal (JAAMAS) 2021-24.

Address

Recent Publications

Current/Recent Courses

• EECS 4401/5326 Artificial Intelligence, Winter 2022, course web page, course eClass page.
  
• EECS 2030 (Section M) Advanced Object-Oriented Programming, Winter 2021, course eClass page.
  
• EECS 4401/5326 Artificial Intelligence, Winter 2021, course web page, course eClass page.
  
• EECS 1022 Programming for Mobile Computing, Summer 2020, course web page, course Moodle page.
  
• EECS 1022 Programming for Mobile Computing, Winter 2020, course web page, course Moodle page.
  
• EECS 4401/5326 Artificial Intelligence, Winter 2020, course web page.
• EECS 1022 Programming for Mobile Computing, Summer 2019, course web page, course Moodle page.
  
• EECS 1022 Programming for Mobile Computing, Fall 2018, course web page, course Moodle page.
  
• EECS 3401 Introduction to Artificial Intelligence and Logic Programming, Fall 2018, course web page.
  
• EECS 3401 Introduction to Artificial Intelligence and Logic Programming, Fall 2017, course web page.
  
• EECS 6390A Knowledge Representation, Fall 2017, course web page.
  
• EECS 1720 Building Interactive Systems, Winter 2017, course web page.
  
• EECS 3401 Introduction to Artificial Intelligence and Logic Programming, Winter 2017, course web page.
  
• EECS 1022 Introduction to Software Development, Winter 2016, main course web page on Moodle, web page for my section.
  
• EECS 1720 Building Interactive Systems, Winter 2016, course web page.
  
• CSE 6390A Knowledge Representation, Fall 2015, course web page.
  
• CSE 1030 Introduction to Computer Science II, Winter 2014, course web page, web page for my section.
  
• CSE 3342 System Specification and Refinement, Winter 2014, course web page.
  
• CSE 2001 Introduction to Theory of Computation, Summer 2013, course web page.
  
• CSE 3401 Introduction to Artificial Intelligence and Logic Programming, Fall 2012, course web page.
  
• CSE 6390A Knowledge Representation, Fall 2012, course web page.
  
• CSE 3402 Introduction to Concepts of Artificial Intelligence, Winter 2012, course web page.
  
• PHIL 3750 Philosophy of Artificial Intelligence, Fall 2011, course web page.
  
• PHIL 3750 Philosophy of Artificial Intelligence, Winter 2011, course web page.
  
• CSE 1030 Introduction to Computer Science II, Fall 2010, course web page .
  
• CSE 6390A Knowledge Representation, Fall 2010, course web page.
  
• CSE 3402 Introduction to Concepts of Artificial Intelligence, Winter 2010, course web page.
  
• CSE 1030 Introduction to Computer Science II, Fall 2009, course web page .
  
• CSE 1030 Introduction to Computer Science II, Winter 2009, course web page.
  
• CSE 3402 Introduction to Concepts of Artificial Intelligence, Winter 2009, course web page.
  
• CSE 6390A Knowledge Representation, Fall 2008, course web page.
  
• CSE 3402 Introduction to Concepts of Artificial Intelligence, Winter 2007, course web page.
  
• ITEC 1630 Object-Oriented Programming, Winter 2007, web page for my section.
  
• COSC 6390A Knowledge Representation, Fall 2006, course web page.
  
• CSE 3401 Functional and Logic Programming (Section B), Fall 2005, course web page.
  
• COSC 4401/5326 Artificial Intelligence, Fall 2004, course web page.
  
• COSC 6390A Knowledge Representation, Fall 2003, course web page.
  
• COSC 1020 Introduction to Computer Science I, Fall 2002, course web page, web page for my section.
  
• COSC 6390A Knowledge Representation, Fall 2002, course web page.
  
• COSC 1030 Introduction to Computer Science II, Fall 2000, course web page
• COSC 4401/5326 Artificial Intelligence, Winter 2000, course web page.

Research Interests

• Knowledge Representation and Reasoning
• Autonomous Agents and Multiagent Systems
• Cognitive Robotics

Recent Research Projects

• Using Abstraction in Reasoning about Autonomous Agents and Multiagent Systems
  NSERC Discovery Grant (2022-27)
  Project Description

• Specification, Verification, and Synthesis of Autonomous Adaptive Agents
  NSERC Discovery Grant (2015-22)
  Project Description

• Designing Rational Agents that Can Work with Others
  NSERC Discovery Grant (2010-15)
  

• Logic-Based Agent Programming II
  NSERC Individual Research Grant (2005-10)
  

• Logic-Based Agent Programming
  NSERC Individual Research Grant (2000-05)
  Project Description

• Lights and Camera
  CITO Research Project (2003-05)
  Industrial Partner: MacDonald Dettwiler Space & Advanced Robotics
  Project Description

• High-Level Control of Vision Sensing Systems
  CITO Research Project (2000-02)
  Industrial Partner: MacDonald Dettwiler Space & Advanced Robotics
  Project Description

• Agent-Oriented Software Development
  CITO Research Project (2000-02)
  Project Description

Golog/ConGolog/IndiGolog Software

At York, Alexei Lapouchnian and I have developed the IG-OAAlib implementation of IndiGolog for use in combination with SRI's Open Agent Architecture communication/matchmaking infrastructure.

At the University of Toronto, Maurice Pagnucco and Hector Levesque have developed an implementation of IndiGolog for use with Lego MINDSTORM robots called Legolog.

We hope to have a better and more generic implementation of IndiGolog available in the near future. Until then, we recommend the above implementations, which can be used without the OAA/Lego robot interfaces.

Last modified: June 9, 2022