Connectionist computations of intuitionistic reasoning

DOI10.1016/J.TCS.2005.11.043zbMATH Open1097.68119OpenAlexW2029518327MaRDI QIDQ2503271FDOQ2503271

Authors: A. S. d'Avila Garcez, Luís C. Lamb, Dov Gabbay 

Publication date: 14 September 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.11.043

Recommendations

• A Connectionist Computational Model for Epistemic and Temporal Reasoning
• Connectionist modal logic: representing modalities in neural networks
• Beyond associative memories: Logics and variables in connectionist models
• Neural-Symbolic Cognitive Reasoning
• Symbolic deductive reasoning using connectionist models

zbMATH Keywords

neural networksneural-symbolic learning systemsconnectionist models of computationintuitionistic reasoning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal logic
• Bioinformatics. The machine learning approach.
• Title not available (Why is that?)
• Many-dimensional modal logics: theory and applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Explicit provability and constructive semantics
• A modal analysis of staged computation
• Title not available (Why is that?)
• Approximation by superpositions of a sigmoidal function
• Computational interpretations of linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• A theory of the learnable
• The Semantics of Predicate Logic as a Programming Language
• Monad as modality
• Title not available (Why is that?)
• Proof methods for modal and intuitionistic logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tensor product variable binding and the representation of symbolic structures in connectionist systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Characterising combinational timing analyses in intuitionistic modal logic
• Knowledge-based artificial neural networks
• Preferred answer sets for extended logic programs
• Title not available (Why is that?)
• Labelled Natural Deduction for Conditional Logics of Normality
• Symbolic knowledge extraction from trained neural networks: A sound approach
• Robust logics
• Semantics of distributed definite clause programs
• Title not available (Why is that?)

Cited In (7)

• Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
• Abductive reasoning in neural-symbolic systems
• New Computational Paradigms
• A Connectionist Computational Model for Epistemic and Temporal Reasoning
• Beyond associative memories: Logics and variables in connectionist models
• Computational rationality: A converging paradigm for intelligence in brains, minds, and machines
• Abstraction based connectionist analogy processor

Uses Software

• MiniML

This page was built for publication: Connectionist computations of intuitionistic reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2503271)