Results 41 to 50 of about 4,530 (262)

Epistemic Game Theory and Logic: Introduction

open access: yesGames, 2017
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

open access: yesPrometeica, 2023
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

Erotetic Epistemic Logic

open access: yesLogic and Logical Philosophy, 2017
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

open access: yesAdvanced Science, EarlyView.
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

Probabilistic Unawareness

open access: yesGames, 2016
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]

open access: yes, 2019
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

Dictionary‐based weak‐form training for noise‐robust series hybrid models with multiplicative unknowns

open access: yesAIChE Journal, EarlyView.
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

open access: yesMathematics
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

open access: yesHTS Teologiese Studies/Theological Studies, 1997
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]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2017
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

Home - About - Disclaimer - Privacy