Results 31 to 40 of about 719,711 (199)
A logical semantics for nonmonotonic sorts [PDF]
Suppose we have a feature system, and we wish to add default values in a well-defined way. We might start with Kasper-Rounds logic, and use Reiter's example to form it into a default logic. Giving a node a default value would be equivalent to saying "if it is consistent for this node to have that value, then it does." Then we could use default theories
Mark A. Young, William C. Rounds
openaire +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
A nonmonotonic observation logic
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
The Logic of Confirmation and Theory Assessment [PDF]
This paper discusses an almost sixty year old problem in the philosophy of science -- that of a logic of confirmation. We present a new analysis of Carl G.
Huber, Franz
core
On Priest on Nonmonotonic and Inductive Logic
Graham Priest defends the use of a nonmonotonic logic, LPm, in his analysis of reasoning in the face of true contradictions, such as those arising from the paradoxes of self-reference.
Restall, Greg, Restall, Greg; id_orcid
core +1 more source
Modular nonmonotonic logic programming revisited [PDF]
. Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program.
Krennwallner, Thomas +7 more
core +1 more source
Claus Oetke, in his "Ancient Indian Logic as a Theory of Non-monotonic Reasoning," presents a sweeping new interpretation of the early history of Indian logic. His main proposal is that Indian logic up until Dharmakirti was nonmonotonic in character-similar to some of the newer logics that have been explored in the field of Artificial Intelligence ...
openaire +3 more sources
Phosphonium ionic liquids offer a versatile platform for safer and more durable energy storage. This Review connects cation–anion structure with solvation, ion transport, electrochemical stability, and interphase formation across diverse battery chemistries.
Amir Haghipour +7 more
wiley +1 more source
Weak nonmonotonic probabilistic logics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +6 more sources
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

