Results 41 to 50 of about 825,268 (301)
Epistemic Logic: A Survey of the Logic of Knowledge
Principia: An International Journal of Epistemology, 2018 Nesta resenha, eu destaco algumas das inovações na lógica epistêmica desenvolvida por Nicholas Rescher e amplio a discussão para o ensino de virtudes intelectuais.
Alexandre Ziani de Borba
doaj +1 more source
Automata Techniques for Epistemic Protocol Synthesis [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing ad infinitum a propositional event model from an initial epistemic model ...
Guillaume Aucher +2 more
doaj +1 more source
Epistemic Logic Programs: A Different World View [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Epistemic Logic Programs (ELPs), an extension of Answer Set Programming (ASP) with epistemic operators, have received renewed attention from the research community in recent years.
Michael Morak
doaj +1 more source
Structures for Epistemic Logic [PDF]
, 2014 In this chapter we overview the main structures of epistemic and doxastic logic. We start by discussing the most celebrated models for epistemic logic, i.e., epistemic Kripke structures. These structures provide a very intuitive interpretation of the accessibility relation, based on the notion of information.
Bezhanishvili, N., van der Hoek, W.
openaire +4 more sources
Coalgebraic Epistemic Update without Change of Model [PDF]
, 2007 We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions and thus our models do not involve the ”change-of-model” phenomena that arise when ...
C. Cirstea +7 more
core
The Algebra of Multi-Agent Dynamic Belief Revision [PDF]
, 2005 We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for dynamic belief revision in a multi-agent setting.
Sadrzadeh, Mehrnoosh +8 more
core +1 more source
Ethical Precision in Nanoscale Brain Interfacing
Advanced Science, EarlyView.As brain interfaces approach the nanoscale, precision no longer only measures—it knows, predicts, and potentially reshapes the mind. This work argues that traditional ethics fails under such conditions and proposes a shift toward continuous, operation‐based governance using the recovery–discovery framework to track, constrain, and responsibly steer ...
Guilherme Wood
wiley +1 more source
Dynamic epistemic logic in update logic [PDF]
Journal of Logic and Computation, 2016 We show that dynamic epistemic logic (DEL) is a substructural logic and that it is an extension of the update logic introduced in the companion article [12]. We identify axioms and inference rules that completely characterize the DEL product update, and we provide a sequent calculus for DEL.
openaire +3 more sources
Advanced Science, EarlyView.Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang +2 more
wiley +1 more source
CLRe: A Synergistic Dual‐Engine Framework for One‐Step Retrosynthesis Prediction
Advanced 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