Connectionist modal logic: representing modalities in neural networks

DOI10.1016/j.tcs.2006.10.023zbMath1108.68103OpenAlexW2096504051MaRDI QIDQ870254

Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay

Publication date: 12 March 2007

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

Full work available at URL: http://openaccess.city.ac.uk/314/2/Connectionist_modal_logic.pdf

zbMATH Keywords

knowledge representationartificial neural networksmodal logicsmodels of computationneural-symbolic learning systems

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites Work

• Proof methods for modal and intuitionistic logics
• Preferred answer sets for extended logic programs
• Knowledge-based artificial neural networks
• A modal extension of logic programming: modularity, beliefs and hypothetical reasoning
• Metric Methods Three Examples and a Theorem
• Labelled Natural Deduction for Conditional Logics of Normality
• New Computational Paradigms
• Approximation by superpositions of a sigmoidal function
• Symbolic knowledge extraction from trained neural networks: A sound approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Connectionist modal logic: representing modalities in neural networks