On the integration of connectionist and logic-based systems

MaRDI QIDQ2863886zbMATH OpenFDO

Authors Anthony Karel Seda

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106004038?np=y

zbMATH Keywords

uniform convergenceapproximationneural networkspointwise convergencemetricslogic programs

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Logic programs and connectionist networks
• Continuity of semantic operators in logic programming and their approximation by artificial neural networks
• Connectionist modal logic: representing modalities in neural networks
• Mathematical aspects of logic programming semantics.
• Properties of general semantic operators determined by logic-based systems

Cited in

(8)

• Higher order logic programming in radial basis function neural network
• Logic programs, iterated function systems, and recurrent radial basis function networks
• Learning from interpretation transition using differentiable logic programming semantics
• Connectionist modal logic: representing modalities in neural networks
• Properties of general semantic operators determined by logic-based systems
• Logic programs and connectionist networks
• Continuity of semantic operators in logic programming and their approximation by artificial neural networks
• Toward a logic for neural networks

This page was built for publication: On the integration of connectionist and logic-based systems

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