Logic and Computation Courses
Strategies, Knowledge, and Know-How,
Pavel Naumov (Vassar College, USA)
An agent comes to a fork in a road. There is a sign that says that one of the two roads leads to prosperity, another to death. The agent must take the fork, but she does not know which road leads where. Does the agent have a strategy to get to prosperity? On one hand, since one of the roads leads to prosperity, such a strategy clearly exists. On the other, the agent does not know how to apply the strategy. This introductory-level course will introduce students to formal models of knowledge, strategies, and know-how and review recent results in this area.