BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Rasoul Ramezanian contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We introduce an axiomatization for the notion of computation. Based on the idea of Brouwer choice sequences, we construct a model, denoted by $E$, which satisfies our axioms and $E \models \mathrm{ P \neq NP}$. In other words, regarding "effective computability" in Brouwer intuitionism viewpoint, we show $\mathrm{ P \neq NP}$.
Mechanism design is concerned with settings where a policymaker (or social planner) faces the problem of aggregating the announced preferences of multiple agents into a collective (or social), system-wide decision. One of the most important ways for aggregating preference that has been used in multi-agent systems is election. In an election, the aim is to select the candidate who reflects the common will of society. Despite the importance of this subject, in some situations, the result of the election does not respect the purpose of those who execute it and the election leads to dissatisfaction of a large amount of people and in some cases causes polarization in societies. To analyze these situations, we introduce a new notion called social disappointment and we show which voting rules can prevent it in elections. In addition, we propose new protocols to prevent social disappointment in elections. A version of the impossibility theorem is proved regarding social disappointment in elections, showing that there is no voting rule for four or more candidates that simultaneously satisfies avoiding social disappointment and Condorcet winner criteria. We give conditions under which one of our new protocols always selects the Condorcet winner under the assumption of single peakedness. We empirically compare our protocols with seven well-known other voting protocols and observe that our protocols are capable of preventing social disappointment and are more robust against manipulations.