Search Results (15)

In 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 concurrent belief-driven interactions. This paper proposes the Calculus of Epistemic Systems (CES), a process calculus that formalizes agents’ communication behaviors within an epistemic environment and captures how epistemic interactions dynamically update agents’ belief bases. We establish key epistemic properties of CES and investigate strong bisimilarity, weak bisimilarity, and observational congruence, proving their substitutivity under all combinators. A persuasion scenario between a companion agent and an elderly user demonstrates the framework’s applicability. Additionally, we show how CES can embed process terms as modal operators in a dynamic epistemic logic. This may unify two major lines of research. Full article

The complexity of socio-economic, ecological, and public-health systems demands simulation frameworks capturing both macro dynamics and micro agent heterogeneity. Agent-based modeling (ABM) and system dynamics (SD), increasingly coupled with AI and analytical methods, support decision making in complex systems, yet no systematic review covers 2021–2026. A two-round PRISMA 2020 search (September 2025; May 2026) in IEEE Xplore, Web of Science, and ProQuest identified 70 eligible papers across 14 thematic clusters; because the second search round closed in May 2026, papers published later in 2026 are necessarily under-represented relative to complete prior years. Data were extracted along eleven dimensions; inter-rater reliability was κ = 0.88–0.90. Output grew 133% between 2023 and 2025. C14 (Multi-Method Simulation) and C7 (Healthcare & Epidemiology) are the largest clusters; AnyLogic dominates as the only natively tri-paradigm platform (22.9%). Hybrid models consistently identify critical intervention thresholds invisible to mono-paradigm approaches. Only 44.3% of papers report formal structural validation and 88.6% withhold code. Nine papers (12.9%) integrate ML/AI, but none apply interpretability techniques (SHAP, LIME, ICE). ABM–SD hybridization is a maturing paradigm whose epistemic gain depends on closing validation, reproducibility, and interpretability gaps. Six gaps and five priority directions for 2026–2030 are identified, including a minimum validation protocol, a standardized repository, and a dedicated interpretability framework for ML+ABM–SD hybrids that preserves causal transparency for decision making in complex systems. Full article

Contrasting mainstream operational definitions of mindfulness, this article introduces the Dialectical Mandala Model of Mindfulness (DMMM), a dialectically articulated framework integrating Daoist internal alchemy and Buddhist contemplative theory. It reconceptualizes mindfulness as a multilayered developmental architecture rather than a set of techniques or cognitive skills, extending beyond cognitive adjustment to encompass the psycho-physical dynamics of qi, shen (spirit), hun (cloud-soul), and po (white-soul). Grounded in the catuṣkoṭi framework, the DMMM proposes a reconstruction of the dialectical logic underlying certain contemplative traditions through a systematic integration of the subject–object polarity, and aligns with the second stage of Kwang-Kuo Hwang’s three-step epistemological strategy for developing indigenous psychology, contributing to theory-building within cross-cultural and indigenous psychological discourse. The study combines close textual analysis with a reflexive use of autoethnographic vignettes from long-term practice, not as reports of experience themselves but as an epistemically situated resource for model construction. The DMMM formalizes a recursively unfolding developmental trajectory of mindfulness cultivation into a system of four interrelated cycles, each comprising four distinct phases. Across these phases, the developmental qualities of faith, understanding, practice, and realization function as recurrent structural principles rather than merely experiential descriptors. By articulating the internal dynamics and causal coherence of these phases, the model offers a systematic theoretical account of how spontaneous or non-discursive states may be understood as structured by a deeper dialectical logic. These four cycles provide a framework for analyzing transformations in mindfulness across stages and traditions, thereby contributing to religious studies, contemplative studies, and cross-cultural psychological theory-building. Full article

Large Language Models (LLMs) have demonstrated extraordinary capabilities in natural language generation; however, their real-world deployment is frequently hindered by the generation of factually incorrect or biased content, along with an inherent deficiency in transparency. To address these critical limitations and thereby enhance the reliability and explainability of LLM outputs, this study proposes a novel integrated framework, namely the Adaptive Knowledge-Driven Correction Network (AKDC-Net), which incorporates three core algorithmic innovations. Firstly, the Hierarchical Uncertainty-Aware Bias Detector (HUABD) performs multi-level linguistic analysis (lexical, syntactic, semantic, and pragmatic) and, for the first time, decomposes predictive uncertainty into epistemic and aleatoric components. This decomposition enables principled, interpretable bias detection with clear theoretical underpinnings. Secondly, the Neural-Symbolic Knowledge Graph Enhanced Corrector (NSKGEC) integrates a temporal graph neural network with a differentiable symbolic reasoning module, facilitating logically consistent and factually grounded corrections based on dynamically updated knowledge sources. Thirdly, the Contrastive Learning-driven Multimodal Explanation Generator (CLMEG) leverages a cross-modal attention mechanism within a contrastive learning paradigm to generate coherent, high-quality textual and visual explanations that enhance the interpretability of LLM outputs. Extensive evaluations were conducted on a challenging medical domain dataset to validate the effectiveness of the proposed AKDC-Net framework. Experimental results demonstrate significant improvements over state-of-the-art baselines: specifically, a 14.1% increase in the F1-score for bias detection, a 19.4% enhancement in correction quality, and a 31.4% rise in user trust scores. These findings establish a new benchmark for the development of more trustworthy and transparent artificial intelligence (AI) systems, laying a solid foundation for the broader and more reliable application of LLMs in high-stakes domains. Full article

