PP-2019-24: Rule-based Reasoners in Epistemic Logic

PP-2019-24: Solaki, Anthia (2019) Rule-based Reasoners in Epistemic Logic. [Pre-print]

[thumbnail of ESSLLI-solaki.pdf]

Download (357kB) | Preview
Official URL: https://link.springer.com/chapter/10.1007/978-3-66...


In this paper, we offer a balanced response to the problem of logical omniscience, whereby agents are modeled as non-omniscient yet still logically competent reasoners. To achieve this, we account for the deductive steps that form the epistemic state of an agent. In particular,
we introduce operators for applications of inference rules and design a possible-worlds model which is (a) equipped with a syntactic valuation, determining the agent's (explicit) knowledge, and (b) suitably structured
by rule-induced transitions between worlds. As a result, we obtain a detailed analysis of the agent's reasoning processes. We then offer validities that exemplify how the problem of logical omniscience is avoided and compare our response to others in the literature. A sound and complete
axiomatization is also provided. We fi�nally show how simple extensions of this setting make it compatible with tools from Dynamic Epistemic Logic (DEL) and open to the incorporation of empirical �findings on human reasoning.

Item Type: Pre-print
Report Nr: PP-2019-24
Series Name: Prepublication (PP) Series
Year: 2019
Subjects: Logic
Depositing User: asolaki1
Date Deposited: 06 Oct 2019 11:52
Last Modified: 06 Oct 2019 11:52
URI: https://eprints.illc.uva.nl/id/eprint/1712

Actions (login required)

View Item View Item