The author gives an introductory survey of nonmonotonic reasoning and nonmonotonic logic, including circumscription, default logic, autoepistemic logic, application to a knowledge base and a truth maintenance system.
openaire +3 more sources
State of the art algorithms for many pattern recognition problems rely on data-driven deep network models. Training these models requires a large labeled dataset and considerable computational resources. Also, it is difficult to understand the working of
Heather Riley, Mohan Sridharan
doaj +1 more source
The SP Theory of Intelligence: An Overview
This article is an overview of the SP theory of intelligence, which aims to simplify and integrate concepts across artificial intelligence, mainstream computing and human perception and cognition, with information compression as a unifying theme.
J Gerard Wolff
doaj +1 more source
Entropy‐Driven Physical Amplification in Multivalent Biosensing
Detecting scarce molecules usually demands enzymatic amplification such as PCR. A statistical‐mechanical theory now reveals a purely physical alternative: distributing a fixed binding strength over more linker arms exponentially lowers the concentration at which multivalent sensors switch on.
Yuhan Peng, Xiuyang Xia, Ran Ni
wiley +1 more source
Partial MaxSAT Approach to Nonmonotonic Reasoning with System W
The only recently introduced System W is a nonmonotonic inductive inference operator exhibiting some notable proper- ties like extending rational closure and satisfying syntax split- ting postulates for inference from conditional belief bases. A semantic
Christoph Beierle +2 more
doaj +1 more source
A Unifying Approach to Self‐Organizing Systems Interacting via Conservation Laws
The article develops a unified way to model and analyze self‐organizing systems whose interactions are constrained by conservation laws. It represents physical/biological/engineered networks as graphs and builds projection operators (from incidence/cycle structure) that enforce those constraints and decompose network variables into constrained versus ...
F. Barrows +7 more
wiley +1 more source
The Interoperability Challenge in DFT Workflows Across Implementations
Interoperability and cross‐validation remain major challenges in the computational materials science. In this work, we introduce a common input/output standard that enables internal translation across multiple workflow managers—AiiDA, PerQueue, Pipeline Pilot, and SimStack—while producing results in a unified schema.
Simon K. Steensen +13 more
wiley +1 more source
Data‐Efficient Cycle‐Level Capacity Prediction Using 1D Deep Convolutional Network
We introduce DeepBat, a deep learning framework featuring a 1D convolutional backbone designed to extract latent degradation patterns from a microstructurally diverse electrode dataset. By learning complex formulation–performance relationships, the model accurately predicts long‐term specific discharge capacity using limited early‐cycle data, providing
Tao Huang +16 more
wiley +1 more source
Crystallization of Water Mediated by Carbon
This book is Open Access. A digital copy can be downloaded for free from Wiley Online Library.
Explores the behavior of carbon in minerals, melts, and fluids under extreme conditions
Carbon trapped in diamonds and carbonate-bearing rocks in subduction zones are examples of the continuing exchange of substantial carbon ...
Tianshu Li, Yuanfei Bi, Boxiao Cao
wiley +1 more source
Diverging Approaches to Skeptical Inference in Non-monotonic Reasoning
Our paper addresses the problem of a two-fold approach to skeptical inferences in the context non-monotonic logics. We tackle the problem through the analysis of ambiguous theories, such as the Nixon Diamond, as instantiated in non-monotonic inheritance ...
Jorge Andrés Morales Delgado
doaj +1 more source