This paper examines how colonial and neoliberal logics have influenced the ideas of self-management, democracy, and participation and how a decolonial perspective might reinterpret them. Although democracy and participation are celebrated in mainstream development discourse, they frequently serve as technologies of control that uphold market rationalities and dependency. The paper presents a conceptual model for comprehending how political and organisational practices in the Global South are both resisted by and limited by these dynamics, drawing on the framework of the colonial matrix of power. With reference to grassroots movements like Abahlali base Mjondolo, which represent alternative democratic logics based on collective self-management and epistemic justice, South Africa is used as a focal case. How gaps in the global architecture of dominance create opportunities for pluriversal futures is further demonstrated by comparative observations from Latin America and other Global South contexts. By (i) exposing the limitations of institutionalised participatory frameworks, (ii) highlighting radical democracy at the grassroots level, and (iii) describing the structural and epistemic prerequisites for significant change, the paper adds to discussions on decolonial political economy. By doing this, it reinterprets participation as a fight for liberating alternatives outside of colonial modernity rather than as inclusion within the status quo. Full article

We build and study dynamic versions of epistemic logic. We study languages parameterized by an action signature that allows one to express epistemic actions such as (truthful) public announcements, completely private announcements to groups of agents, and more. The language $\mathcal{L}$(Σ) is modeled on dynamic logic. Its sentence-building operations include modalities for the execution of programs, and for knowledge and common knowledge. Its program-building operations include action execution, composition, repetition, and choice. We consider two fragments of $\mathcal{L}(\mathbf{\Sigma })$. In ${\mathcal{L}}_1(\mathbf{\Sigma })$, we drop action repetition; in ${\mathcal{L}}_0(\mathbf{\Sigma })$, we also drop common knowledge. We present the syntax and semantics of these languages and sound proof systems for the validities in them. We prove the strong completeness of a logical system for ${\mathcal{L}}_0(\mathbf{\Sigma })$ and the weak completeness of one for ${\mathcal{L}}_1(\mathbf{\Sigma })$. We show the finite model property and, hence, decidability of ${\mathcal{L}}_1(\mathbf{\Sigma })$. We translate ${\mathcal{L}}_1(\mathbf{\Sigma })$ into PDL, obtaining a second proof of decidability. We prove results on expressive power, comparing ${\mathcal{L}}_1(\mathbf{\Sigma })$ with modal logic together with transitive closure operators. We prove that a logical language with operators for private announcements is more expressive than one for public announcements. Full article

This paper presents the significance of a seismic hazard curve plot as a dynamic parameter in estimating earthquake-resistant structures. Various cases of structural damages in Malaysia are due to underestimating earthquake loadings since mostly buildings were designed without seismic loads. Sabah is classified as having low to moderate seismic activity due to a few active fault lines. Background point, area, and line sources are the three tectonic features that have impacted Sabah. Data on earthquakes from 1900 to 2021 have been collected by a number of earthquake data centers. The seismicity is based on a list of historical seismicities in the area, which stretches from latitudes 4 °S to 8 °N and longitudes 115 °E to 120 °E. The goal of this research is to develop a seismic hazard curve based on a conventional probabilistic seismic hazard analysis being examined for the maximum peak ground acceleration at 10% probability of exceedance as published in MSEN1998-1:2015. This study extended to 5% and 2% probability of exceedance combined with the seismic hazard curve by using Ranau as a case study. To calculate the expected ground motion recurrence, such as peak ground acceleration at the site, earthquake recurrence models were combined with selected ground motion models. A logic tree structure was used to combine simple quantities such as maximum magnitudes and the chosen ground motion models to describe epistemic uncertainty. The result demonstrates that peak ground acceleration values at the bedrock were estimated to be 0.16, 0.21, and 0.28 g of the total seismic hazard curve at 10%, 5%, and 2% PE in a 50-year return period, respectively. The seismic hazard study at a Ranau site basically depends on the seismicity of a region and the consequences of failure in the past. Thus, the results can be used as a basis for benchmarking design or evaluation decisions and for designing remedial measures for Sabah constructions to minimize structural failure. Full article

