4 papers
Formal specification and behavioral simulation of the holiday gift exchange game
Daniel Quigley
The holiday gift exchange game is a familiar social institution with nontrivial strategic structure. We provide a formal treatment of the game's mechanics, defining the state space…
A vector logic for intensional formal semantics
Daniel Quigley
Formal semantics and distributional semantics are distinct approaches to linguistic meaning: the former models meaning as reference via model-theoretic structures; the latter as ve…
A framework for auditing grounding claims
Daniel Quigley, Eric Maynard
The symbol grounding problem asks how a token such as cat can be about cats. We propose a framework for auditing grounding claims against a declared semantic standard. The audit re…
Optimally Dictatorial Committees
D. Carlos Akkar
I study the optimal voting mechanism for a committee that must decide whether to enact or block a policy of unknown benefit. Information can come both from committee members who ca…