SSP Forum: Dirk Hofland and Jacob Yu Villa (M.S. Candidates) » Show

April 30, 2018

Start Date

& End Date

12:30 p.m.

Start Time


1:20 p.m.

End Time

at 460-126 (Greenberg Seminar Room)


Symbolic Systems Forum


Public Presentations of M.S. Projects

Dirk Hofland (M.S. Candidate)
Symbolic Systems Program


Jacob Yu Villa  (M.S. Candidate)
Symbolic Systems Program

Monday, April 30, 2018
12:30-1:20 pm
Building 460, Room 126 (Margaret Jacks Hall)

(1) Dirk Hofland, Symbolic Systems Program, "Logic and Qualitative Probability" (Advisor: Thomas Icard, Philosophy Department; Second Reader: Johan van Benthem, Philosophy Department)
While theories of probability have long been adequately axiomatized, these generally take a quantitative approach. Yet humans are also able to reason about probability in a qualitative sense, such as when comparing the relative likelihoods of sets of events and making inferences based on those comparisons. This suggests that probabilistic reasoning  ultimately has a strong qualitative basis, which can be supplemented by various other components in order to obtain complete theories of probability. We develop a logical syntax as well as a corresponding semantics to capture this qualitative probabilistic core. We prove their soundness and completeness, and show that the satisfiability problem of the language is in P. Finally we analyse the hierarchy of axiomatisations and systems that range from our own all the way to those of Kolmogorov.
(2) Jacob Yu Villa, Symbolic Systems Program, "Absence in Augumented Reality" (Advisor: Jeremy Bailenson, Communication Department; Second Reader: TBA)
Augmented or "mixed" reality has continued to become increasingly popular in the mainstream tech world. However bringing headsets into the equation has seen some negative reception, especially when said augmented reality has been brought to the real world like with Google glass. This may be due to people feeling that headset users are “absent” from reality. We seek to examine this idea further through dyad experiments between a person wearing the Microsoft HoloLens and a person not wearing any headset. The person not wearing any headset may or may not be obscured by a holographic projection to the HoloLens wearer depending on the experimental condition. We study the conversations between our dyads through quantitative and qualitative means -- looking for the impact on conversation quality and perception of other people. In addition, we seek to investigate the reasons for these potential shifts in communication in order to better inform future adoption of AR headsets into the real world.


For Internet Explorer users: Click on the Tools menu, located at the top of your browser window. When the drop-down menu appears, select the option labeled Full Screen.

For Chrome users:Click on the Chrome "wrench" icon, located in the upper right hand corner of your browser window. When the drop-down menu appears, select the choice labeled Full Screen.

For Firefox user:Click on the View menu, located at the top of your browser window. When the drop-down menu appears, select the option labeled Full Screen.

For Safari users: Safari currently does not support the ability to go fullscreen.