Open AccessMERGING EPISTEMIC AND TEMPORAL MODELS: A HISTORY-FREE APPROACH
Author(s) -
Elena Popova
Publication year - 2022
Publication title -
logiko-filosofskie študii
Language(s) - English
Resource type - Journals
eISSN - 2223-3954
pISSN - 2071-9183
DOI - 10.52119/lphs.2022.70.18.001
Subject(s) - epistemology , epistemic modal logic , uncertainty quantification , dimension (graph theory) , philosophy of science , relation (database) , philosophy , computer science , mathematics , multimodal logic , artificial intelligence , description logic , database , machine learning , pure mathematics
There are two approaches to merging temporal and epistemic models. The first one consists in starting with a temporal model and enriching it with epistemic dimension (as temporal epistemic logic), while the second one is supposed to start with an epistemic model introducing temporal dimension (dynamic epistemic logic, epistemic temporal logic). The proposed evolutionary epistemic model (EEM) is based on the standard epistemic model with an evolutionary relation. EEM captures knowledge changes in terms of the evolution of worlds included in different epistemic contexts. Unlike other temporal-epistemic models, EEM is free from the concept of history and enriched with quantification operators over the worlds’ evolution stages.