Results 31 to 40 of about 3,678,044 (245)
Dynamic Epistemic Reasoning with Awareness and Its Legal Application [PDF]
Vietnam Journal of Computer Science, 2019 Concerning a software tool of legal reasoning, it is important to describe the prediction about the result of a criminal action, because a crime is often caused by the unpredictability of the result of the defendant.
Tetsuji Goto, Ryo Hatano, Satoshi Tojo
doaj +1 more source
Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
Mathematics, 2020 Public announcement logic is a logic that studies epistemic updates. In this paper, we propose a sound and complete labelled natural deduction system for public announcement logic with the common knowledge operator (PAC). The completeness of the proposed
Muhammad Farhan Mohd Nasir +2 more
doaj +1 more source
Relating Algebraic and Coalgebraic Logics of Knowledge and Update [PDF]
, 2006 We provide a Coalgebraic semantics for dynamic epistemic logic and prove the muddy children puzzle using recursion. We show how by applying a similar approach to Jacob's predicate lifting to our Coalgebra, one obtains the algebraic logic version of ...
C. Cirstea +5 more
core +1 more source
Process Calculus of Epistemic Systems
AxiomsIn the analysis and design of multi-agent systems, the representation and communication of knowledge is a critical challenge. The traditional methods of the past, such as dynamic epistemic logic, often lack a process algebraic perspective for modeling ...
Jinjin Zhang +3 more
doaj +1 more source
A Neutrosophic Epistemic Framework for Intangible Cultural Heritage Resources: Modeling Authenticity, Uncertainty, and Fragmentation in Tourism Development Potential Analysis [PDF]
Neutrosophic Sets and SystemsThe sustainability of intangible cultural heritage (ICH) increasingly depends on its interface with cultural tourism. While this interaction brings visibility and economic benefit, it often introduces epistemic tension: different stakeholders interpret ...
Chunxi Fan, Haihong Tan, Fangxin Xu
doaj +1 more source
, 2016 Dynamic Epistemic Logic is the study of modal logics of model change. DEL (pronounced “dell”) is a highly active area of applied logic that touches on topics in many areas, including Formal and Social Epistemology, Epistemic and Doxastic Logic, Belief ...
Renne, B., Baltag, A.
core +4 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
Fuzzy Logic and Molana: Exploring the Possibility of Explaining Rumi’s Epistemological Foundations through Fuzzy Logic in the Masnavi-ye Ma‘navi [PDF]
ادبیات عرفانیThis study examines the epistemological structure of Rumi in the Masnavi-ye Ma‘navi and clarifies its relationship with fuzzy logic-a system of reasoning that, in contrast to the rigid dualism of Aristotelian logic, is founded upon the domains of ...
Ebrahim Hasanaklou, Ahmad Razi
doaj +1 more source
Extension Economists: Valued in Mission, Penalized in Practice
Applied Economic Perspectives and Policy, EarlyView.ABSTRACT As the public engagement arm of the land‐grant mission, we argue that Extension faculty in US agricultural economics departments face an identity crossroads as they struggle for institutional support. Specifically, we argue that Extension economists function as boundary‐spanning professionals within academic structures that often devalue ...
Trey Malone +5 more
wiley +1 more source