2023 AAAI Tutorial: Advances in Neuro Symbolic Reasoning

We are proud to present a 2023 AAAI Tutorial TFHA6: Advances in Neuro Symbolic Reasoning

  • Date: Tuesday, Feb. 7, 2023
  • Time: 8:30am-12:30pm (half-day)
  • Location: Walter E. Washington Convention Center, Washington DC, USA
  • YouTube (post-tutorial): https://www.youtube.com/@neurosymbolic

This resource page will be updated periodically prior to the event.

Tutorial Description

Over the past five years, the community has made significant advances in neuro symbolic reasoning (NSR).  These NSR frameworks are now capable of embedding prior knowledge in deep learning architectures, guiding the learning process with logical constraints, providing symbolic explainability, and using gradient-based approaches to learn logical statements.  At this time, several approaches are seeing usage in various application areas.  This tutorial is designed for researchers looking to understand the current landscape of NSR research as well as those looking to apply NSR research in areas such as natural language processing and verification.  The pace of progress in NSR is expected to continue as firms such as IBM, Samsung, and Lockheed-Martin are now heavily investing in research in this area in addition to the recently announced government-funded efforts such as DARPA’s ASNR program indicate that this area will grow. A secondary goal of this tutorial is to help build a larger community around this topic as more basic researchers and applied scientists turn to NSR to build upon the successes of deep learning.  Attendees of the tutorial should be familiar with concepts in deep learning and logical reasoning, have mathematical maturity, as well as a basic understanding of fuzzy/real-valued logic.

Presenters at the AAAI 2023 tutorial “Advances in Neuro Symbolic Reasoning”

Presenters and Involved Personnel

Paulo Shakarian is an associate professor at Arizona State University.  His research focuses on symbolic AI and hybrid symbolic-ML systems. He received his Ph.D. from the University of Maryland, College Park.  He is a past DARPA Military Fellow, AFOSR Young Investigator recipient, and his work earned multiple “best paper” awards.

Gerardo I. Simari is a professor at UNS, and a researcher at CONICET. His research focuses on AI and Databases, and reasoning under uncertainty. He received a PhD in computer science from University of Maryland College Park and later joined the Department of Computer Science, University of Oxford, where he was also a Fulford Junior Research Fellow of Somerville College.

Chitta Baral is a Professor in the School of Computing and AI at ASU. He is a long-standing researcher in Knowledge Representation and Reasoning (KR&R), and is the past President of KR. His recent research includes using KR&R to tasks in vision and languages, thus combining symbolic and neural approaches.

Alvaro Velasquez is a program manager in the Innovation Information Office of the Defense Advanced Research Projects Agency (DARPA), where he leads the Assured Neuro-Symbolic Learning and Reasoning (ANSR) program. Before that, Alvaro oversaw the machine intelligence portfolio of investments for the Information Directorate of the Air Force Research Laboratory.

Additionally, Bowen Xi (Ph.D. student, ASU) and Lahari Pokala (MS student, ASU) will be supporting the tutorial for creation of materials.

Materials and Tentative Outline

8:30-9:30  Introduction and overview of neuro symbolic frameworks for reasoning and learning (LNN, Annotated Logic, dILP, DSP, SATNet) [Shakarian]
9:30-9:40  Break
9:40-10:40 Neuro symbolic based approaches for deduction (LTN and deep ontological networks) [Simari] 
10:40-10:50  Break
10:50-11:50  Combining perceptual neural networks with logic and applications (NeurASP, NLP/VQA) [Baral]
11:50-12:00 Break
12:00-12:30 Neuro Symbolic Reasoning for the DoD (DARPA) [Velasquez]