Login
Talks & Seminars
Title: Applications of Epistemic Logic
Prof. Rohit Parikh, Brooklyn College and CUNY Graduate Center
Date & Time: January 24, 2012 14:00
Venue: Lecture Hall, 02nd Floor, B Block, Dept. of Computer Science & Engg., Kanwal Rekhi Bldg.
Abstract:
Church and Turing suggested the equivalence of effective functions with those computed by formal methods like Turing machines. But there is a similar, much more difficult problem of social “computation”. What social procedures work? And which ones provide incentives to players to “go along”? There are both negative and positive results in this area. The Arrow theorems are an example of the first and mechanism design provides examples of the latter. A problem pointed to by Hayek is that the knowledge needed to solve social problems is distributed, and information needed to solve a problem may be shared by many. We look into the issue of how players behave under circumstances of incomplete information as to the results of their choices. A card game - where some information is lacking – will be played differently from one where one of the players has found out the cards of the other player. How a player behaves in the presence of uncertainty is of course different from how she acts when she knows all the facts. It is for such reasons that some governments seek to control information and some like Julian Assange may seek to reveal secret information. We will present some technical results in this area. The mathematics presupposed will not be difficult. Some of the work is joint with Cagil Tasdemir and Andreas Witzel. This talk is organized jointly by the CSE dept with Logic Centre, Mumbai as part of a Turing Centenary Lecture Series.
Speaker Profile:
Prof. Rohit Parikh is currently a Distinguished Professor of Computer Science, Philosophy and Mathematics at Graduate Center, City University New York. He is also affiliated to the Department of Computer Science, Brooklyn College. His research interests have spanned Formal languages, Automata Theory, Recursive function theory, Proof theory, Non-standard analysis, Logic of programs, Logic of knowledge, Philosophy of Language, Belief revision, Social software and Game theory. However, the theme which concerns most of his recent papers is Social Software, an analysis of social procedures, from elections to cake cutting, using ideas from Computer Science, Game Theory and Logic. The following is a partial list of some of his seminal contributions over the years: * formal language theory, especially inherently ambiguous languages and semilinear sets * mathematical logic, specifically lengths of proofs and feasible arithmetic * logic in computer science, dynamic logic and logics of knowledge * philosophical logic, especially vagueness, nonmonotonic reasoning,and belief revision * social software, including the logic of games. For more details, please see http://www.sci.brooklyn.cuny.edu/cis/parikh/ [www.sci.brooklyn.cuny.edu]
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback