Vassar College Digital Library

Vassar Scholarship

Vassar Scholarship, the institutional repository formerly known as Digital Window, reflects the research and scholarly output of the Vassar College community.  It provides access to a variety of collections, including senior theses and projects across a wide range of disciplines.

Coalition Power in Epistemic Transition Systems

Publication Date
2017-January-01
Document Type
Department or Program
Document Type
Abstract

The paper proposes a bimodal logic that describes an interplay between coalition strategies and distributed knowledge. Unlike the existing literature, the paper assumes that a strategy must be not only executable but also verifiable. That is, the strategy of a...

View

Everyone knows that someone knows: quantifiers over epistemic agents

Publication Date
2018-January-01
Document Type
Department or Program
Document Type
Abstract

Modal logic S5 is commonly viewed as an epistemic logic that captures the most basic properties of knowledge. Kripke proved a completeness theorem for the first-order modal logic S5 with respect to a possible worlds semantics. A multiagent version of...

View

Information Flow under Budget Constraints

Publication Date
2018-February-26
Document Type
Department or Program
Document Type
Abstract

Although first proposed in the database theory as properties of functional dependencies between attributes, Armstrong's axioms capture general principles of information flow by describing properties of dependencies between sets of pieces of information. This article generalizes Armstrong's axioms to a...

View

Second-Order Know-How Strategies

Publication Date
2018-July-10
Document Type
Department or Program
Document Type
Abstract

The fact that a coalition has a strategy does not mean that the coalition knows what the strategy is. If the coalition knows the strategy, then such a strategy is called a know-how strategy of the coalition. The paper proposes...

View

Strategic Coalitions with Perfect Recall

Publication Date
2018-February-02
Document Type
Department or Program
Document Type
Abstract

The paper proposes a bimodal logic that describes an interplay between distributed knowledge modality and coalition know-how modality. Unlike other similar systems, the one proposed here assumes perfect recall by all agents. Perfect recall is captured in the system by...

View

Testing biological hypotheses with embodied robots: adaptations, accidents, and by-products in the evolution of vertebrates

Publication Date
2014-November-12
Document Type
Document Type
Abstract

Evolutionary robotics allows biologists to test hypotheses about extinct animals. In our case, we modeled some of the first vertebrates, jawless fishes, in order to study the evolution of the trait after which vertebrates are named: vertebrae. …

View

Together We Know How to Achieve: An Epistemic Logic of Know-How

Publication Date
2017-January-01
Document Type
Department or Program
Document Type
Abstract

The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean that the coalition knows that such a strategy exists...

View