相关论文: About some Information and Logical Properties of S…
Machine learning potentials (MLPs) are becoming powerful tools for performing accurate atomistic simulations and crystal structure optimizations. An approach to developing MLPs employs a systematic set of polynomial invariants including…
The field of probabilistic logic programming (PLP) focuses on integrating probabilistic models into programming languages based on logic. Over the past 30 years, numerous languages and frameworks have been developed for modeling, inference…
The control properties of discrete-time switched linear systems (SLS) with switching signals generated by logical dynamic systems are studied using the semi-tensor product (STP) approach. With the algebraic state space representation…
Argumentation problems are concerned with determining the acceptability of a set of arguments from their relational structure. When the available information is uncertain, probabilistic argumentation frameworks provide modelling tools to…
Coulomb plasmas crystallize in a number of physical systems, such as dusty plasmas, neutron star crusts, and white dwarf cores. The crystal structure of the one component and binary plasma has received significant attention in the…
The Dynamic Logic for Propositional Assignments (DL-PA) has recently been studied as an alternative to Propositional Dynamic Logic (PDL). In DL-PA, the abstract atomic programs of PDL are replaced by assignments of propositional variables…
Pre-trained on extensive text and image corpora, current Multi-Modal Large Language Models (MLLM) have shown strong capabilities in general visual reasoning tasks. However, their performance is still lacking in physical domains that require…
This extended abstract presents a logic, called Lp, that is capable of representing and reasoning with a wide variety of both qualitative and quantitative statistical information. The advantage of this logical formalism is that it offers a…
Physical properties of plasmas such as equations of state and transport coefficients are expressed in terms of correlation functions, which can be calculated using various approaches (analytical theory, numerical simulations). The method of…
Programmable Logic Controllers (PLCs) are widely used in industrial automation to control physical systems. As PLC applications become increasingly complex, ensuring their correctness is crucial. Existing formal verification techniques…
We propose a novel model of unconventional computing where a structural part of computation is presented by dynamics of plasmodium of Physarum polycephalum, a large single cell. We sketch a new logical approach combining conventional logic…
A coarse-grained multi-blob description of polymer solutions is presented, based on soft, transferable effective interactions between bonded and non-bonded blobs. The number of blobs is chosen such that the blob density does not exceed…
This work presents a multidisciplinary mathematical model, as a set of coupled governing equations and auxiliary relations describing the fluid-flow, thermal, and electric fields of partially-ionized plasma with low magnetic Reynolds…
With few systems of technological interest having been studied as extensively as elemental silicon, there currently exists a wide disparity between the number of predicted low-energy silicon polymorphs and those, which have been…
This note is concerned with a formal analysis of the problem of non-monotonic reasoning in intelligent systems, especially when the uncertainty is taken into account in a quantitative way. A firm connection between logic and probability is…
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.
The pseudopotentials of particle interaction of astrongly coupled semiclassical plasma, taking into account bothquantum-mechanical effects of diffraction at short distances andalso screening field effects at large distances are obtained.…
The polynomial machine learning potentials (MLPs) described by polynomial rotational invariants have been systematically developed for various systems and used in diverse applications in crystalline states. In this study, we systematically…
One-dimensional steady-state plasma-field structures in overdense plasma are studied assuming that the electron temperature is uniform over plasma bulk and the ions are stationary. It is shown that there may exist solutions for electron…
A complex (dusty) plasma system is well known as a paradigmatic model for studying the kinetics of solid-liquid phase transitions in inactive condensed matter. At the same time, under certain conditions a complex plasma system can also…