The Leibniz Lab is directed by Paulo Shakarian, the K.G. Tan Endowed Professor of Artificial Intelligence at Syracuse University.
Why “Leibniz Lab”? The Leibniz Lab is dedicated to unifying ideas of reasoning and learning in artificial intelligence using computational techniques. Humans have extraordinary ability to both perceive the world around them as well as reason about things logically, often using symbols (e.g., in mathematics or programming). We believe that by combining advances in learning methods such as deep learning and cognitive models with reasoning methods such as logic programming and abduction in hybrid approaches (e.g., neurosymbolic AI). Gottfried Wilhelm Leibniz was titan of intellectual thought and founded both propositional logic and calculus – discoveries that are largely used in the same way he envisioned. Propositional logic provides the foundation of reasoning while calculus makes deep learning possible. We are inspired by the ability of one man to make significant contributions to what grew to be two major branches of AI – and in the Leibniz Lab we seek to honor him by exploring how these two sides can work together.
Areas of Research. In the Leibniz Lab, we primarily study neurosymbolic AI, metacognition, temporal logic programming, abductive inference, and deep neural networks. We also examine applications such as maritime security, industrial automation, medical triage, finance, cybersecurity, and medicine.