Symbolic deductive reasoning using connectionist models

MaRDI QIDQ1890489zbMATH OpenFDO

Authors Mihai Horia Zaharia, Florin Leon, Dan Gâlea

Publication date 4 January 2005

Published in Computer Science Journal of Moldova (Search for Journal in Brave)

zbMATH Keywords

neural networksknowledge representation

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Knowledge representation (68T30)

Recommendations

• Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
• Deductive learning
• A connectionist approach for learning search-control heuristics for automated deduction systems (Thesis, TU München, 1997)
• Connectionist propositional logic. A simple correlation matrix memory based reasoning system
• A Connectionist Computational Model for Epistemic and Temporal Reasoning

Cited in

(4)

• Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
• Connectionist propositional logic. A simple correlation matrix memory based reasoning system
• Connectionist computations of intuitionistic reasoning
• scientific article; zbMATH DE number 1261153 (Why is no real title available?)

This page was built for publication: Symbolic deductive reasoning using connectionist models

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