Abductive reasoning in neural-symbolic systems

DOI10.1007/s11245-006-9005-5zbMath1125.68105OpenAlexW1973144381MaRDI QIDQ2460297

Oliver Ray, John Woods, Artur S. d'Avila Garcez, Dov M. Gabbay

Publication date: 14 November 2007

Published in: Topoi (Search for Journal in Brave)

Full work available at URL: https://openaccess.city.ac.uk/id/eprint/292/2/Abductive_Reasoning_in_Neural-symbolic_systems.pdf

zbMATH Keywords

Neural networksAbductionAbductive logic programmingConnectionist modal logic

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic programming (68N17)

Related Items

An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The computational complexity of abduction
• Knowledge-based artificial neural networks
• Extending and implementing the stable model semantics
• Connectionist computations of intuitionistic reasoning
• Abductive Inference
• Abductive Logic Programming
• A hybrid system of abductive tactical decision making
• Abduction and induction. Essays on their relation and integration