SSP Forum: Dirk Hofland and Allen Zhao (M.S. Candidates) » Show

April 30, 2018

Start Date

& End Date

12:30 p.m.

Start Time

to

1:20 p.m.

End Time

at 460-126 (Greenberg Seminar Room)

Location

The
Symbolic Systems Forum

presents

Public Presentations of M.S. Projects

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

and

Allen Zhao  (M.S. Candidate)
Symbolic Systems Program

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

ABSTRACTS:
(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) Allen Zhao, Symbolic Systems Program, Title TBA

Description

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.