This paper provides an overview of quantum dynamic logics, showing how they have been designed and illustrating how these logics can be applied to verify the correctness of quantum protocols. Similar to the advantages of using dynamic logics to reason about the flow of classical information, the quantum analogues of these logics are tailored to the task of reasoning about the flow of quantum information. We present our logical systems in a modular way, starting with the qualitative logic of quantum measurements and unitary evolutions in single quantum systems, which can already express non-classical effects, e.g., the state-changing interference induced by quantum tests, their non-commutativity, etc. We then move on to logics for compound quantum systems that can capture the non-local features of quantum information: separability, entanglement, correlated measurements, Bell states, etc. We then briefly summarize the logic of quantum probabilities and sketch some applications to quantum protocols. Full article

The security of cryptographic protocols has always been an important issue. Although there are various verification schemes of protocols in the literature, efficiently and accurately verifying cryptographic protocols is still a challenging research task. In this work, we develop a formal method based on dynamic epistemic logic to analyze and describe cryptographic protocols. In particular, we adopt the action model to depict the execution process of the protocol. To verify the security, the intruder’s actions are analyzed. We model exactly the protocol applying our formal language and give the verification models according to the security requirements of this cryptographic protocol. With analysis and proof on a selected example, we show the usefulness of our method. The result indicates that the selected protocol meets the security requirements. Full article

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 system is proved indirectly through a Hilbert calculus for PAC known to be complete and sound. We conclude with several discussions regarding the system including some problems of the system in attaining normalisation and subformula property. Full article

