MoL-2016-25: Dynamic Evidence Logics with Relational Evidence

MoL-2016-25: Occhipinti Liberman, Andrés (2016) Dynamic Evidence Logics with Relational Evidence. [Report]

[thumbnail of MoL-2016-25.text.pdf]

Download (1MB) | Preview


Dynamic evidence logics are logics for reasoning about the evidence and evidence-based beliefs of agents in a dynamic environment. This thesis develops a family of dynamic evidence logics which we call relational evidence logics (REL). Relational evidence logics aim to contribute to the existing work on evidence logics in three main ways. First, while existing evidence logics model pieces of evidence as sets of possible states, REL models represent pieces of evidence as evidence relations. Evidence relations order states in terms of their relative plausibility, given a specific observation or instance of communication. Second, REL models include a representation of the relative reliability of the available pieces of evidence. This additional structure in the models is used to study reliability-sensitive forms of evidence aggregation. Third, various evidence aggregators are explored, to model alternative policies of the agent towards combining evidence.

Item Type: Report
Report Nr: MoL-2016-25
Series Name: Master of Logic Thesis (MoL) Series
Year: 2016
Subjects: Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 23 Feb 2017 14:07
Last Modified: 23 Feb 2017 14:07

Actions (login required)

View Item View Item