April 30, 2018
& End Date
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
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.