Planning & multi-agent syStems
This module is going to cover several topics in one because they are interrelated. It is entirely possible to make an entire class on multi-agent systems, and indeed, one may exist at OU in the near future with our new faculty! However, this class focuses on an overview of AI and, as such, we cannot spend the entire semester on one topic.
For this module, we will start with a discussion of how to represent knowledge in a logical manner. This will enable the agents to share their information about their current internal state as well as any knowledge about the environment they have gathered. By using a logical representation, the knowledge is shared in a consistent and clear manner. Note that we are not going to require propositional logic, we just approach the knowledge representation from this angle and then relax the representation as much as possible while maintaining the ability to do joint planning.
We will move from knowledge representation to planning, which is the reason for the fun picture of Shakey the robot. Shakey’s creators were involved in the original development of classical planning approaches, which we will discuss as part of learning about planning.
Finally, we will tie the two topics together and discuss how we can use the logic-based knowledge representation together with planning to enable multiple agents to accomplish goals together.