1. Nature has its own logic, which does not follow the human will. Nature is itself; it exists, moves, changes, and evolves according to its own intrinsic ways. Human and human society, as a product of a specific stage of natural development, can only be a concrete manifestation of the logic of nature. 2. In the broad sense, nature refers to all, both phenomena and processes, in the universe. It includes human society spiritual phenomena. In a narrow sense, nature refers to the world outside the society and opposed to society as well, or refers to the research objects of natural sciences 3. The narrow natural philosophy is in the intermediary position between the natural sciences and the overall philosophy (the supreme philosophy, an advocation of Kun Wu’s philosophy of information. For further detail, please refer to the subscript in the following.). Furthermore, it is an independent sub-level philosophical discipline; the broad natural philosophy is a meta-philosophy or supreme philosophy, stipulating the entire world from the dimensions of nature itself. 4. Natural philosophy reveals the laws of nature’s own existence, movement, change, and evolution. This determines that the way of expressing natural philosophy is necessarily natural ontology. The construction of the theoretical system of natural philosophy is inevitably a process of abandoning cognitive mediums of human beings through reflection. It is necessary for us to conclude that natural philosophy is the stipulation of nature itself, which comes out of the nature itself. So, we must explain the nature from the standpoint of the nature itself. 5. The true philosophy should move from the human world to the nature, finding back Husserl’s suspended things, and establish a brand-new philosophy in which man and nature, substance, information, and spirit are united. This kind of philosophy is able to provide contemporary ecological civilization with a reasonable philosophical foundation, rebuilding natural philosophy in a new era, which is a very urgent task for contemporary philosophers. 6. The unity of philosophy and science cannot be seen merely as an external convergence, but also as an intrinsic fusion; a true philosophy should have a scientific character, and science itself must have a philosophical basis. The unity of such an intrinsic fusion of science and philosophy can be fully demonstrated by the practical relationship of development between human philosophy and science. 7. In addition to the narrow path along epistemology, linguistics, and phenomenology, the development of human philosophy has another path. This is the development of philosophy itself that has been nurtured and demonstrated during the development of general science: On the one hand, the construction of scientific rationality requires philosophical thinking and exploration; On the other hand, the progress of science opens the way for the development of philosophy. 8. In the real process of the development of human knowledge, science and philosophy are regulated, contained, and merged with each other in the process of interaction. The two are inlaid together internally to form an interactive dynamic feedback loop. The unified relationship of mutual influence, regulation, promotion and transformation presented in the intrinsic interplay of interaction between science and philosophy profoundly breeds and demonstrates the general way of human knowledge development: the philosophicalization (a term used in Kun Wu’s philosophy of information. For more details please see in Kun Wu, 2016, The Interaction and Convergence of the Philosophy and Science of Information, https://doi.org/10.3390/philosophies1030228) of science and scientification (a term used in Kun Wu’s philosophy of information. For more detail, please see in Kun Wu, 2016, The Interaction and Convergence of the Philosophy and Science of Information, https://doi.org/10.3390/philosophies1030228) of philosophy. 9. We face two types of dogmatism: one is the dogmatism of naturalism, and the other is the dogmatism of the philosophy of consciousness. One of the best ways to overcome these tendencies of dogmatism is to unite natural ontology, and epistemic constructivism. The crisis of contemporary philosophy induced by the western consciousness philosophy seems like belonging to the field of epistemology, but the root of this crisis is deeply buried in the ontology. The key to solving the crisis of contemporary philosophy lies precisely in the reconstruction of the doctrine of natural philosophy centering to the nature itself and excluding God. The task to be accomplished by this new natural philosophy is how to regain the natural foundation of human consciousness after the God has left the field. 10. Since the 1980s, the philosophy of information established and developed in China has proposed a theory of objective information, as well as the dual existence and dual evolution of matter and information (a key advocation in the ontological theory of Kun Wu’s philosophy of information). It is this theory that has made up for the vacancy existing between matter and mind, which apparently exists in Cartesian dualism, after the withdrawal of the God’s from the field. Philosophy of information in China is first and foremost a natural philosophy that adheres to naturalistic attitudes. Second, this natural philosophy explains the human, human mind and human society in the interpretation of the process and mechanism of natural evolution. In this connection, philosophy of information (a key advocation of Kun Wu’s philosophy of information) in China is a system of meta-philosophy or supreme philosophy. This system undoubtedly has the nature of a new natural philosophy. At the same time, this philosophy can better reflect the philosophical spirit of the information age. Full article

Information is usually related to knowledge. Here, we present a broader picture in which information is associated with epistemic structures, which form cognitive infological systems as basic recipients and creators of cognitive information. Infological systems are modeled by epistemic spaces, while operators in these spaces are mathematical models of information. Information that acts on epistemic structures is called cognitive information, while information that acts on knowledge structures is called epistemic information. The latter brings new and updates existing knowledge, being of primary importance to people. In this paper, both types of information are studied as operators in epistemic spaces based on the general theory of information. As a synthetic approach, which reveals the essence of information, organizing and encompassing all main directions in information theory, the general theory of information provides efficient means for such a study. Different types of information dynamics representation use tools from various mathematical disciplines, such as the theory of categories, functional analysis, mathematical logic and algebra. In this paper, we base our exploration of information and knowledge dynamics on functional analysis further developing the mathematical stratum of the general theory of information. Full article

Information is usually related to knowledge. However, the recent development of information theory demonstrated that information is a much broader concept, being actually present in and virtually related to everything. As a result, many unknown types and kinds of information have been discovered. Nevertheless, information that acts on knowledge, bringing new and updating existing knowledge, is of primary importance to people. It is called epistemic information, which is studied in this paper based on the general theory of information and further developing its mathematical stratum. As a synthetic approach, which reveals the essence of information, organizing and encompassing all main directions in information theory, the general theory of information provides efficient means for such a study. Different types of information dynamics representation use tools of mathematical disciplines such as the theory of categories, functional analysis, mathematical logic and algebra. Here we employ algebraic structures for exploration of information and knowledge dynamics. In Introduction (Section 1), we discuss previous studies of epistemic information. Section 2 gives a compressed description of the parametric phenomenological definition of information in the general theory of information. In Section 3, anthropic information, which is received, exchanged, processed and used by people is singled out and studied based on the Componential Triune Brain model. One of the basic forms of anthropic information called epistemic information, which is related to knowledge, is analyzed in Section 4. Mathematical models of epistemic information are studied in Section 5. In Conclusion, some open problems related to epistemic information are given. Full article

Logic and game theory have had a few decades of contacts by now, with the classical results of epistemic game theory as major high-lights. In this paper, we emphasize a recent new perspective toward “logical dynamics”, designing logical systems that focus on the actions that change information, preference, and other driving forces of agency. We show how this dynamic turn works out for games, drawing on some recent advances in the literature. Our key examples are the long-term dynamics of information exchange, as well as the much-discussed issue of extensive game rationality. Our paper also proposes a new broader interpretation of what is happening here. The combination of logic and game theory provides a fine-grained perspective on information and interaction dynamics, and we are witnessing the birth of something new which is not just logic, nor just game theory, but rather a Theory of Play. Full article

We propose some variants of a multi-modal of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information. We first provide syntactic proofs of some well-known theorems in the area of interactive epistemology that specify some sufficient epistemic conditions of equilibrium notions such as Nash equilibrium and Iterated Deletion of Strictly Dominated Strategies (IDSDS). Then, we present a variant of the logic extended with dynamic operators of Dynamic Epistemic Logic (DEL). We show that it allows to express the notion IDSDS in a more compact way. The second part of the paper deals with games with weaker forms of complete information. We first discuss several assumptions on different aspects of perfect information about the game structure (e.g., the assumption that a player has perfect knowledge about the players’ strategy sets or about the preference orderings over strategy profiles), and show that every assumption is expressed by a corresponding logical axiom of our logic. Then we provide a proof of Harsanyi’s claim that all uncertainty about the structure of a game can be reduced to uncertainty about payoffs. Sound and complete axiomatizations of the logics are given, as well as some complexity results for the satisfiability problem. Full article