Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
From MaRDI portal
Recommendations
Cites work
- ``Neural computation of decisions in optimization problems
- A Computing Procedure for Quantification Theory
- A logic for default reasoning
- A logical framework for default reasoning
- A Machine-Oriented Logic Based on the Resolution Principle
- A mathematical treatment of defeasible reasoning and its implementation.
- A theory of the learnable
- Circumscription - a form of non-monotonic reasoning
- Erratum to: ``What does a conditional knowledge base entail?
- scientific article; zbMATH DE number 4174344 (Why is no real title available?)
- scientific article; zbMATH DE number 4166940 (Why is no real title available?)
- scientific article; zbMATH DE number 43242 (Why is no real title available?)
- scientific article; zbMATH DE number 67512 (Why is no real title available?)
- scientific article; zbMATH DE number 194621 (Why is no real title available?)
- scientific article; zbMATH DE number 861619 (Why is no real title available?)
- scientific article; zbMATH DE number 3298340 (Why is no real title available?)
- Neural networks and physical systems with emergent collective computational abilities
- Neurons with graded response have collective computational properties like those of two-state neurons
- On inference from inconsistent premisses
- On the stability of the travelling salesman problem algorithm of Hopfield and Tank
- Some results on the computational complexity of symmetric connectionist networks.
- Stochastic Relaxation, Gibbs Distributions, and the Bayesian Restoration of Images
Cited in
(31)- SC-net: A hybrid connectionist, symbolic system
- Beyond associative memories: Logics and variables in connectionist models
- How to decide what to do?
- Symbolic deductive reasoning using connectionist models
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations
- Nonmonotonic inferences and neural networks
- Sequential inference with reliable observations: Learning to construct force-dynamic models
- Recurrent neural networks with backtrack-points and negative reinforcement applied to cost-based abduction
- Logic tensor networks
- Connectionist propositional logic. A simple correlation matrix memory based reasoning system
- scientific article; zbMATH DE number 1727367 (Why is no real title available?)
- Neural-symbolic systems and the case for non-classical reasoning
- scientific article; zbMATH DE number 67512 (Why is no real title available?)
- scientific article; zbMATH DE number 1354110 (Why is no real title available?)
- scientific article; zbMATH DE number 2145619 (Why is no real title available?)
- Modelling supra-classical logic in a Boltzmann neural network: I representation
- Logic and complexity in cognitive science
- A Connectionist Computational Model for Epistemic and Temporal Reasoning
- Nonmonotonic reasoning by inhibition nets
- Artificial nonmonotonic neural networks
- Improved training of physics-informed neural networks for parabolic differential equations with sharply perturbed initial conditions
- Mixed problem for a nonlinear impulsive differential equation of parabolic type
- A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
- Compact representation of preferences
- Modelling supra-classical logic in a Boltzmann neural network. III: Adaptation
- A semantic framework for neurosymbolic computation
- \(\text{DA}^2\) merging operators
- Compiling propositional weighted bases
- Adapting connectionist learning to Bayes networks
This page was built for publication: Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1855237)
