Logical Foundations of Multiagent Systems
Pavel Naumov (Computer Science)
Theory of multiagent systems studies exchange of information, interaction, strategic cooperation, influence, beliefs formation, and judgment aggregation between agents. The agents could be humans, computers, computer programs, corporations, etc. They can be assumed to be rational or not. The purpose of this project is to develop a logical framework for reasoning about one of such systems. This is a purely theoretical line of research. The student will work with me on a whiteboard to develop a class of formal mathematical models, identify universal logical principles common to all such models, and to try to prove that the found logical system is complete. See examples of my previous publications in journals and peer-reviewed conference proceedings co-authored with undergraduate students.
Pre-requisites: Mathematical maturity and interest in logical puzzles and abstract thinking.
How should students express their interest in this project? Students should submit an URSI application. Shortlisted candidates will be contacted for an in-person interview.