This badge earner has demonstrated the foundational knowledge and ability to formulate AI reasoning problems in a neuro-symbolic framework. The badge holder has the ability to create a logical neural network (LNN) model from logical formulas, perform inference using LNNs and explain the logical interpretation of LNN models.

• Type Learning
• Level Foundational
• Time Days
• Cost Free