Results 41 to 50 of about 4,530 (262)
Epistemic Game Theory and Logic: Introduction
Epistemic game theory and the systems of logic that support it are crucial for understanding rational behavior in interactive situations in which the outcome for an agent depends, not just on her own behavior, but also on the behavior of those with whom ...
Paul Weirich
doaj +1 more source
Towards a critical epistemology of mathematics
This essay addresses a critical epistemology of mathematics as an investigation into the epistemic limitations of mathematical thinking. After arguing for the relevance of a critical epistemology of mathematics, I discuss assumptions underlying standard
David Kollosche
doaj +1 more source
Summary: This paper presents a logic of questions developed as an extension of (\textsf{S5}) epistemic logic. We discuss many features that are important for erotetic logic (formalization and semantics of questions, answerhood conditions, and inferential structures with questions).
openaire +4 more sources
CLRe: A Synergistic Dual‐Engine Framework for One‐Step Retrosynthesis Prediction
CLRe uses a contrastive difficulty score to order pretrained seq2seq fine‐tuning for retrosynthesis. Reaction embeddings define the ranking score, and a cumulative easy‐to‐hard schedule expands from the easiest subset to the full training set while earlier examples remain active.
Tianhao Su +5 more
wiley +1 more source
The modeling of awareness and unawareness is a significant topic in the doxastic logic literature, where it is usually tackled in terms of full belief operators. The present paper aims at a treatment in terms of partial belief operators.
Mikaël Cozic
doaj +1 more source
Statistical Epistemic Logic [PDF]
We introduce a modal logic for describing statistical knowledge, which we call statistical epistemic logic. We propose a Kripke model dealing with probability distributions and stochastic assignments, and show a stochastic semantics for the logic. To our knowledge, this is the first semantics for modal logic that can express the statistical knowledge ...
openaire +2 more sources
ABSTRACT Hybrid modeling combines first‐principles equations with a data‐driven subcomponent. Training for the data‐driven part is sensitive to measurement noise when training targets are constructed using pointwise time derivatives. Beyond differentiation errors, hybrid models involve solving an inverse problem to estimate the data‐driven term, which ...
Hangjun Cho +4 more
wiley +1 more source
Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes
In traditional epistemic logic—particularly modal logic—agents are often assumed to have complete and certain knowledge, which is unrealistic in real-world scenarios where uncertainty, imprecision, and the incompleteness of information are common.
Jinjin Zhang +3 more
doaj +1 more source
From Quantum theory to Quantum theology: A leap of faith
This article is aimed at introducing multi valued logic as an epistemic model for theological thought within the reformational-dialectic paradigm. Nowadays, reformational-dialectic theology is challenged by postmodem culture, interreligious exposure and
M. M.J. Basson, J. H. Koekemoer
doaj +1 more source
Optimizing Epistemic Model Checking Using Conditional Independence (Extended Abstract) [PDF]
This paper shows that conditional independence reasoning can be applied to optimize epistemic model checking, in which one verifies that a model for a number of agents operating with imperfect information satisfies a formula expressed in a modal multi-
Ron van der Meyden
doaj +1 more source

